• Design Philosophy of DARPA Internet Protocols
• Development of the Domain Name System
• Hints for Computer System Design
• Klee Paper Review
• Queueing Theory
• The Locality Principle
• The Multikernel, A new OS architecture for scalable multicore systems
• The Unix Timesharing System
• Xen and the Art of Virtualization