- Exokernel: An Operating System Architecture for
Application-Level Resource Management, SOSP 1995
-
Dune: Safe User-level Access to Privileged CPU Features, OSDI 2012
- Application Performance and Flexibility on Exokernel Systems, SOSP 1997
- Shielding Applications from an Untrusted Cloud with Haven, OSDI 2014
-
Efficient Software-Based Fault Isolation, SOSP 1993
- The Confused Deputy, OSR 1988
-
EROS: a fast capability system, SOSP 1999
- Comprehensive Formal Verification of an OS Microkernel, TOCS 2014 (SOSP 2009)
-
Safe Kernel Extensions Without Run-Time Checking, OSDI 1996
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs, OSDI 2008
-
Hyperkernel: Push-Button Verification of an OS Kernel, SOSP 2017
- All File Systems Are Not Created Equal:
On the Complexity of Crafting Crash-Consistent Applications, OSDI 2014
-
Making Information Flow Explicit in HiStar, CACM 2011 (OSDI 2006)
- An Analysis of Linux Scalability to Many Cores, OSDI 2010
- The Scalable Commutativity Rule: Designing Scalable Software
for Multicore Processors, TOCS 2015 (SOSP 2013)