GPUVerify: a verifier for GPU kernels. - Adam Betts; Nathan Chong; Alastair F. Donaldson; Shaz Qadeer; Paul Thomson (OOPSLA, 2012)

Concurrency testing using schedule bounding: an empirical study. - Paul Thomson; Alastair F. Donaldson; Adam Betts (PPoPP, 2014)

Asynchronous programming, analysis and testing with state machines. - Pantazis Deligiannis; Alastair F. Donaldson; Jeroen Ketema; Akash Lal; Paul Thomson (PLDI, 2015)

The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. - Paul Thomson; Alastair F. Donaldson (PPoPP, 2015)

The Design and Implementation of a Verification Technique for GPU Kernels. - Adam Betts; Nathan Chong; Alastair F. Donaldson; Jeroen Ketema; Shaz Qadeer; Paul Thomson; John Wickerson (ACM Trans. Program. Lang. Syst., 2015)

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). - Pantazis Deligiannis; Matt McCutchen; Paul Thomson; Shuo Chen 001; Alastair F. Donaldson; John Erickson; Cheng Huang; Akash Lal; Rashmi Mudduluru; Shaz Qadeer; Wolfram Schulte (FAST, 2016)

Concurrency Testing Using Controlled Schedulers: An Empirical Study. - Paul Thomson; Alastair F. Donaldson; Adam Betts (ACM Trans. Parallel Comput., 2016)

Practical systematic concurrency testing for concurrent and distributed software. - Paul Thomson (2016)

Automated testing of graphics shader compilers. - Alastair F. Donaldson; Hugues Evrard; Andrei Lascu; Paul Thomson (Proc. ACM Program. Lang., 2017)

Putting Randomized Compiler Testing into Production (Experience Report). - Alastair F. Donaldson; Hugues Evrard; Paul Thomson (ECOOP, 2020)

Continual Class Incremental Learning for CT Thoracic Segmentation. - Abdelrahman Elskhawy; Aneta Lisowska; Matthias Keicher; Joseph Henry; Paul Thomson; Nassir Navab (DART/DCL@MICCAI, 2020)

Putting Randomized Compiler Testing into Production (Artifact). - Alastair F. Donaldson; Hugues Evrard; Paul Thomson (Dagstuhl Artifacts Ser., 2020)

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 (PLDI, 2021)