Sound and partially-complete static analysis of data-races in GPU programs

Dennis Liew, Tiago Cogumbreiro, Julien Lange

Research output: Contribution to journal › Article › peer-review

12 Downloads (Pure)

Original language	English
Article number	357
Pages (from-to)	2434-2461
Number of pages	28
Journal	Proceedings of the ACM on Programming Languages
Volume	8
Issue number	OOPSLA2
DOIs	https://doi.org/10.1145/3689797
Publication status	Published - 8 Oct 2024

Access to Document

@article{18076be241c64c628189a1fca8d968f9,

title = "Sound and partially-complete static analysis of data-races in GPU programs",

author = "Dennis Liew and Tiago Cogumbreiro and Julien Lange",

year = "2024",

month = oct,

day = "8",

doi = "10.1145/3689797",

language = "English",

volume = "8",

pages = "2434--2461",

journal = "Proceedings of the ACM on Programming Languages",

issn = "2475-1421",

publisher = "Association for Computing Machinery (ACM)",

number = "OOPSLA2",

}

TY - JOUR

T1 - Sound and partially-complete static analysis of data-races in GPU programs

AU - Liew, Dennis

AU - Cogumbreiro, Tiago

AU - Lange, Julien

PY - 2024/10/8

Y1 - 2024/10/8

U2 - 10.1145/3689797

DO - 10.1145/3689797

M3 - Article

SN - 2475-1421

VL - 8

SP - 2434

EP - 2461

JO - Proceedings of the ACM on Programming Languages

JF - Proceedings of the ACM on Programming Languages

IS - OOPSLA2

M1 - 357

ER -