Alastair F. Donaldson (Ally) is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. He was also Founder and Director of GraphicsFuzz, which was acquired by Google in 2018. As a result he is also a Software Engineer in the Android Graphics Team at Google. Read more.

Latest News

  • PLDI 2021 song (May 2021)

    Check out this song, “Pure Implementation”, based on the music of “Pure Imagination” but with new lyrics by John Wickerson, arrangements and production by me, and contributions from many members of the PL community, to help promote the upcoming PLDI 2021 conference:

    in 8 days
  • Welcoming Vasileios Klimis (April 2021)

    I’m delighted that Vasileios Klimis has joined us as a Postdoctoral Research Associate, to work with John Wickerson and myself as part of the IRIS Programme Grant. Welcome Vasileios!

    6 days ago
  • Paper on transformation-based compiler testing and spirv-fuzz accepted at PLDI (April 2021)

    I’m really happy that our paper, “Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing”, has been accepted at PLDI 2021! Check out the paper; check out the artifact.

    This paper shows that transformation-based compiler testing - a kind of metamorphic testing that involves applying semantics-preserving transformations to an initial program to obtain an equivalent program that should yield the same result when executed - can be designed in a manner that yields a form of test case reduction and a heuristic for bug de-duplication automatically. We devised this take on transformation-based testing when building the spirv-fuzz compiler testing tool, for the SPIR-V programming model, one of the main open source projects I contributed to while at Google.

    This is joint work with Paul Thomson at Google (former Multicore group member), and with Vasyl Teliman and André Perez Maselco, who did Google Summer of Code with us during 2020, and Stefano Milizia and Antoni Karpiński, who did internships in our team at Google during 2020.

    a month ago
  • Best Paper at MET workshop (April 2021)

    We were delighted to hear that our paper, “Dreaming Up Metamorphic Relations: Experiences from Three Fuzzer Tools”, was selected as Best Paper at the upcoming MET workshop on Metamorphic Testing. Check out the paper, which is joint work with Andrei Lascu, Matt Windsor, Tobias Grosser, John Wickerson and myself.

    a month ago
  • Back in academia (February 2021)

    After a thrilling 2.5 years being mainly an industrialist, with a part time position in academia, I’m excited to have returned full time to my Professor position at Imperial College London!

    3 months ago
  • Axiomise podcast (September 2020)

    I really enjoyed being Ashish Darbari‘s guest for his latest Axiomise podcast.

    Check it out:

    8 months ago
  • Promotion to Professor (September 2020)

    I’m really delighted to have been promoted to Professor of Programming Languages! Thanks to all my wonderful collaborators, colleagues and students, and to the Department and College, for supporting me in my career so far.

    8 months ago

View all news »

Latest Publications

  • Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing

    Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, Antoni Karpiński

    42nd Annual ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'21)

  • Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools

    Andrei Lascu, Matt Windsor, Alastair F. Donaldson, Tobias Grosser, John Wickerson

    6th International Workshop on Metamorphic Testing, in concunction with the 43rd International Conference on Software Engineering

  • Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour

    Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson

    IEEE/ACM International Conference on Automated Software Engineering, New Ideas and Emerging Results Track (ASE-NIER 2020)

  • Putting Randomized Compiler Testing into Production

    Alastair F. Donaldson, Hugues Evrard, Paul Thomson

    34th European Conference on Object-Oriented Programming (ECOOP'20)

  • Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer

    David R. MacIver, Alastair F. Donaldson

    34th European Conference on Object-Oriented Programming (ECOOP'20)

View all publications »