As of September 24th 2012 I have taken up a new job at the Computer Laboratory, University of Cambridge, working with Peter Sewell and company on modelling multicore hardware and associated topics.