%0 Journal Article
%T Detecting Data Races on OpenCL Kernels with Symbolic Execution
%A Dino Distefano
%A Jeremy Dubreil
%J Computer Science
%D 2013
%I arXiv
%X 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
%U http://arxiv.org/abs/1308.3203v1