@inproceedings {194938, author = {Colin Scott and Vjekoslav Brajkovic and George Necula and Arvind Krishnamurthy and Scott Shenker}, title = {Minimizing Faulty Executions of Distributed Systems}, booktitle = {13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16)}, year = {2016}, isbn = {978-1-931971-29-4}, address = {Santa Clara, CA}, pages = {291--309}, url = {https://www.usenix.org/conference/nsdi16/technical-sessions/presentation/scott}, publisher = {USENIX Association}, month = mar } @inproceedings {181277, author = {Jacob Burnim and Tayfun Elmas and George Necula and Koushik Sen}, title = {{CONCURRIT}: Testing Concurrent Programs with Programmable {State-Space} Exploration}, booktitle = {4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12)}, year = {2012}, address = {Berkeley, CA}, url = {https://www.usenix.org/conference/hotpar12/workshop-program/presentation/burnim}, publisher = {USENIX Association}, month = jun } @inproceedings {268826, author = {Feng Zhou and Jeremy Condit and Zachary Anderson and Ilya Bagrak and Rob Ennals and Matthew Harren and George Necula}, title = {{SafeDrive}: Safe and Recoverable Extensions Using {Language-Based} Techniques}, booktitle = {7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06)}, year = {2006}, address = {Seattle, WA}, url = {https://www.usenix.org/conference/osdi-06/safedrive-safe-and-recoverable-extensions-using-language-based-techniques}, publisher = {USENIX Association}, month = nov }