Paul is a PhD student interested in scalable concurrency testing techniques. He created SCTBench, a collection of benchmarks and scripts for evaluating systematic concurrency testing techniques. He is interested in creating new exhaustive techniques, e.g. based on dynamic partial-order reduction (DPOR), as well as light-weight, heuristic-based techniques. He has also contributed to the GPUVerify project.
Paul obtained his BSc in Computer Science from Southampton University in 2010 and his MSc in Computer Science from Oxford University in 2011. His MSc project was on automatic data race detection using symbolic execution, extending Cloud9, which is a fork of KLEE, a symbolic execution tool.
Group 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)
-
Putting Randomized Compiler Testing into Production
Alastair F. Donaldson, Hugues Evrard, Paul Thomson
34th European Conference on Object-Oriented Programming (ECOOP'20)
-
Automated Testing of Graphics Shader Compilers
Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson
Proceedings of the ACM Programming Languages
-
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
14th USENIX Conference on File and Storage Technologies (FAST'16)
-
Concurrency Testing Using Controlled Schedulers: An Empirical Study
Paul Thomson, Alastair F. Donaldson, Adam Betts
ACM Transactions on Parallel Computing
-
Asynchronous Programming, Analysis and Testing with State Machines
Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson
36th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15)
-
The Lazy Happens-Before Relation: Better Partial-Order Reduction for Systematic Concurrency Testing
Paul Thomson, Alastair F. Donaldson
20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'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
-
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)
-
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)