@inproceedings {267928, author = {Dan Williams and Patrick Reynolds and Kevin Walsh and Emin Gun Sirer and Fred B. Schneider}, title = {Device Driver Safety Through a Reference Validation Mechanism}, 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/device-driver-safety-through-reference-validation-mechanism}, publisher = {USENIX Association}, month = dec } @inproceedings {269493, author = {Robbert Van Renesse and Fred B. Schneider}, title = {Chain Replication for Supporting High Throughput and Availability}, booktitle = {6th Symposium on Operating Systems Design \& Implementation (OSDI 04)}, year = {2004}, address = {San Francisco, CA}, url = {https://www.usenix.org/conference/osdi-04/chain-replication-supporting-high-throughput-and-availability}, publisher = {USENIX Association}, month = dec }