Verify your OpenCL and CUDA kernels online for race conditions
GPUVerify is a tool for formal analysis of GPU kernels written in OpenCL and CUDA. The tool can prove that kernels are free from certain types of defect, such as data races and bugs. This is quite useful feedback for any GPU-programmer. Below you find a online version of the tool (please don’t break it!).
Verify your OpenCL and CUDA kernels online for race conditions Read More »