Login / Signup

Detecting Data Races on OpenCL Kernels with Symbolic Execution.

Dino DistefanoJérémy Dubreil
Published in: CoRR (2013)
Keyphrases