Engineering a Static Verification Tool for GPU Kernels
CAV, pp. 226-242, 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 verificatio...More
PPT (Upload PPT)