Papers in operating systems
- An Investigation of the Therac-25 Accidents
- Jails: Confining the Omnipotent Root
- Solaris Zones: Operating System Support for Consolidating Commercial Workloads
- The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
- The UNIX Time-Sharing System
- Towards a framework for programming environments