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 operating system: should there be one?
- The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
- The UNIX Time-Sharing System