GeeXLab 0.9.4 for Windows, Linux, OS X and Raspberry Pi
0 Members and 1 Guest are viewing this topic.
Engineering a Static Verification Tool for GPU KernelsGPUVerify is a tool for verifying race- and divergence-freedom of OpenCL and CUDA kernels. ... we evaluate our optimisations over a set of 564 GPU kernels. For reproducibility, we give binaries and code for our toolchain and experimental evaluation.