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

Hiring for postdoc and PhD positions

Postdoc position available, deadline 15 February 2018. More details.

In addition to the opportunity above, I am actively looking to recruit a number of postdoctoral researchers and PhD students, to work on topics including systematic testing and formal verification of software for many-core systems; techniques for automated compiler validation, including investigation of security-related issues arising due to compiler defects; test case generation for so-called “non-testable” systems, including computer vision algorithms; and automated testing techniques to identify nonfunctional software defects, including performance bugs. Please get in touch with me if you’d be interested in talking further about these opportunities, or ideas in related areas.

Latest News

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

    a day 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:

    18 days 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.

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

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

    3 months ago
  • People of ACM interview (September 2017)

    A brief interview in the context of my role as Faculty Sponsor for Imperial’s ACM Student Chapter.

    4 months ago
  • Reader (September 2017)

    I have been promoted to Reader, the most wonderfully-named British academic rank!

    4 months ago

View all news »

Latest Publications

View all publications »