@inbook{bc3dd5e8166741289653a1e9931ddced,
title = "Hidden Assumptions in Static Verification of Data-race Free GPU Programs",
author = "Tiago Cogumbreiro and Julien Lange",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.",
year = "2025",
doi = "10.1007/978-3-031-97492-2\_6",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "55--63",
booktitle = "Lecture Notes in Computer Science",
}