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

PhD studentships available

I’m looking for highly motivated students, nearing the end of a Masters degree or equivalent, to join the Multicore Programming Group as PhD students in October 2017. Imperial has several fully-funded opportunities for home (UK) and EU students, as well as some funding avenues for overseas candidates.

Please have a look at the sort of work we do via our publications, and contact me if you’d be interested in talking about possible projects.

Rolling deadline, but applying sooner is better.

Latest News

  • Article on invariant generation (December 2016)

    Check out some work we’ve been doing on candidate-based invariant generation, using the Houdini algorithm.

    14 hours ago
  • Pantazis has passed his PhD viva! (December 2016)

    Congratulations to Pantazis Deligiannis on successfully defending his PhD thesis, Scalable Techniques for Analysing and Testing Asynchronous Software Systems, and thanks to Earl Barr and Peter Pietzuch for acting as external and internal examiners, respectively.

    You can check out Pantazis’s work via his papers at ASE, PLDI and FAST.

    Time to celebrate!

    5 days ago
  • Medium posts on OpenGL compiler testing (November 2016)

    I’m doing a series of posts on Medium about my work with Andrei Lascu and Paul Thomson on testing OpenGL shader compilers.

    This first post gives an introduction to what we’re doing.

    In the remaining posts we will visit the main GPU designers—-AMD, ARM, Imagination Technologies, Intel, NVIDIA and Qualcomm—-one by one in alphabetical order.

    The post detailing testing of AMD shader compilers is now up, and here’s a video of an issue we found whereby WebGL can bluescreen a machine:

    7 days ago
  • Paper at POPL (October 2016)

    Christopher Lidbury and I have been working for some time on dynamic data race detection for C++11, seeing whether we can do better than the standard ThreadSanitizer tool at following the subtle definition of data race in C++11, and carving out a decent subset of the memory model that we can simulate operationally during dynamic analysis in order to detect races that can only occur under non sequentially consistent behaviour. We have had a paper on this work accepted at POPL 2017, entitled Dynamic Race Detection for C++11, which we’ll make available soon.

    2 months ago
  • Welcoming new Postdoctoral Research Associate, Hugues Evrard (October 2016)

    We’re really happy to welcome Hugues Evrard to the Multicore Programming Group as a Postdoctoral RA, working on the Reliable Many-Core Programming project.

    2 months ago
  • Paper at OOPSLA (August 2016)

    Tyler Sorensen and I, in collaboration with Mark Batty, Ganesh Gopalakrishnan and Zvonimimr Rakamaric, have had a paper accepted at OOPSLA 2016, entitled Portable Inter-Workgroup Barrier Synchronisation for GPUs. The paper addresses the problem of how to build a barrier that allow threads in distinct workgroups to synchronise, without a priori assumptions on the number of workgroups that the GPU will schedule concurrently. We report experiments showing that an OpenCL implementation of the barrier works effectively across GPUs from NVIDIA, AMD, Intel and ARM.

    Paper draft available soon!

    4 months ago
  • S-REPLS 4 at Imperial (July 2016)

    Luis Pina and I are organising the 4th edition of the South of England Regional Programming Languages Seminar (S-REPLS 4) at Imperial College London on 27 September. We’re delighted to have Christophe Dubach as our invited speaker. Please consider attending the event, and get in touch if you would like to contribute a talk.

    5 months ago

View all news »

Latest Publications

  • Dynamic Race Detection for C++11

    Christopher Lidbury, Alastair F. Donaldson

    44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'17)

  • Portable Inter-workgroup Barrier Synchronisation for GPUs

    Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric

    31st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'16)

  • 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

View all publications »