Engineering a static verification tool for GPU kernels

Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadee
Imperial College London
Imperial College London, 2014


   title={Engineering a static verification tool for GPU kernels},

   author={Bardsley, Ethel and Betts, Adam and Chong, Nathan and Collingbourne, Peter and Deligiannis, Pantazis and Donaldson, Alastair F and Ketema, Jeroen and Liew, Daniel and Qadeer, Shaz},

   booktitle={Proceedings of the 26th International Conference on Computer Aided Verification (CAV’14)},



Download Download (PDF)   View View   Source Source   Source codes Source codes




We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify, a static verification tool for OpenCL and CUDA GPU kernels, plotting the progress of GPUVerify from a prototype to a fully functional and relatively efficient analysis tool. Our hope is that this experience report will serve the verification community by helping to inform future tooling efforts.
No votes yet.
Please wait...

* * *

* * *

HGPU group © 2010-2021 hgpu.org

All rights belong to the respective authors

Contact us: