We are recruiting for a postdoc and two PhD students

We are hiring for a Postdoctoral Research Associate to work on a new project, Reliable Many-Core Programming. See here for details. Closing date: 21 May 2016.

We are also hiring for two PhD students to work on topics related to correct and efficient programming of concurrent and parallel systems. See here for details. Closing date: 31 May 2016.


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

Latest News

View all news »

Latest Publications

  • Exposing Errors Related to Weak Memory in GPU Applications

    Tyler Sorensen, Alastair F. Donaldson

    37th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'16)

  • Metamorphic Testing for (Graphics) Compilers

    Alastair F. Donaldson, Andrei Lascu

    1st International Workshop on Metamorphic Testing, in concunction with the 38th International Conference on Software Engineering

  • Analysing the Program Analyser

    Cristian Cadar, Alastair F. Donaldson

    Visions of 2025 and Beyond Track, 38th International Conference on Software Engineering

  • Automatic Test Case Reduction for OpenCL

    Moritz Pflanzer, Alastair F. Donaldson, Andrei Lascu

    4th International Workshop on OpenCL (IWOCL'16)

  • Symbooglix: A Symbolic Execution Engine for Boogie Programs

    Daniel Liew, Cristian Cadar, Alastair F. Donaldson

    IEEE International Conference on Software Testing, Verification and Validation (ICST'16)

View all publications »