@misc{indiciae1a5e7d4776cd,
  title = {HiRace: Accurate and Fast Source-Level Race Checking of GPU Programs},
  author = {John Jacobson and Martin Burtscher and Ganesh Gopalakrishnan},
  year = {2024},
  url = {https://arxiv.org/abs/2401.04701},
  note = {Source identifier: 2401.04701}
}