SoftwareSound and partially-complete static analysis of data-races in GPU programs (Artifact)Liew, Dennis; Cogumbreiro, Tiago; Lange, Julien{}Zenodo2024-01-0110574726https://doi.org/10.5281/zenodo.126666812204986Creative Commons Attribution 4.0 InternationalNational Science Foundation