Commit 05b34fae authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Formatting fixes


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent cd4f74bf
......@@ -2322,15 +2322,15 @@
}
@InProceedings{ kokologiannakis2021:genmc-tool,
author = {Michalis Kokologiannakis and Viktor Vafeiadis},
editor = {Alexandra Silva and K. Rustan M. Leino},
title = {{GenMC}: {A} model checker for weak memory models},
author = {Michalis Kokologiannakis and Viktor Vafeiadis},
booktitle = {\bibCAV{2021}},
year = {2021},
editor = {Alexandra Silva and K. Rustan M. Leino},
series = {LNCS},
volume = {12759},
pages = {427--440},
publisher = {Springer},
year = {2021},
doi = {10.1007/978-3-030-81685-8\_20},
ids = {genmc-tool}
}
......@@ -2958,26 +2958,28 @@
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},
@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},
year = {2020},
pages = {5:1--5:26},
series = {Leibniz International Proceedings in Informatics
(LIPIcs)},
isbn = {978-3-95977-154-2},
issn = {1868-8969},
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}
opteditor = {Robert Hirschfeld and Tobias Pape},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fü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