Commit c900b42f authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Add PS 2.0 decidability + Boehm's relaxed guide


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 174aca1a
......@@ -256,6 +256,19 @@
ids = {nidhugg-rf}
}
@InProceedings{ abdulla2021:ps-decidability,
title = {The Decidability of Verification under {PS 2.0}},
author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Godbole,
Adwait and Krishna, S. and Vafeiadis, Viktor},
booktitle = {\bibESOP{2021}},
year = {2021},
editor = {Yoshida, Nobuko},
publisher = {Springer International Publishing},
address = {Cham},
pages = {1--29},
isbn = {978-3-030-72019-3}
}
@InCollection{ aceto2011:tso-robustness,
title = {Deciding robustness against total store ordering},
author = {Bouajjani, Ahmed and Meyer, Roland and Möhlmann, Eike},
......@@ -703,6 +716,14 @@
keywords = {C++, Java, atomic operations, relaxed memory models}
}
@Misc{ boehm2020:relaxed-guide,
title = {{P2055R0}: {A} Relaxed Guide to {memory_order_relaxed}},
author = {Hans Boehm and Paul E. McKenney},
year = {2020},
url = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2055r0.pdf},
urldate = {2021-04-12}
}
@Misc{ bonwick2005:zfs,
title = {{ZFS}: The last word in filesystems},
author = {Bonwick, Jeff},
......
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