| 2026 | FPGA | Finding and Understanding Bugs in FPGA Place-and-Route Engines. | Ollie Cosgrove, Alastair F. Donaldson, John Wickerson |
| 2025 | ASPLOS | Formalising CXL Cache Coherence. | Chengsong Tan, Alastair F. Donaldson, John Wickerson |
| 2025 | ASPLOS | Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics. | Pingshi Yu, Nicolas Wu, Alastair F. Donaldson |
| 2025 | ECOOP | FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation. | Amber Gorzynski, Alastair F. Donaldson |
| 2025 | ECOOP | WebGlitch: A Randomised Testing Tool for the WebGPU API (Experience Paper). | Matthew K. L. Wong, Alastair F. Donaldson |
| 2025 | ICST | Compiler Fuzzing in Continuous Integration: A Case Study on Dafny. | Karnbongkot Boonriong, Stefan Zetzsche, Alastair F. Donaldson |
| 2025 | ICST | Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing. | Manuel Carrasco, Cristian Cadar, Alastair F. Donaldson |
| 2025 | ICST | Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code. | Shahin Honarvar, Mark van der Wilk, Alastair F. Donaldson |
| 2025 | ISSTA | Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper). | Stefanos Chaliasos, Imam Al-Fath, Alastair F. Donaldson |
| 2024 | EuroSys | Validating Database System Isolation Level Implementations with Version Certificate Recovery. | Jack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger |
| 2024 | ICSE | Challenges in Empirically Testing Memory Persistency Models. | Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad |
| 2024 | ICST | Randomised Testing of the Compiler for a Verification-Aware Programming Language. | Alastair F. Donaldson, Dilan Sheth, Jean-Baptiste Tristan, Alex Usher |
| 2023 | CC | MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL. | George Mitenkov, Ioannis Magkanaris, Omar Awile, Pramod S. Kumbhar, Felix Schrmann, Alastair F. Donaldson |
| 2023 | ICST | Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages. | Alastair F. Donaldson, Ben Clayton, Ryan Harrison, Hasan Mohsin, David Neto, Vasyl Teliman, Hana Watson |
| 2023 | ISSTA | GrayC: Greybox Fuzzing of Compilers and Analysers for C. | Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar |
| 2023 | ISSTA | RustSmith: Random Differential Compiler Testing for Rust. | Mayank Sharma, Pingshi Yu, Alastair F. Donaldson |
| 2022 | ICST | Metamorphic Fuzzing of C++ Libraries. | Andrei Lascu, Alastair F. Donaldson, Tobias Grosser, Torsten Hoefler |
| 2022 | ISSTA | Combining static analysis error traces with dynamic symbolic execution (experience paper). | Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson |
| 2021 | ISSTA | C4: the C compiler concurrency checker. | Matt Windsor, Alastair F. Donaldson, John Wickerson |
| 2021 | PLDI | 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 Karpinski |
| 2020 | ECOOP | Putting Randomized Compiler Testing into Production (Experience Report). | Alastair F. Donaldson, Hugues Evrard, Paul Thomson |
| 2020 | ECOOP | Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper). | David Maciver, Alastair F. Donaldson |
| 2020 | RTAS | Slow and Steady: Measuring and Tuning Multicore Interference. | Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson |
| 2019 | ICSE | Metamorphic testing of Android graphics drivers. | Alastair F. Donaldson |
| 2019 | PLDI | Sparse record and replay with controlled scheduling. | Christopher Lidbury, Alastair F. Donaldson |
| 2018 | CONCUR | GPU Schedulers: How Fair Is Fair Enough?. | Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson |
| 2017 | CONCUR | Forward Progress on GPU Concurrency (Invited Talk). | Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson |
| 2017 | POPL | Dynamic race detection for C++11. | Christopher Lidbury, Alastair F. Donaldson |
| 2016 | FAST | Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). | Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte |
| 2016 | ICSE | Analysing the program analyser. | Cristian Cadar, Alastair F. Donaldson |
| 2016 | ICSE | Metamorphic testing for (graphics) compilers. | Alastair F. Donaldson, Andrei Lascu |
| 2016 | ICST | Symbooglix: A Symbolic Execution Engine for Boogie Programs. | Daniel Liew, Cristian Cadar, Alastair F. Donaldson |
| 2016 | OOPSLA | Portable inter-workgroup barrier synchronisation for GPUs. | Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
| 2016 | PLDI | Exposing errors related to weak memory in GPU applications. | Tyler Sorensen, Alastair F. Donaldson |
| 2016 | POPL | Overhauling SC atomics in C11 and OpenCL. | Mark Batty, Alastair F. Donaldson, John Wickerson |
| 2015 | ASPLOS | GPU Concurrency: Weak Behaviours and Programming Assumptions. | Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson |
| 2015 | OOPSLA | Remote-scope promotion: clarified, rectified, and verified. | John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson |
| 2015 | PLDI | Asynchronous programming, analysis and testing with state machines. | Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson |
| 2015 | PLDI | Many-core compiler fuzzing. | Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson |
| 2015 | PPoPP | The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. | Paul Thomson, Alastair F. Donaldson |
| 2014 | CAV | Engineering a Static Verification Tool for GPU Kernels. | Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer |
| 2014 | POPL | A sound and complete abstraction for reasoning about parallel prefix sums. | Nathan Chong, Alastair F. Donaldson, Jeroen Ketema |
| 2014 | PPoPP | Concurrency testing using schedule bounding: an empirical study. | Paul Thomson, Alastair F. Donaldson, Adam Betts |
| 2013 | ECRTS | Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis. | Adam Betts, Alastair F. Donaldson |
| 2013 | ESOP | Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. | Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer |
| 2013 | EuroPar | Topic 11: Multicore and Manycore Programming - (Introduction). | Luiz De Rose, Jan Treibig, William Jalby, Alba Cristina Magalhaes Alves de Melo, David Abramson, Alastair F. Donaldson, Toms Margalef |
| 2013 | OOPSLA | Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. | Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer |
| 2012 | OOPSLA | GPUVerify: a verifier for GPU kernels. | Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson |
| 2012 | TACAS | satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). | Grard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl |
| 2011 | ATVA | Making Software Verification Tools Really Work. | Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig |
| 2011 | CAV | Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. | Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl |
| 2011 | PLDI | The impact of diverse memory architectures on multicore consumer software: an industrial perspective from the video games domain. | George Russell, Colin Riley, Neil Henning, Uwe Dolinsky, Andrew Richards, Alastair F. Donaldson, Alexander S. van Amesfoort |
| 2011 | PPoPP | Automatic safety proofs for asynchronous memory operations. | Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson |
| 2011 | PPoPP | SCRATCH: a tool for automatic analysis of dma races. | Alastair F. Donaldson, Daniel Kroening, Philipp Rmmer |
| 2011 | SAS | Software Verification Using k-Induction. | Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rmmer |
| 2011 | VMCAI | Strengthening Induction-Based Race Checking with Lightweight Static Analysis. | Alastair F. Donaldson, Leopold Haller, Daniel Kroening |
| 2010 | CISIS | Automatic Offloading of C++ for the Cell BE Processor: A Case Study Using Offload. | Alastair F. Donaldson, Uwe Dolinsky, Andrew Richards, George Russell |
| 2010 | EuroPar | Programming Heterogeneous Multicore Systems Using Threading Building Blocks. | George Russell, Paul Keir, Alastair F. Donaldson, Uwe Dolinsky, Andrew Richards, Colin Riley |
| 2010 | TACAS | Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. | Alastair F. Donaldson, Daniel Kroening, Philipp Rmmer |
| 2009 | EuroPar | Towards Metaprogramming for Parallel Systems on a Chip. | Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly |
| 2008 | EuroPar | Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor. | Alastair F. Donaldson, Paul Keir, Anton Lokhmotov |
| 2007 | ATVA | Efficient Approximate Verification of Promela Models Via Symmetry Markers. | Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart |
| 2007 | EuroPar | Auto-parallelisation of Sieve C++ Programs. | Alastair F. Donaldson, Colin Riley, Anton Lokhmotov, Andrew Cook |
| 2006 | ATVA | Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. | Alastair F. Donaldson, Alice Miller |
| 2006 | FM | Exact and Approximate Strategies for Symmetry Reduction in Model Checking. | Alastair F. Donaldson, Alice Miller |
| 2005 | FM | Automatic Symmetry Detection for Model Checking Using Computational Group Theory. | Alastair F. Donaldson, Alice Miller |