Alastair F. Donaldson (Ally) is a Reader in Computing at Imperial College London, where he leads the Multicore Programming Group. He is also Founder and Director of GraphicsFuzz. Read more.

Postdoc position available!

Research Associate in Compositional Reasoning for High-Assurance Many-Core Software, deadline 1 July 2018. 2.5 years. Job advert. Please get in touch if you are interested in applying and want to chat informally first.

Latest News

  • Postdoc position in "Compositional Reasoning for High-Assurance Many-Core Software" (May 2018)

    We are hiring for a 2.5 year postdoc to work on reasoning techniques for many-core systems where performance and reliability are both of prime importance. This is part of the EPSRC-funded IRIS Programme Grant. The post will be co-supervised by John Wickerson.

    Closing date is 1 July 2018.

    Here is the job advert.

    Please get in touch informally if you are interested and have questions!

    8 days ago
  • Postdoc position in "Security Analysis of Graphics Drivers" (February 2018)

    We are hiring for a 2.5 year postdoc to work on novel methods for testing graphics drivers for security issues!

    Here’s a blog post about the broad area of the project, and here is the job advert.

    Please get in touch informally if you are interested and have questions.

    4 months ago
  • Chrome University Research Program project (January 2018)

    We are excited to be starting a new research project, “Automatic Detection of Rendering-Related Security Vulnerabilities in Web Browsers”, funded by the Google Chrome University Research Program.

    5 months ago
  • ECOOP 2019 PC chair (December 2017)

    I’m honoured to be serving as Chair of the Programme Committee for the 2019 European Conference on Object-Oriented Programming (ECOOP).

    6 months ago
  • Video from Roger Needham Lecture (November 2017)

    Last week I gave the BCS Roger Needham Lecture at the Royal Society. A video of the slides + audio is now available:

    6 months ago
  • Best Experience Paper Award at ASE (November 2017)

    Our paper “Floating-Point Symbolic Execution: A Case Study in N-version Programming” was recipient of the Best Experience Report award at the ASE conference last week! Here are my co-authors Daniel Liew, Daniel Schemmel and Cristian Cadar collecting the award:

    Daniel, Cristian and Daniel collecting the award certificate

    Daniel Liew presented the paper, also co-authored with Raphael Zaehl and Klaus Wehrle, which describes a controlled experiment in which two teams, one at Imperial, the other at RWTH Aachen University, independently developed extensions to the KLEE symbolic execution engine to support floating-point arithmetic, together with independently developed-and-collected benchmarks used to assess the quality of the other team’s tool. This study came about by chance, upon the Imperial and Aachen sites discovering that each other had reached roughly the same stage in separately adding floating-point support to KLEE. We decided to use the opportunity to do an N-version programming study (with N=2), and the paper reports on the experience.

    7 months ago
  • Best Paper Award at FSE (September 2017)

    Our paper “Cooperative Kernels: GPU Multitasking for Blocking Algorithms” was selected for a Best Paper Award at the ESEC/FSE conference this week! Here are my co-authors Tyler Sorensen and Hugues Evrard collecting the award:

    Tyler and Hugues being presented with the award certificate

    Tyler presented the paper, and I also presented on a recent IEEE Transactions on Software Engineering paper about candidate-based invariant generation, which was joint work with Adam Betts, Nathan Chong, Pantazis Deligiannis and Jeroen Ketema, all former members of the Multicore group.

    9 months ago

View all news »

Latest Publications

View all publications »