@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 {180377, author = {Rui Wang and Yuchen Zhou and Shuo Chen and Shaz Qadeer and David Evans and Yuri Gurevich}, title = {Explicating {SDKs}: Uncovering Assumptions Underlying Secure Authentication and Authorization}, booktitle = {22nd USENIX Security Symposium (USENIX Security 13)}, year = {2013}, isbn = {978-1-931971-03-4}, address = {Washington, D.C.}, pages = {399--314}, url = {https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/wang_rui}, publisher = {USENIX Association}, month = aug } @inproceedings {267924, author = {Madanlal Musuvathi and Shaz Qadeer and Thomas Ball and Gerard Basler and Piramanayagam Arumuga Nainar and Iulian Neamtiu}, title = {Finding and Reproducing Heisenbugs in Concurrent Programs}, booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)}, year = {2008}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/osdi-08/finding-and-reproducing-heisenbugs-concurrent-programs}, publisher = {USENIX Association}, month = dec }