Commit 0fa036a0 authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Add Nidhugg-rf ref


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 82622cf3
......@@ -235,6 +235,26 @@
ids = {tracer}
}
@Article{ abdulla2019:smc-rf,
title = {Optimal stateless model checking for reads-from
equivalence under sequential consistency},
author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Jonsson,
Bengt and Lång, Magnus and Ngo, Tuan Phong and Sagonas,
Konstantinos},
journal = {\bibPACMPL},
volume = {3},
url = {https://doi.org/10.1145/3360576},
doi = {10.1145/3360576},
pages = {150:1--150:29},
issue = {{OOPSLA}},
urldate = {2021-01-18},
date = {2019-10-10},
keywords = {stateless model checking, sequential consistency, program
verification, concurrent programs, dynamic partial order
reduction},
ids = {nidhugg-rf}
}
@InCollection{ aceto2011:tso-robustness,
title = {Deciding Robustness against Total Store Ordering},
author = {Bouajjani, Ahmed and Meyer, Roland and Möhlmann, Eike},
......
Supports Markdown
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