@misc{indiciae65d8aea82a11,
  title = {SIMT/GPU Data Race Verification using ISCC and Intermediary Code Representations: A Case Study},
  author = {Andrew Osterhout and Ganesh Gopalakrishnan},
  year = {2025},
  url = {https://arxiv.org/abs/2503.08946},
  note = {Source identifier: 2503.08946}
}