Academic Papers
Academic Papers on Operating System Design
Note that most of these links are to PDF files, some of which can be downloaded directly.
Kernel Design
- 'Synthesis: An Efficient Implementation of Fundamental Operating System Services' by Henry (now Alexia) Massalin, 1992 [CiteSeer PDF] [Valerie Aurora HTML]
File System Design
- 'ChunkFS' by Valerie Henson (now Aurora), 2006 [usenix.org PDF] [usenix.org HTML] [Valerie Aurora PDF]
- 'Improving File System Reliability and Availability with Continuous Checker and Repair' by [UC Berkeley PDF]
- 'Repair-Driven File System Design' by Valerie Aurora, 2006 [Valerie Aurora PDF]
- 'Using Declarative Invariants for Protecting File-System Integrity' Jack Sun, Daniel Fryer, Ashvin Goel and Angela Demke Brown [SIGOPS PDF]