Bypassing Races in Live Applications with Execution Filters
.
2010. Bypassing Races in Live Applications with Execution Filters. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
Effective {Data-Race} Detection for the Kernel
.
2010. Effective {Data-Race} Detection for the Kernel. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
Ad Hoc Synchronization Considered Harmful
.
2010. Ad Hoc Synchronization Considered Harmful. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
Static Checking of {Dynamically-Varying} Security Policies in {Database-Backed} Applications
.
2010. Static Checking of {Dynamically-Varying} Security Policies in {Database-Backed} Applications. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
Accountable Virtual Machines
.
2010. Accountable Virtual Machines. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
Finding a Needle in Haystack: Facebook's Photo Storage
.
2010. Finding a Needle in Haystack: Facebook's Photo Storage. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
Nectar: Automatic Management of Data and Computation in Datacenters
.
2010. Nectar: Automatic Management of Data and Computation in Datacenters. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
An Analysis of Linux Scalability to Many Cores
.
2010. An Analysis of Linux Scalability to Many Cores. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
Trust and Protection in the Illinois Browser Operating System
.
2010. Trust and Protection in the Illinois Browser Operating System. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
{FlexSC}: Flexible System Call Scheduling with {Exception-Less} System Calls
.
2010. {FlexSC}: Flexible System Call Scheduling with {Exception-Less} System Calls. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).