Adam’s research interests include worst case execution time analysis, software performance optimisation and formal verification. He is a contributor to the GPUVerify project, and is currently engaged in methods for testing OpenCL compilers.
Group Publications
-
Implementing and Evaluating Candidate-Based Invariant Generation
Adam Betts, Nathan Chong, Alastair F. Donaldson, Pantazis Deligiannis, Jeroen Ketema
IEEE Transactions on Software Engineering
-
Implementing and Evaluating Candidate-Based Invariant Generation
Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
CoRR
-
Concurrency Testing Using Controlled Schedulers: An Empirical Study
Paul Thomson, Alastair F. Donaldson, Adam Betts
ACM Transactions on Parallel Computing
-
PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming
Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven van Haastregt, Alexey Kravets, Anton Lokhmotov, Robert David, Elnar Hajiyev
2015 International Conference on Parallel Architecture and Compilation (PACT'15)
-
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 Transactions on Programming Languages and Systems
-
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
26th International Conference on Computer Aided Verification (CAV'14)
-
Concurrency Testing Using Schedule Bounding: an Empirical Study
Paul Thomson, Alastair F. Donaldson, Adam Betts
19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'14)
-
Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis
Adam Betts, Alastair F. Donaldson
25th Euromicro Conference on Real-Time Systems (ECRTS'13)
-
GPUVerify: a Verifier for GPU Kernels
Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson
27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'12)