Paul Thomson

According to our database1, Paul Thomson authored at least 12 papers between 2012 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Putting Randomized Compiler Testing into Production (Artifact).
Dagstuhl Artifacts Ser., 2020

Continual Class Incremental Learning for CT Thoracic Segmentation.
Proceedings of the Domain Adaptation and Representation Transfer, and Distributed and Collaborative Learning, 2020

Putting Randomized Compiler Testing into Production (Experience Report).
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2017
Automated testing of graphics shader compilers.
Proc. ACM Program. Lang., 2017

2016
Practical systematic concurrency testing for concurrent and distributed software.
PhD thesis, 2016

Concurrency Testing Using Controlled Schedulers: An Empirical Study.
ACM Trans. Parallel Comput., 2016

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).
Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

2015
The Design and Implementation of a Verification Technique for GPU Kernels.
ACM Trans. Program. Lang. Syst., 2015

The lazy happens-before relation: better partial-order reduction for systematic concurrency testing.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

Asynchronous programming, analysis and testing with state machines.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
Concurrency testing using schedule bounding: an empirical study.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

2012
GPUVerify: a verifier for GPU kernels.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012


  Loading...