Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Paul Thomson
conf.researchr.org general profile
PLDI 2015 profile
SPLASH 2012 profile
SPLASH 2017 profile
Not registered as user
Name:
Paul Thomson
Affiliation:
Imperial College London
Contributions
2017
SPLASH
Author of Automated Testing of Graphics Shader Compilers within the OOPSLA-track
2015
PLDI
Author of Asynchronous Programming, Analysis and Testing with State Machines within the Research Papers-track
2012
SPLASH
Author of GPUVerify: a verifier for GPU kernels within the OOPSLA Research Papers-track
Share
x
Sun 22 Dec 09:17