Paul Thomson

GPUVerify

Adam Betts, Nathan Chong, Alastair F. Donaldson et al. · 2012 · 137 citations

Engineering, Verification, Computer Architecture +17

Automated testing of graphics shader compilers

Alastair F. Donaldson, Hugues Evrard, Andrei Lascu et al. · Proceedings of the ACM on Programming Languages · 2017 · 116 citations · Full text

Engineering, Compiler Technology, Verification +20

Concurrency testing using schedule bounding

Paul Thomson, Alastair F. Donaldson, Adam Betts · 2014 · 62 citations

Systematic Concurrency, Engineering, Verification +18

Parallel runs of a large air pollution model on a grid of Sun computers

Vassil Alexandrov, Wojciech Owczarz, Paul Thomson et al. · Mathematics and Computers in Simulation · 2004 · 60 citations

Engineering, Energy Management, Atmospheric Science +11

The Design and Implementation of a Verification Technique for GPU Kernels

Adam Betts, Nathan Chong, Alastair F. Donaldson et al. · ACM Transactions on Programming Languages and Systems · 2015 · 57 citations · Full text

Engineering, Gpu Benchmarking, Gpu Kernel +20