February 2015

January 2015

December 2014 - I am very pleased to have been chosen for a 2015 Software Sustainability Institute fellowship.
(news article here)


October 2014
Moved to the Department of Computing, Imperial College London

July 2014
Co-organised and co-chaired the Workshop on Programming Language Evolution at ECOOP 2014, and gave a talk on Evolving Fortran types with inferred units-of-measure [slides].

June 2014
At this year's ICFP I have 3 papers:

Attended ICCS 2014, presenting my paper A computational science agenda for programming language research (with Andrew Rice).

May 2014
My PhD Dissertation, Programming contextual computations, is finally online as a a University of Cambridge technical report. Let me know if you spot any typos!

March 2014

I attended the Software Sustainability Institute's Collaborations Workshop 2014 (CW14), Oxford.

I wrote a book review of Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger for JFP. Preprint version available here.


I gave a talk at Fun in the Afternoon, hosted at Facebook in London, on indexed monads. Code and slides are available.

Andy Rice and I have had our paper "A computational science agenda for programming language research" accepted at ICCS'14 [preprint PDF].

February 2014
Raoul Gabriel-Urma, Alan Mycroft, and I are organising the Workshop on Programming Language Evolution 2014, colocated with ECOOP 2014 this year. Submission deadline May 12th.

I am on the Artefact Evaluation Committee (AEC) for ECOOP 2014.

October 2013
I attended SPLASH 2013 in Indianapolis, presenting at WRT'13 [PDF].

September 2013
Andy Rice and I have had our paper Upgrading Fortran source code using automatic refactoring accepted to WRT'13 at SPLASH 2013. [PDF]

Attended ICFP 2013 and presented my paper Automatic SIMD Vectorization for Haskell (joint work with Petersen and Glew). (talk also given at the Computer Laboratory).


July 2013
Ohad Kammar, Alan Mycroft, and I are organising a summer course on Dependently typed metaprogramming (in Agda), here at the Computer Laboratory, which will be given by Conor McBride of the University of Strathclyde. Details and sign up here.

I attended ICALP 2013 in Riga, Latvia.

June 2013
Leaf Petersen, Neal Glew, and I have had our paper Automatic SIMD Vectorization for Haskell accepted to ICFP 2013. Pre-print version to appear soon (or e-mail me).

April 2013
Submitted a paper to ICFP 2013 with Leaf Petersen and Neal Glew on SIMD vectorisation of GHC core.

Coeffects: unified static analysis of context-dependence (pdf), with Tomas Petricek and Alan Mycroft, accepted to ICALP 2013.

I am on the PC of IFL 2013, this year hosted at Radboud University, Nijmegen.

March 2013
A Notation For Comonads (pdf), with Alan Mycroft, accepted for publication in the post-proceeedings of IFL 2012.