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)},
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.
