TY  - RPRT
TI  - SIMT/GPU Data Race Verification using ISCC and Intermediary Code Representations: A Case Study
AU  - Andrew Osterhout
AU  - Ganesh Gopalakrishnan
PY  - 2025
UR  - https://arxiv.org/abs/2503.08946
ID  - 2503.08946
ER  -