We are Hiring

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.


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 »