December 2014 - I am very pleased to have been chosen for a 2015 Software Sustainability Institute fellowship.
(news article here)
Moved to the Department of Computing, Imperial College London
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].
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).
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!
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].
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.
I attended SPLASH 2013 in Indianapolis, presenting at WRT'13 [PDF].
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).
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.
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).
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.
A Notation For Comonads (pdf), with Alan Mycroft, accepted for publication in the post-proceeedings of IFL 2012.