@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 } @inproceedings {269244, author = {Gautam Altekar and Ilya Bagrak and Paul Burstein and Andrew Schultz}, title = {{OPUS}: Online Patches and Updates for Security}, booktitle = {14th USENIX Security Symposium (USENIX Security 05)}, year = {2005}, address = {Baltimore, MD}, url = {https://www.usenix.org/conference/14th-usenix-security-symposium/opus-online-patches-and-updates-security}, publisher = {USENIX Association}, month = jul }