Alastair F. Donaldson (Ally) is a Reader in Computing at Imperial College London, where he leads the Multicore Programming Group. Read more.

Two postdoc positions available!

Postdoc position in “Security Analysis for Graphics Drivers”, deadline 30 March 2018. Blog post about the work. Job advert. Please get in touch if you are interested in applying and want to chat informally first.

Postdoc position in “Programming Language and System Support for High-Performance Data Processing”, deadline 30 March 2018. The post is on a project joint with Jana Giceva. Job advert. Please get in touch if you are interested in applying and want to chat informally first.

Latest News

  • 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.

    13 hours 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.

    a month 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).

    2 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:

    3 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.

    4 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.

    6 months ago
  • CONCUR tutorial (September 2017)

    This week I gave a tutorial at the CONCUR conference, entitled “Forward Progress on GPU Concurrency”. I gave an overview of what it’s like to program using OpenCL, and demonstrated the GPUVerify tool that we have developed at Imperial. I then did some live coding of a global synchronization barrier, illustrating how one needs to use OpenCL’s memory model to get this to work correctly, and showing how even then there is the possibility of deadlock due to lack of forward progress guarantees by GPU schedulers. I then coded up the discovery protocol we proposed in our OOPSLA 2016 paper to allow a portable barrier to be implemented.

    It was fun getting my hands dirty with some low-level OpenCL programming! Thanks to everyone who attended the tutorial.

    Jeroen Ketema, Tyler Sorensen, John Wickerson and I wrote an overview paper to accompany the tutorial, giving a summary of the work that we and various collaborators have done over the last 6 years in relation to GPU concurrency. Check out the paper.

    6 months ago

View all news »

Latest Publications

View all publications »