TY  - RPRT
TI  - Provable GPU Data-Races in Static Race Detection
AU  - Dennis Liew
AU  - Tiago Cogumbreiro
AU  - Julien Lange
PY  - 2022
DO  - 10.4204/eptcs.356.4
UR  - https://arxiv.org/abs/2203.12878
ID  - 2203.12878
ER  -