@inproceedings {194442, author = {Pantazis Deligiannis and Matt McCutchen and Paul Thomson and Shuo Chen and Alastair F. Donaldson and John Erickson and Cheng Huang and Akash Lal and Rashmi Mudduluru and Shaz Qadeer and Wolfram Schulte}, title = {Uncovering Bugs in Distributed Storage Systems during Testing (Not in {Production!})}, booktitle = {14th USENIX Conference on File and Storage Technologies (FAST 16)}, year = {2016}, isbn = {978-1-931971-28-7}, address = {Santa Clara, CA}, pages = {249--262}, url = {https://www.usenix.org/conference/fast16/technical-sessions/presentation/deligiannis}, publisher = {USENIX Association}, month = feb } @inproceedings {183967, author = {Baris Kasikci and Thomas Ball and George Candea and John Erickson and Madanlal Musuvathi}, title = {Efficient Tracing of Cold Code via {Bias-Free} Sampling}, booktitle = {2014 USENIX Annual Technical Conference (USENIX ATC 14)}, year = {2014}, isbn = {978-1-931971-10-2}, address = {Philadelphia, PA}, pages = {243--254}, url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/kasikci}, publisher = {USENIX Association}, month = jun } @inproceedings {267142, author = {John Erickson and Madanlal Musuvathi and Sebastian Burckhardt and Kirk Olynyk}, title = {Effective {Data-Race} Detection for the Kernel}, booktitle = {9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)}, year = {2010}, address = {Vancouver, BC}, url = {https://www.usenix.org/conference/osdi10/effective-data-race-detection-kernel}, publisher = {USENIX Association}, month = oct }