Paul Thomson

According to our database, Paul Thomson authored at least 13 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

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

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Putting Randomized Compiler Testing into Production (Artifact).

Alastair F. Donaldson, Hugues Evrard, Paul Thomson

Dagstuhl Artifacts Ser., 2020

Continual Class Incremental Learning for CT Thoracic Segmentation.

Abdelrahman Elskhawy, Aneta Lisowska, Matthias Keicher, Joseph Henry, Paul Thomson, Nassir Navab

Proceedings of the Domain Adaptation and Representation Transfer, and Distributed and Collaborative Learning, 2020

Putting Randomized Compiler Testing into Production (Experience Report).

Alastair F. Donaldson, Hugues Evrard, Paul Thomson

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2017

Automated testing of graphics shader compilers.

Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson

Proc. ACM Program. Lang., 2017

2016

Practical systematic concurrency testing for concurrent and distributed software.

Paul Thomson

PhD thesis, 2016

Concurrency Testing Using Controlled Schedulers: An Empirical Study.

Paul Thomson, Alastair F. Donaldson, Adam Betts

ACM Trans. Parallel Comput., 2016

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

Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

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

The lazy happens-before relation: better partial-order reduction for systematic concurrency testing.

Paul Thomson, Alastair F. Donaldson

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

Asynchronous programming, analysis and testing with state machines.

Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Concurrency testing using schedule bounding: an empirical study.

Paul Thomson, Alastair F. Donaldson, Adam Betts

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

2012

GPUVerify: a verifier for GPU kernels.

Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012