Engineering a static verification tool for GPU kernels
E Bardsley, A Betts, N Chong, P Collingbourne… - … 2014, Held as Part of the …, 2014 - Springer
Computer Aided Verification: 26th International Conference, CAV 2014, Held as …, 2014•Springer
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.
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.
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.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果