Paul Thomson

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