BibTeX record conf/asplos/LustigSG19

• > Home > conf/asplos/LustigSG19

@inproceedings{DBLP:conf/asplos/LustigSG19,
  author       = {Daniel Lustig and
                  Sameer Sahasrabuddhe and
                  Olivier Giroux},
  editor       = {Iris Bahar and
                  Maurice Herlihy and
                  Emmett Witchel and
                  Alvin R. Lebeck},
  title        = {A Formal Analysis of the {NVIDIA} {PTX} Memory Consistency Model},
  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},
  pages        = {257--270},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3297858.3304043},
  doi          = {10.1145/3297858.3304043},
  timestamp    = {Sun, 19 Jan 2025 13:16:30 +0100},
  biburl       = {https://dblp.org/rec/conf/asplos/LustigSG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}