Detecting Data Races on OpenCL Kernels with Symbolic Execution