TY  - RPRT
TI  - Detecting Data Races on OpenCL Kernels with Symbolic Execution
AU  - Dino Distefano
AU  - Jeremy Dubreil
PY  - 2013
UR  - https://arxiv.org/abs/1308.3203
ID  - 1308.3203
ER  -