Paul Thomson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2012–2021
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PLDI | 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 |
| 2020 | ECOOP | Putting Randomized Compiler Testing into Production (Experience Report). | Alastair F. Donaldson, Hugues Evrard, Paul Thomson |
| 2020 | MICCAI | Continual Class Incremental Learning for CT Thoracic Segmentation. | Abdelrahman Elskhawy, Aneta Lisowska, Matthias Keicher, Joseph Henry, Paul Thomson, Nassir Navab |
| 2016 | FAST | 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 |
| 2015 | PLDI | Asynchronous programming, analysis and testing with state machines. | Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson |
| 2015 | PPoPP | The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. | Paul Thomson, Alastair F. Donaldson |
| 2014 | PPoPP | Concurrency testing using schedule bounding: an empirical study. | Paul Thomson, Alastair F. Donaldson, Adam Betts |
| 2012 | OOPSLA | GPUVerify: a verifier for GPU kernels. | Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson |