Daniel Lustig, Sameer Sahasrabuddhe, Olivier Giroux. A Formal Analysis of the NVIDIA PTX Memory Consistency Model. In Iris Bahar, Maurice Herlihy, Emmett Witchel, Alvin R. Lebeck, editors, Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, Providence, RI, USA, April 13-17, 2019. pages 257-270, ACM, 2019. [doi]
@inproceedings{LustigSG19,
title = {A Formal Analysis of the NVIDIA PTX Memory Consistency Model},
author = {Daniel Lustig and Sameer Sahasrabuddhe and Olivier Giroux},
year = {2019},
doi = {10.1145/3297858.3304043},
url = {https://doi.org/10.1145/3297858.3304043},
researchr = {https://researchr.org/publication/LustigSG19},
cites = {0},
citedby = {0},
pages = {257-270},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, Providence, RI, USA, April 13-17, 2019},
editor = {Iris Bahar and Maurice Herlihy and Emmett Witchel and Alvin R. Lebeck},
publisher = {ACM},
isbn = {978-1-4503-6240-5},
}