Paul Thomson

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 11

Top Venues

PPOPP

PLDI

Proc. ACM Program. Lang.

CoRR

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, Antoni Karpinski
Test-case reduction and deduplication almost for free with transformation-based compiler testing. PLDI (2021)
Alastair F. Donaldson, Hugues Evrard, Paul Thomson
Putting Randomized Compiler Testing into Production (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Alastair F. Donaldson, Hugues Evrard, Paul Thomson
Putting Randomized Compiler Testing into Production (Experience Report). ECOOP (2020)
Abdelrahman Elskhawy, Aneta Lisowska, Matthias Keicher, Joseph Henry, Paul Thomson, Nassir Navab
Continual Class Incremental Learning for CT Thoracic Segmentation. DART/DCL@MICCAI (2020)
Abdelrahman Elskhawy, Aneta Lisowska, Matthias Keicher, Joseph Henry, Paul Thomson, Nassir Navab
Continual Class Incremental Learning for CT Thoracic Segmentation. CoRR (2020)
Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson
Automated testing of graphics shader compilers. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Paul Thomson, Alastair F. Donaldson, Adam Betts
Concurrency Testing Using Controlled Schedulers: An Empirical Study. ACM Trans. Parallel Comput. 2 (4) (2016)
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). FAST (2016)
Paul Thomson, Alastair F. Donaldson
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. PPOPP (2015)
Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson
Asynchronous programming, analysis and testing with state machines. PLDI (2015)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. 37 (3) (2015)
Paul Thomson, Alastair F. Donaldson, Adam Betts
Concurrency testing using schedule bounding: an empirical study. PPOPP (2014)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson
GPUVerify: a verifier for GPU kernels. OOPSLA (2012)

Paul Thomson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paul Thomson