Alastair F. Donaldson

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. His academic career spans positions as a Visiting Researcher at Microsoft Research Redmond, a Postdoctoral Research Fellow at the University of Oxford, a Research Engineer at Codeplay Software Ltd., and PhD studies at the University of Glasgow. Notably, he served as Director of GraphicsFuzz, an Imperial College spinout acquired by Google in 2018, demonstrating significant industry impact from his academic research.

Donaldson's research focuses on Programming Languages, Compilers, Verification, Testing, and Multicore Programming, with particular expertise in randomized testing methodologies for compilers and program analyzers. His work bridges theoretical computer science with practical software engineering applications, developing innovative techniques like metamorphic testing for graphics shader compilers and systematic approaches for testing memory persistency models. His research output shows consistent progression toward increasingly sophisticated testing frameworks for verification-aware languages and GPU programming interfaces.

Analysis of his 15 most recent publications reveals a strong trend toward applying fuzzing and randomized testing techniques to increasingly complex systems, including zero-knowledge proof circuits, large language models for code generation, and WebGPU APIs. His work consistently addresses the challenge of verifying correctness in systems where traditional testing approaches fall short, with growing emphasis on industrial deployment of compiler testing techniques.

Throughout his career, Donaldson has maintained exceptional service to the academic community, serving on program committees and as chair for numerous prestigious conferences including SPLASH, PLDI, POPL, ECOOP, and ISSTA. His leadership roles have included Program Chair for ECOOP and General Chair for PLDI, reflecting his standing within the programming languages research community.

As an advisor and mentor, Donaldson has contributed to the PLMW (Programming Languages Mentoring Workshop) with talks on 'The Lean Researcher' and 'Hacks to Compensate for Lack of Novelty in Programming Languages Research,' demonstrating his commitment to nurturing the next generation of researchers. His work on integrating compiler fuzzing into continuous integration pipelines represents significant practical impact on software development practices.