Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
612 lines (596 sloc) 22.6 KB
@mastersthesis{randomboundedexhaustive,
author = {Wietse Venema},
title = {A Comparison of Random Testing and Bounded Exhaustive Testing},
school = {University of Amsterdam},
month = {August},
year = {2012},
address = {Amsterdam},
}
@inproceedings{evolution,
author = {Lu, Lanyue and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau and Lu, Shan},
title = {A Study of Linux File System Evolution},
booktitle = {Proceedings of the 11th Conference on File and Storage Technologies (FAST {\textquoteright}13)},
series = {FAST'13},
year = {2013},
month = {February},
address = {San Jose, California},
url = {http://research.cs.wisc.edu/adsl/Publications/fsstudy-fast13.pdf},
}
@inproceedings{quark,
author = {Jang, Dongseok and Tatlock, Zachary and Lerner, Sorin},
title = {Establishing browser security guarantees through formal shim verification},
booktitle = {Proceedings of the 21st USENIX conference on Security symposium},
series = {Security'12},
year = {2012},
location = {Bellevue, WA},
pages = {8--8},
numpages = {1},
url = {http://dl.acm.org/citation.cfm?id=2362793.2362801},
acmid = {2362801},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{revirt,
author = {Dunlap, George W. and King, Samuel T. and Cinar, Sukru and Basrai, Murtaza A. and Chen, Peter M.},
title = {ReVirt: enabling intrusion analysis through virtual-machine logging and replay},
booktitle = {Proceedings of the 5th symposium on Operating systems design and implementation},
series = {OSDI '02},
year = {2002},
isbn = {978-1-4503-0111-4},
location = {Boston, Massachusetts},
pages = {211--224},
numpages = {14},
url = {http://doi.acm.org/10.1145/1060289.1060309},
doi = {10.1145/1060289.1060309},
acmid = {1060309},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{avio,
author = {Lu, Shan and Tucek, Joseph and Qin, Feng and Zhou, Yuanyuan},
title = {{AVIO}: detecting atomicity violations via access interleaving invariants},
booktitle = {Proceedings of the 12th international conference on Architectural support for programming languages and operating systems},
series = {ASPLOS-XII},
year = {2006},
isbn = {1-59593-451-0},
location = {San Jose, California, USA},
pages = {37--48},
numpages = {12},
url = {http://doi.acm.org/10.1145/1168857.1168864},
doi = {10.1145/1168857.1168864},
acmid = {1168864},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {atomicity violation, bug detection, concurrency bug, concurrent program, hardware support, program invariant},
}
@inproceedings{kint,
author = {Wang, Xi and Chen, Haogang and Jia, Zhihao and Zeldovich, Nickolai and Kaashoek, M. Frans},
title = {Improving integer security for systems with KINT},
booktitle = {Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation},
series = {OSDI'12},
year = {2012},
isbn = {978-931971-96-6},
location = {Hollywood, CA, USA},
pages = {163--177},
numpages = {15},
url = {http://dl.acm.org/citation.cfm?id=2387880.2387897},
acmid = {2387897},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{s2e,
author = {Chipounov, Vitaly and Kuznetsov, Volodymyr and Candea, George},
title = {S2E: a platform for in-vivo multi-path analysis of software systems},
booktitle = {Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems},
series = {ASPLOS '11},
year = {2011},
isbn = {978-1-4503-0266-1},
location = {Newport Beach, California, USA},
pages = {265--278},
numpages = {14},
url = {http://doi.acm.org/10.1145/1950365.1950396},
doi = {10.1145/1950365.1950396},
acmid = {1950396},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {analysis, binary, consistency models, dbt, framework, in-vivo, performance, symbolic execution, testing, virtualization},
}
@inproceedings{symdrive,
author = {Renzelmann, Matthew J. and Kadav, Asim and Swift, Michael M.},
title = {SymDrive: testing drivers without devices},
booktitle = {Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation},
series = {OSDI'12},
year = {2012},
isbn = {978-931971-96-6},
location = {Hollywood, CA, USA},
pages = {279--292},
numpages = {14},
url = {http://dl.acm.org/citation.cfm?id=2387880.2387908},
acmid = {2387908},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{eve,
author = {Manos Kapritsos and Yang Wang and Vivien Querna and Allen Clement and Lorenzo Alvisi and Mike Dahlin},
title = {All about {Eve}: Execute-Verify Replication for Multi-Core Servers},
booktitle = {The 10th USENIX Symposium on Operating Systems Design and Implementation},
series = {OSDI '12},
year = {2012},
}
@inproceedings{cfix,
author = {Guoliang Jin and Wei Zhang and Dongdong Deng and Ben Liblit and Shan Lu},
title = {Automated Concurrency-Bug Fixing},
booktitle = {The 10th USENIX Symposium on Operating Systems Design and Implementation},
series = {OSDI '12},
year = {2012},
}
@mastersthesis{landslide,
author = {Blum, Ben},
title = {Landslide: Systematic Dynamic Race Detection in Kernel Space},
school = {Carnegie Mellon University},
month = {May},
year = {2012},
address = {Pittsburgh, PA, USA},
note = {{CMU-CS-12-118}},
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Citations used in thesis below. More recent stuff above.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@article{simics,
author = {Magnusson, Peter S. and Christensson, Magnus and Eskilson, Jesper and Forsgren, Daniel and H{\aa}llberg, Gustav and H\"{o}gberg, Johan and Larsson, Fredrik and Moestedt, Andreas and Werner, Bengt},
title = {{Simics: A Full System Simulation Platform}},
journal = {Computer},
issue_date = {February 2002},
volume = {35},
number = {2},
month = feb,
year = {2002},
issn = {0018-9162},
pages = {50--58},
numpages = {9},
url = {http://dx.doi.org/10.1109/2.982916},
doi = {10.1109/2.982916},
acmid = {621909},
publisher = {IEEE Computer Society Press},
address = {Los Alamitos, CA, USA},
}
@misc{de0u,
author = {Eckhardt, David},
howpublished = {Personal communication},
year = 2011
}
@inproceedings{dpor,
author = {Flanagan, Cormac and Godefroid, Patrice},
title = {{Dynamic partial-order reduction for model checking software}},
booktitle = {Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
series = {POPL '05},
year = {2005},
isbn = {1-58113-830-X},
location = {Long Beach, California, USA},
pages = {110--121},
numpages = {12},
url = {http://doi.acm.org/10.1145/1040305.1040315},
doi = {10.1145/1040305.1040315},
acmid = {1040315},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {partial-order reduction, software model checking},
}
@inproceedings{sdpor,
author = {Yang, Yu and Chen, Xiaofang and Gopalakrishnan, Ganesh and Kirby, Robert M.},
title = {{Efficient Stateful Dynamic Partial Order Reduction}},
booktitle = {Proceedings of the 15th international workshop on Model Checking Software},
series = {SPIN '08},
year = {2008},
isbn = {978-3-540-85113-4},
location = {Los Angeles, CA, USA},
pages = {288--305},
numpages = {18},
url = {http://dx.doi.org/10.1007/978-3-540-85114-1_20},
doi = {10.1007/978-3-540-85114-1_20},
acmid = {1429100},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
}
@article{dbug-retreat,
author = {Jiri Simsa and Randy Bryant and Garth Gibson and Jason Hickey},
title = {{Efficient Exploratory Testing of Concurrent Systems}},
journal = {PDL-CMU Technical Report},
month = {November},
year = {2011},
volume = {113},
note = {\url{http://www.pdl.cmu.edu/PDL-FTP/associated/CMU-PDL-11-113.pdf}},
}
@inproceedings{dbug-ssv,
author = {Simsa, Jiri and Bryant, Randy and Gibson, Garth},
title = {{dBug: systematic evaluation of distributed systems}},
booktitle = {Proceedings of the 5th international conference on Systems software verification},
series = {SSV'10},
year = {2010},
location = {Voncouver, BC, Canada},
pages = {3--3},
numpages = {1},
url = {http://dl.acm.org/citation.cfm?id=1929004.1929007},
acmid = {1929007},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{distributed-dpor,
author = {Yang, Yu and Chen, Xiaofang and Gopalakrishnan, Ganesh and Kirby, Robert M.},
title = {Distributed dynamic partial order reduction based verification of threaded software},
booktitle = {Proceedings of the 14th international SPIN conference on Model checking software},
year = {2007},
isbn = {978-3-540-73369-0},
location = {Berlin, Germany},
pages = {58--75},
numpages = {18},
url = {http://dl.acm.org/citation.cfm?id=1770532.1770541},
acmid = {1770541},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
}
@inproceedings{verisoft,
author = {Godefroid, Patrice},
title = {{VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software}},
booktitle = {Proceedings of the 9th International Conference on Computer Aided Verification},
series = {CAV '97},
year = {1997},
isbn = {3-540-63166-6},
pages = {476--479},
numpages = {4},
url = {http://dl.acm.org/citation.cfm?id=647766.733607},
acmid = {733607},
publisher = {Springer-Verlag},
address = {London, UK, UK},
}
@inproceedings{valgrind,
author = {Nethercote, Nicholas and Seward, Julian},
title = {Valgrind: a framework for heavyweight dynamic binary instrumentation},
booktitle = {Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
series = {PLDI '07},
year = {2007},
isbn = {978-1-59593-633-2},
location = {San Diego, California, USA},
pages = {89--100},
numpages = {12},
url = {http://doi.acm.org/10.1145/1250734.1250746},
doi = {10.1145/1250734.1250746},
acmid = {1250746},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Memcheck, Valgrind, dynamic binary analysis, dynamic binary instrumentation, shadow values},
}
@inproceedings{simtester,
author = {Yu, Tingting and Srisa-an, Witawas and Rothermel, Gregg},
title = {{SimTester: a controllable and observable testing framework for embedded systems}},
booktitle = {Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments},
series = {VEE '12},
year = {2012},
isbn = {978-1-4503-1176-2},
location = {London, England, UK},
pages = {51--62},
numpages = {12},
url = {http://doi.acm.org/10.1145/2151024.2151034},
doi = {10.1145/2151024.2151034},
acmid = {2151034},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {concurrency, device drivers, kernels, testing},
}
@inproceedings{racepro,
author = {Laadan, Oren and Viennot, Nicolas and Tsai, Chia-Che and Blinn, Chris and Yang, Junfeng and Nieh, Jason},
title = {Pervasive detection of process races in deployed systems},
booktitle = {Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles},
series = {SOSP '11},
year = {2011},
isbn = {978-1-4503-0977-6},
location = {Cascais, Portugal},
pages = {353--367},
numpages = {15},
url = {http://doi.acm.org/10.1145/2043556.2043589},
doi = {10.1145/2043556.2043589},
acmid = {2043589},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {debugging, model checking, race detection, record-replay},
}
@inproceedings{chess,
author = {Musuvathi, Madanlal and Qadeer, Shaz and Ball, Thomas and Basler, Gerard and Nainar, Piramanayagam Arumuga and Neamtiu, Iulian},
title = {{Finding and reproducing Heisenbugs in concurrent programs}},
booktitle = {Proceedings of the 8th USENIX conference on Operating Systems Design and Implementation},
series = {OSDI'08},
year = {2008},
location = {San Diego, California},
pages = {267--280},
numpages = {14},
url = {http://dl.acm.org/citation.cfm?id=1855741.1855760},
acmid = {1855760},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{klee,
author = {Cadar, Cristian and Dunbar, Daniel and Engler, Dawson},
title = {{KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs}},
booktitle = {Proceedings of the 8th USENIX conference on Operating Systems Design and Implementation},
series = {OSDI'08},
year = {2008},
location = {San Diego, California},
pages = {209--224},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=1855741.1855756},
acmid = {1855756},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{deviant-bugs,
author = {Engler, Dawson and Chen, David Yu and Hallem, Seth and Chou, Andy and Chelf, Benjamin},
title = {Bugs as deviant behavior: a general approach to inferring errors in systems code},
booktitle = {Proceedings of the eighteenth ACM Symposium on Operating Systems Principles},
series = {SOSP '01},
year = {2001},
isbn = {1-58113-389-8},
location = {Banff, Alberta, Canada},
pages = {57--72},
numpages = {16},
url = {http://doi.acm.org/10.1145/502034.502041},
doi = {10.1145/502034.502041},
acmid = {502041},
publisher = {ACM},
address = {New York, NY, USA},
}
@misc{dawson,
author = {Engler, Dawson},
howpublished = {Personal communication},
year = 2012
}
@inproceedings{aeg,
author = {Thanassis Avgerinos and Sang Kil Cha and Brent Lim Tze Hao and David Brumley},
title = {{AEG: Automatic Exploit Generation}},
booktitle = {Network and Distributed System Security Symposium},
month = feb,
year = {2011}
}
@article{symbolic,
author = {King, James C.},
title = {Symbolic execution and program testing},
journal = {Commun. ACM},
issue_date = {July 1976},
volume = {19},
number = {7},
month = jul,
year = {1976},
issn = {0001-0782},
pages = {385--394},
numpages = {10},
url = {http://doi.acm.org/10.1145/360248.360252},
doi = {10.1145/360248.360252},
acmid = {360252},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {program debugging, program proving, program testing, program verification, symbolic execution, symbolic interpretation},
}
@inproceedings{symbolic-disks,
author = {Yang, Junfeng and Sar, Can and Twohey, Paul and Cadar, Cristian and Engler, Dawson},
title = {{Automatically Generating Malicious Disks using Symbolic Execution}},
booktitle = {Proceedings of the 2006 IEEE Symposium on Security and Privacy},
series = {SP '06},
year = {2006},
isbn = {0-7695-2574-1},
pages = {243--257},
numpages = {15},
url = {http://dx.doi.org/10.1109/SP.2006.7},
doi = {10.1109/SP.2006.7},
acmid = {1130377},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@inproceedings{dag-mining,
author = {Seo, Eunsoo and Khan, Mohammad Maifi Hasan and Mohapatra, Prasant and Han, Jiawei and Abdelzaher, Tarek},
title = {{Exposing Complex Bug-Triggering Conditions in Distributed Systems via Graph Mining}},
booktitle = {Proceedings of the 2011 International Conference on Parallel Processing},
series = {ICPP '11},
year = {2011},
isbn = {978-0-7695-4510-3},
pages = {186--195},
numpages = {10},
url = {http://dx.doi.org/10.1109/ICPP.2011.62},
doi = {10.1109/ICPP.2011.62},
acmid = {2066952},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
keywords = {Fault diagnosis, Software debugging, Data mining},
}
@inproceedings{racetrack,
author = {Yu, Yuan and Rodeheffer, Tom and Chen, Wei},
title = {{RaceTrack: efficient detection of data race conditions via adaptive tracking}},
booktitle = {Proceedings of the twentieth ACM symposium on Operating systems principles},
series = {SOSP '05},
year = {2005},
isbn = {1-59593-079-5},
location = {Brighton, United Kingdom},
pages = {221--234},
numpages = {14},
url = {http://doi.acm.org/10.1145/1095810.1095832},
doi = {10.1145/1095810.1095832},
acmid = {1095832},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {race detection, virtual machine instrumentation},
}
@inproceedings{tsan,
author = {Serebryany, Konstantin and Iskhodzhanov, Timur},
title = {{ThreadSanitizer: data race detection in practice}},
booktitle = {Proceedings of the Workshop on Binary Instrumentation and Applications},
series = {WBIA '09},
year = {2009},
isbn = {978-1-60558-793-6},
location = {New York, New York},
pages = {62--71},
numpages = {10},
url = {http://doi.acm.org/10.1145/1791194.1791203},
doi = {10.1145/1791194.1791203},
acmid = {1791203},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Valgrind, concurrency bugs, dynamic data race detection, testing},
}
@inproceedings{modist,
author = {Yang, Junfeng and Chen, Tisheng and Wu, Ming and Xu, Zhilei and Liu, Xuezheng and Lin, Haoxiang and Yang, Mao and Long, Fan and Zhang, Lintao and Zhou, Lidong},
title = {{MODIST: transparent model checking of unmodified distributed systems}},
booktitle = {Proceedings of the 6th USENIX symposium on Networked systems design and implementation},
series = {NSDI'09},
year = {2009},
location = {Boston, Massachusetts},
pages = {213--228},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=1558977.1558992},
acmid = {1558992},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{macemc,
author = {Killian, Charles and Anderson, James W. and Jhala, Ranjit and Vahdat, Amin},
title = {Life, death, and the critical transition: finding liveness bugs in systems code},
booktitle = {Proceedings of the 4th USENIX conference on Networked systems design \& implementation},
series = {NSDI'07},
year = {2007},
location = {Cambridge, MA},
pages = {18--18},
numpages = {1},
url = {http://dl.acm.org/citation.cfm?id=1973430.1973448},
acmid = {1973448},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{demeter,
author = {Guo, Huayang and Wu, Ming and Zhou, Lidong and Hu, Gang and Yang, Junfeng and Zhang, Lintao},
title = {Practical software model checking via dynamic interface reduction},
booktitle = {Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles},
series = {SOSP '11},
year = {2011},
isbn = {978-1-4503-0977-6},
location = {Cascais, Portugal},
pages = {265--278},
numpages = {14},
url = {http://doi.acm.org/10.1145/2043556.2043582},
doi = {10.1145/2043556.2043582},
acmid = {2043582},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {dynamic interface reduction, software model checking, state space reduction},
}
@inproceedings{barrelfish,
author = {Baumann, Andrew and Barham, Paul and Dagand, Pierre-Evariste and Harris, Tim and Isaacs, Rebecca and Peter, Simon and Roscoe, Timothy and Sch\"{u}pbach, Adrian and Singhania, Akhilesh},
title = {{The multikernel: a new OS architecture for scalable multicore systems}},
booktitle = {Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles},
series = {SOSP '09},
year = {2009},
isbn = {978-1-60558-752-3},
location = {Big Sky, Montana, USA},
pages = {29--44},
numpages = {16},
url = {http://doi.acm.org/10.1145/1629575.1629579},
doi = {10.1145/1629575.1629579},
acmid = {1629579},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {message passing, multicore processors, scalability},
}
@inproceedings{sel4,
author = {Klein, Gerwin and Elphinstone, Kevin and Heiser, Gernot and Andronick, June and Cock, David and Derrin, Philip and Elkaduwe, Dhammika and Engelhardt, Kai and Kolanski, Rafal and Norrish, Michael and Sewell, Thomas and Tuch, Harvey and Winwood, Simon},
title = {{seL4: formal verification of an OS kernel}},
booktitle = {Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles},
series = {SOSP '09},
year = {2009},
isbn = {978-1-60558-752-3},
location = {Big Sky, Montana, USA},
pages = {207--220},
numpages = {14},
url = {http://doi.acm.org/10.1145/1629575.1629596},
doi = {10.1145/1629575.1629596},
acmid = {1629596},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {isabelle/hol, l4, microkernel, sel4},
}
@inproceedings{datacollider,
author = {Erickson, John and Musuvathi, Madanlal and Burckhardt, Sebastian and Olynyk, Kirk},
title = {Effective data-race detection for the kernel},
booktitle = {Proceedings of the 9th USENIX conference on Operating Systems Design and Implementation},
series = {OSDI'10},
year = {2010},
location = {Vancouver, BC, Canada},
pages = {1--16},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=1924943.1924954},
acmid = {1924954},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{carburizer,
author = {Kadav, Asim and Renzelmann, Matthew J. and Swift, Michael M.},
title = {Tolerating hardware device failures in software},
booktitle = {Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles},
series = {SOSP '09},
year = {2009},
isbn = {978-1-60558-752-3},
location = {Big Sky, Montana, USA},
pages = {59--72},
numpages = {14},
url = {http://doi.acm.org/10.1145/1629575.1629582},
doi = {10.1145/1629575.1629582},
acmid = {1629582},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {code generation, debugging, device drivers, recovery, reliability},
}
@inproceedings{kendo,
author = {Olszewski, Marek and Ansel, Jason and Amarasinghe, Saman},
title = {Kendo: efficient deterministic multithreading in software},
booktitle = {Proceedings of the 14th international conference on Architectural support for programming languages and operating systems},
series = {ASPLOS '09},
year = {2009},
isbn = {978-1-60558-406-5},
location = {Washington, DC, USA},
pages = {97--108},
numpages = {12},
url = {http://doi.acm.org/10.1145/1508244.1508256},
doi = {10.1145/1508244.1508256},
acmid = {1508256},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {debugging, determinism, deterministic multithreading, multicore, parallel programming},
}
@inproceedings{dthreads,
author = {Liu, Tongping and Curtsinger, Charlie and Berger, Emery D.},
title = {Dthreads: efficient deterministic multithreading},
booktitle = {Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles},
series = {SOSP '11},
year = {2011},
isbn = {978-1-4503-0977-6},
location = {Cascais, Portugal},
pages = {327--336},
numpages = {10},
url = {http://doi.acm.org/10.1145/2043556.2043587},
doi = {10.1145/2043556.2043587},
acmid = {2043587},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{peregrine,
author = {Cui, Heming and Wu, Jingyue and Gallagher, John and Guo, Huayang and Yang, Junfeng},
title = {Efficient deterministic multithreading through schedule relaxation},
booktitle = {Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles},
series = {SOSP '11},
year = {2011},
isbn = {978-1-4503-0977-6},
location = {Cascais, Portugal},
pages = {337--351},
numpages = {15},
url = {http://doi.acm.org/10.1145/2043556.2043588},
doi = {10.1145/2043556.2043588},
acmid = {2043588},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {deterministic multithreading, program simplification, program slicing, symbolic execution},
}