| 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 | 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 |
| 2012 | OOPSLA | GPUVerify: a verifier for GPU kernels. | Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson |
| 2012 | RTSS | Reducing the Size of the Constraint Model in Implicit Path Enumeration Using Super Blocks. | Adam Betts |
| 2011 | EuroPar | Design and Performance of the OP2 Library for Unstructured Mesh Applications. | Carlo Bertolli, Adam Betts, Gihan R. Mudalige, Mike B. Giles, Paul H. J. Kelly |
| 2011 | ICECCS | WCET Analysis of Component-Based Systems Using Timing Traces. | Adam Betts, Amine Marref |
| 2011 | ICECCS | Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times. | Amine Marref, Adam Betts |
| 2011 | ISORC | Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code. | Amine Marref, Adam Betts |
| 2006 | ISORC | Tree-Based WCET Analysis on Instrumentation Point Graphs. | Adam Betts, Guillem Bernat |