Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
David Landsberg
Claudia Calabrese
Hao Mao
Peter Malec
Keith Hansen
Yi-hsien Lin
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
PAUL THOMSON
Author Info
Open Visualization
Name
Affiliation
Papers
PAUL THOMSON
Imperial College London, London, United Kingdom
9
Collaborators
Citations
PageRank
17
122
5.85
Referers
Referees
References
273
372
171
Search Limit
100
372
Publications (9 rows)
Collaborators (17 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Putting Randomized Compiler Testing into Production (Experience Report).
0
0.34
2020
Automated testing of graphics shader compilers
14
0.65
2017
Concurrency Testing Using Controlled Schedulers: An Empirical Study.
4
0.42
2016
Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)
2
0.37
2016
The Design and Implementation of a Verification Technique for GPU Kernels
20
0.70
2015
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing
3
0.40
2015
Asynchronous programming, analysis and testing with state machines
13
0.62
2015
Concurrency testing using schedule bounding: an empirical study
15
0.54
2014
GPUVerify: a verifier for GPU kernels
51
1.80
2012
1