Commit 174aca1a authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Add BPOR citation


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 1b35ae57
......@@ -1174,6 +1174,27 @@
doi = {10.1145/366663.366704}
}
@InProceedings{ coons2013:bounded-por,
title = {Bounded Partial-Order Reduction},
author = {Coons, Katherine E. and Musuvathi, Madan and McKinley,
Kathryn S.},
booktitle = {\bibOOPSLA{2013}},
year = {2013},
isbn = {9781450323741},
publisher = {ACM},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2509136.2509556},
doi = {10.1145/2509136.2509556},
pages = {833–848},
numpages = {16},
keywords = {dynamic partial-order reduction, bounded partial-order
reduction, model checking, software testing, shared-memory
programs, fairness, concurrency, liveness},
location = {Indianapolis, Indiana, USA},
optseries = {OOPSLA '13},
ids = {bdpor,bounded-dpor,bpor,bounded-por}
}
@Misc{ corbet2008:ticket-locks,
title = {Ticket spinlocks},
author = {Jonathan Corbet},
......@@ -1424,8 +1445,7 @@
@InProceedings{ emmi2011:delay-bounded,
title = {Delay-Bounded Scheduling},
author = {Emmi, Michael and Qadeer, Shaz and Rakamarić,
Zvonimir},
author = {Emmi, Michael and Qadeer, Shaz and Rakamarić, Zvonimir},
booktitle = {\bibPOPL{2011}},
year = {2011},
isbn = {9781450304900},
......
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