Abstract
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. © 2014 Springer International Publishing.
Cite
CITATION STYLE
Bardsley, E., Betts, A., Chong, N., Collingbourne, P., Deligiannis, P., Donaldson, A. F., … Qadeer, S. (2014). Engineering a static verification tool for GPU kernels. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8559 LNCS, pp. 226–242). Springer Verlag. https://doi.org/10.1007/978-3-319-08867-9_15
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
