Inproceedings,
Mixed-size concurrency: ARM, POWER, C/C++11, and SC.
S. Flur, S. Sarkar, C. Pulte, K. Nienhuis, L. Maranget, K. Gray, A. Sezgin, M. Batty, and P. Sewell.POPL, page 429-442. ACM, (2017)
Meta data
- BibTeX key
- conf/popl/FlurSPNMGSBS17
- entry type
- inproceedings
- booktitle
- POPL
- year
- 2017
- pages
- 429-442
- publisher
- ACM
- crossref
- conf/popl/2017
- ee
- https://doi.org/10.1145/3093333.3009839
- isbn
- 978-1-4503-4660-3
- url
- http://dblp.uni-trier.de/db/conf/popl/popl2017.html#FlurSPNMGSBS17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/popl/FlurSPNMGSBS17
%A Flur, Shaked
%A Sarkar, Susmit
%A Pulte, Christopher
%A Nienhuis, Kyndylan
%A Maranget, Luc
%A Gray, Kathryn E.
%A Sezgin, Ali
%A Batty, Mark
%A Sewell, Peter
%B POPL
%D 2017
%E Castagna, Giuseppe
%E Gordon, Andrew D.
%I ACM
%K dblp
%P 429-442
%T Mixed-size concurrency: ARM, POWER, C/C++11, and SC.
%U http://dblp.uni-trier.de/db/conf/popl/popl2017.html#FlurSPNMGSBS17
%@ 978-1-4503-4660-3
@inproceedings{conf/popl/FlurSPNMGSBS17,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Flur, Shaked and Sarkar, Susmit and Pulte, Christopher and Nienhuis, Kyndylan and Maranget, Luc and Gray, Kathryn E. and Sezgin, Ali and Batty, Mark and Sewell, Peter},
biburl = {https://www.bibsonomy.org/bibtex/25efeef11c01181b8735ac1b55479633b/dblp},
booktitle = {POPL},
crossref = {conf/popl/2017},
editor = {Castagna, Giuseppe and Gordon, Andrew D.},
ee = {https://doi.org/10.1145/3093333.3009839},
interhash = {be36b89db86257e3023afa754d50f599},
intrahash = {5efeef11c01181b8735ac1b55479633b},
isbn = {978-1-4503-4660-3},
keywords = {dblp},
pages = {429-442},
publisher = {ACM},
timestamp = {2024-04-09T13:30:08.000+0200},
title = {Mixed-size concurrency: ARM, POWER, C/C++11, and SC.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl2017.html#FlurSPNMGSBS17},
year = 2017
}