Detecting Data Races on OpenCL Kernels with Symbolic Execution (1308.3203v1)

Abstract: We present an automatic analysis technique for checking data races on OpenCL kernels. Our method defines symbolic execution techniques based on separation logic with suitable abstractions to automatically detect non-benign racy behaviours on kernel