Commit cd4f74bf authored by Evgenii Moiseenko's avatar Evgenii Moiseenko
Browse files

bib: add ECOOP'20 paper

parent 0cdb397e
......@@ -2958,6 +2958,26 @@
optpublisher = {ACM}
}
@InProceedings{ moiseenko2020:reconciling-es,
title = {Reconciling Event Structures with Modern Multiprocessors},
author = {Evgenii Moiseenko and Anton Podkopaev and Ori Lahav and Orestis Melkonian and Viktor Vafeiadis},
booktitle = {\bibECOOP{2020}},
pages = {5:1--5:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-154-2},
ISSN = {1868-8969},
year = {2020},
volume = {166},
opteditor = {Robert Hirschfeld and Tobias Pape},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2020/13162},
URN = {urn:nbn:de:0030-drops-131622},
doi = {10.4230/LIPIcs.ECOOP.2020.5},
annote = {Keywords: Weak Memory Consistency, Event Structures, IMM, Weakestmo}
}
@InProceedings{ morisset2013:sound-optimizations,
title = {Compiler Testing via a Theory of Sound Optimisations in
the {C11/C++11} Memory Model},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment