@article{3feed3651ec94846863aa423f6cfac11,
title = "Memory access protocols: certified data-race freedom for GPU kernels",
keywords = "Behavioural types, Data-race, GPU, Static analysis",
author = "Tiago Cogumbreiro and Julien Lange and Dennis Liew and Hannah Zicarelli",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2023.",
year = "2024",
month = oct,
doi = "10.1007/s10703-023-00415-0",
language = "English",
volume = "63",
pages = "134--171",
journal = "Formal Methods in System Design",
issn = "0925-9856",
publisher = "Springer Netherlands",
number = "1-3",
}