Alastair F. Donaldson

I am co-chairing the SPIN 2012 Workshop on Model Checking of Software. Please consider submitting a paper!

News

CARP poster at HiPEAC EU Projects Meeting (January) I am about to go to Paris for the HiPEAC 2012 conference, to present a poster on the CARP project. Check out the poster, designed together with Adam Betts (with help from the CARP consortium).

New postdoc Adam Betts (December 2011) I'm delighted that Adam Betts has joined the Multicore Programming Group to work on the CARP project.

CARP project, and new postdoc Adam Betts (December 2011) December sees the kickoff of CARP, Correct and Efficient Accelerator Programming, a three year collaborative project funded by the European Commission's Seventh Framework Programme. I am coordinating the project at Imperial, and the work is in collaboration with seven other European partners from academia and industry. See the project web page for more details!

I'm very pleased that Paul Thomson has started a PhD with me at Imperial. Paul recently completed his MSc in the Department of Computer Science at Oxford, with a project on race detection for concurrent programs using dynamic symbolic execution.

New PhD student Paul Thomson (October 2011) I'm very pleased that Paul Thomson has started a PhD with me at Imperial. Paul recently completed his MSc in the Department of Computer Science at Oxford, with a project on race detection for concurrent programs using dynamic symbolic execution.

Visiting Researcher at Microsoft Research, Redmond (August 2011) At the end of August I am joining the RiSE group at Microsoft Research in Redmond as a Visiting Researcher, to work for six weeks with Shaz Qadeer and Tom Ball on analysis of concurrent software.

Paper at ASE (August 2011) For a while I've been working with Matko Botincan and Mike Dodds at the Cambridge Computer Laboratory, and Matthew Parkinson at Microsoft Research Cambridge, on using separation logic-based techniques to prove safety of multicore programs which use asynchronous memory operations. A full paper on this work has just been accepted to the 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011). Check it out here.

Old News

Short Bio

• November 2011-: Lecturer, Department of Computing, Imperial College London
• August-September 2011: Visiting Researcher, RiSE Group, Microsoft Research Redmond
• January 2010-August 2011: Research Fellow, Wolfson College Oxford
• May 2009-August 2011: EPSRC Postdoctoral Research Fellow, Department of Computer Science, University of Oxford, working in the Formal Verification Group, led by Daniel Kroening
• January 2007-May 2009: Research Engineer at Codeplay Software Ltd.
• July-September 2005: Summer intern, Graham Technology
• October 2003-June 2007: PhD in Computing Science, Department (now School) of Computing Science, University of Glasgow, supervised by Alice Miller
• June-September 2002: Summer intern, Reuters Plc.
• October 1999-July 2003: BSc (hons, First Class) in Computing Science and Mathematics (combined), University of Glasgow

Acknowledgement

The design of this website has been borrowed, with permission, from Daniel Kroening.