Author Topic: GPUVerify - a tool for formal analysis of GPU kernels written in OpenCL and CUDA  (Read 731 times)

0 Members and 1 Guest are viewing this topic.

Stefan

  • Global Moderator
  • Hero Member

  • Offline
  • *****

  • 2912
    • View Profile
Quote
Engineering a Static Verification Tool for GPU Kernels

GPUVerify 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.