Search dblp for Publications

export results for "Mixed-size concurrency: ARM, POWER, C/C 11, and SC"

 download as .bib file

@inproceedings{DBLP:conf/popl/FlurSPNMGSBS17,
  author    = {Shaked Flur and
               Susmit Sarkar and
               Christopher Pulte and
               Kyndylan Nienhuis and
               Luc Maranget and
               Kathryn E. Gray and
               Ali Sezgin and
               Mark Batty and
               Peter Sewell},
  editor    = {Giuseppe Castagna and
               Andrew D. Gordon},
  title     = {Mixed-size concurrency: ARM, POWER, C/C++11, and {SC}},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {429--442},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3009837.3009839},
  doi       = {10.1145/3009837.3009839},
  timestamp = {Mon, 14 Feb 2022 09:20:26 +0100},
  biburl    = {https://dblp.org/rec/conf/popl/FlurSPNMGSBS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics