@misc{indiciae9207e07cae01,
  title = {Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications},
  author = {Chris Hathhorn and Michela Becchi and William L. Harrison and Adam Procter},
  year = {2012},
  doi = {10.4204/eptcs.102.11},
  url = {https://arxiv.org/abs/1211.6193},
  note = {Source identifier: 1211.6193}
}