Commit d3080a00 authored by Viktor Vafeiadis's avatar Viktor Vafeiadis
Browse files

bib: add quasi-optimal DPOR

parent 05fd310a
......@@ -2996,6 +2996,20 @@
optpublisher = {ACM}
}
@InProceedings{ nguyen2018:quasi,
author = {Huyen T. T. Nguyen and C{\'{e}}sar Rodr{\'{\i}}guez and
Marcelo Sousa and Camille Coti and Laure Petrucci},
editor = {Hana Chockler and Georg Weissenbacher},
title = {Quasi-optimal partial order reduction},
booktitle = {\bibCAV{2018}},
series = {LNCS},
volume = {10982},
pages = {354--371},
publisher = {Springer},
year = {2018},
doi = {10.1007/978-3-319-96142-2\_22},
}
@InProceedings{ norris2013:cdschecker,
title = {{CDSChecker}: {Checking} concurrent data structures
written with {C/C++} atomics},
......
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