Heading Off Correlated Failures through {Independence-as-a-Service}
.
2014. Heading Off Correlated Failures through {Independence-as-a-Service}. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :317--334.
The Power of Choice in {Data-Aware} Cluster Scheduling
.
2014. The Power of Choice in {Data-Aware} Cluster Scheduling. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :301--316.
Apollo: Scalable and Coordinated Scheduling for {Cloud-Scale} Computing
.
2014. Apollo: Scalable and Coordinated Scheduling for {Cloud-Scale} Computing. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :285--300.
Shielding Applications from an Untrusted Cloud with Haven
.
2014. Shielding Applications from an Untrusted Cloud with Haven. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :267--283.
Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed {Data-Intensive} Systems
.
2014. Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed {Data-Intensive} Systems. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :249--265.
End-to-end Performance Isolation Through Virtual Datacenters
.
2014. End-to-end Performance Isolation Through Virtual Datacenters. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :233--248.
The Mystery Machine: End-to-end Performance Analysis of Large-scale Internet Services
.
2014. The Mystery Machine: End-to-end Performance Analysis of Large-scale Internet Services. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :217--231.
{GPUnet}: Networking Abstractions for {GPU} Programs
.
2014. {GPUnet}: Networking Abstractions for {GPU} Programs. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :201--216.
{SHILL}: A Secure Shell Scripting Language
.
2014. {SHILL}: A Secure Shell Scripting Language. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :183--199.
Ironclad Apps: {End-to-End} Security via Automated {Full-System} Verification
.
2014. Ironclad Apps: {End-to-End} Security via Automated {Full-System} Verification. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :165--181.