@article{ad468211afc14492905681e88ca963ed,
title = "Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs",
keywords = "data-race detection, GPU programming, static analysis, true positives",
author = "Dennis Liew and Tiago Cogumbreiro and Julien Lange",
note = "Publisher Copyright: {\textcopyright} 2024 Owner/Author.",
year = "2024",
month = oct,
day = "8",
doi = "10.1145/3689797",
language = "English",
volume = "8",
journal = "Proceedings of the ACM on Programming Languages",
issn = "2475-1421",
publisher = "Association for Computing Machinery (ACM)",
number = "OOPSLA2",
}