Commit 1b35ae57 authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Add bounding citations


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 100c19ca
......@@ -1422,6 +1422,25 @@
doi = {10.1007/978-3-540-31980-1\_25}
}
@InProceedings{ emmi2011:delay-bounded,
title = {Delay-Bounded Scheduling},
author = {Emmi, Michael and Qadeer, Shaz and Rakamarić,
Zvonimir},
booktitle = {\bibPOPL{2011}},
year = {2011},
isbn = {9781450304900},
publisher = {ACM},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/1926385.1926432},
doi = {10.1145/1926385.1926432},
pages = {411–422},
numpages = {12},
keywords = {delay, sequentialization, concurrency, asynchronous
programs},
location = {Austin, Texas, USA},
optseries = {POPL '11}
}
@Article{ fairbanks2012:ext4-analysis,
title = {An analysis of Ext4 for digital forensics},
author = {Fairbanks, Kevin D.},
......@@ -2835,6 +2854,44 @@
keywords = {c11/c++11 memory model, compiler testing}
}
@InProceedings{ musuvathi2007:iterative-bounding,
title = {Iterative Context Bounding for Systematic Testing of
Multithreaded Programs},
author = {Musuvathi, Madanlal and Qadeer, Shaz},
booktitle = {\bibPLDI{2007}},
year = {2007},
isbn = {9781595936332},
publisher = {ACM},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/1250734.1250785},
doi = {10.1145/1250734.1250785},
pages = {446–455},
numpages = {10},
keywords = {concurrency, model checking, partial-order reduction,
software testing, multithreading, context-bounding,
shared-memory programs},
location = {San Diego, California, USA},
optseries = {PLDI '07}
}
@InProceedings{ musuvathi2008:fair-smc,
title = {Fair Stateless Model Checking},
author = {Musuvathi, Madanlal and Qadeer, Shaz},
booktitle = {\bibPLDI{2008}},
year = {2008},
isbn = {9781595938602},
publisher = {ACM},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/1375581.1375625},
doi = {10.1145/1375581.1375625},
pages = {362–371},
numpages = {10},
keywords = {concurrency, liveness, shared-memory programs, software
testing, multi-threading, fairness, model checking},
location = {Tucson, AZ, USA},
optseries = {PLDI '08}
}
@InProceedings{ musuvathi2008:heisenbugs,
title = {Finding and reproducing Heisenbugs in concurrent
programs},
......
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