@misc{indiciaede6db3d49075,
  title = {Detecting Data Races on OpenCL Kernels with Symbolic Execution},
  author = {Dino Distefano and Jeremy Dubreil},
  year = {2013},
  url = {https://arxiv.org/abs/1308.3203},
  note = {Source identifier: 1308.3203}
}