Engineering a static verification tool for GPU kernels
Imperial College London
Imperial College London, 2014
@inproceedings{bardsley2014engineering,
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)},
year={2014}
}
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.
May 25, 2014 by hgpu
