Commit 5211c581 authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Add DPOR-rf TSO/PSO citation


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 6f3ea19b
......@@ -937,6 +937,28 @@
year = {2013}
}
@Article{ bui2021:rf-tso,
title = {The Reads-from Equivalence for the TSO and PSO Memory
Models},
author = {Bui, Truc Lam and Chatterjee, Krishnendu and Gautam,
Tushar and Pavlogiannis, Andreas and Toman, Viktor},
journal = {\bibPACMPL},
year = {2021},
month = oct,
issue_date = {October 2021},
publisher = {ACM},
address = {New York, NY, USA},
volume = {5},
number = {OOPSLA},
url = {https://doi.org/10.1145/3485541},
doi = {10.1145/3485541},
articleno = {164},
numpages = {30},
keywords = {relaxed memory models, stateless model checking,
concurrency, execution-consistency verification},
ids = {dpor-rf-tso}
}
@InProceedings{ burckhardt2007:checkfence,
title = {{CheckFence}: {Checking} consistency of concurrent data
types on relaxed memory models},
......
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