Academic Papers: Difference between revisions
Jump to navigation
Jump to search
[unchecked revision] | [unchecked revision] |
Content added Content deleted
(A few starting papers to get the ball rolling) |
|||
Line 3: | Line 3: | ||
== Kernel Design == |
== Kernel Design == |
||
* 'The Case for Crypto Protocol Awareness in the Kernel' by Burnside and Keromytis, 2006 [[http://academiccommons.columbia.edu/catalog/ac%3A149447 Academic Commons link page]] |
|||
⚫ | * 'Synthesis: An Efficient Implementation of Fundamental Operating System Services' by |
||
* 'Exokernel: An Operating System Architecture for Application-Level Resource Management', by Engler, Kaashoek and O’Toole, 1995 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.6047 CiteSeer link page]] |
|||
* 'Improving IPC by Kernel Design' by Liedtke, 1993 [[http://zoo.cs.yale.edu/classes/cs422/2010/bib/liedtke93improving.pdf Yale PDF]] |
|||
* 'Operating System Virtualization: Practice and Experience' by Laadan and Nieh, 2008 [[http://academiccommons.columbia.edu/catalog/ac%3A111055 Academic Commons link page]] |
|||
* 'An Overview of the Synthesis Operating System' by Pu and Massalin, 1989 [[http://academiccommons.columbia.edu/catalog/ac%3A143176 Academic Commons link page]] |
|||
* 'The Protection of Information in Computer Systems' by Saltzer and Schroeder, 1975 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.9257 CiteSeer link page]] |
|||
* 'Protecting Commodity Operating Systems through Strong Kernel Isolation' by Kemerlis, 2015 |
|||
[[http://academiccommons.columbia.edu/catalog/ac%3A189973 Academic Commons link page]] |
|||
* 'Speculative Execution as an Operating System Service' by Locasto and Keromytis, 2006 [[http://academiccommons.columbia.edu/catalog/ac%3A110558 Academic Commons link page]] |
|||
⚫ | * 'Synthesis: An Efficient Implementation of Fundamental Operating System Services' by Massalin, 1992 [[http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=0B740BDE247580D4D3685C6792DEE535?doi=10.1.1.29.4871&rep=rep1&type=pdf CiteSeer PDF]] [[http://valerieaurora.org/synthesis/SynthesisOS/ch1.html Valerie Aurora HTML]] |
||
* 'The Synthesis Kernel' by Pu, Massalin, and Ioannidis, 1987 [[https://www.usenix.org/legacy/publications/compsystems/1988/win_pu.pdf USENIX PDF]] |
|||
* 'Threads and Input/Output in the Synthesis Kernel', by Pu and Massalin, 1989 [[http://www.cs.princeton.edu/courses/archive/fall05/cos518/papers/synthesis.pdf Princeton PDF]] |
|||
== File System Design == |
== File System Design == |
Revision as of 01:13, 9 May 2016
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
- 'The Case for Crypto Protocol Awareness in the Kernel' by Burnside and Keromytis, 2006 [Academic Commons link page]
- 'Exokernel: An Operating System Architecture for Application-Level Resource Management', by Engler, Kaashoek and O’Toole, 1995 [CiteSeer link page]
- 'Improving IPC by Kernel Design' by Liedtke, 1993 [Yale PDF]
- 'Operating System Virtualization: Practice and Experience' by Laadan and Nieh, 2008 [Academic Commons link page]
- 'An Overview of the Synthesis Operating System' by Pu and Massalin, 1989 [Academic Commons link page]
- 'The Protection of Information in Computer Systems' by Saltzer and Schroeder, 1975 [CiteSeer link page]
- 'Protecting Commodity Operating Systems through Strong Kernel Isolation' by Kemerlis, 2015
- 'Speculative Execution as an Operating System Service' by Locasto and Keromytis, 2006 [Academic Commons link page]
- 'Synthesis: An Efficient Implementation of Fundamental Operating System Services' by Massalin, 1992 [CiteSeer PDF] [Valerie Aurora HTML]
- 'The Synthesis Kernel' by Pu, Massalin, and Ioannidis, 1987 [USENIX PDF]
- 'Threads and Input/Output in the Synthesis Kernel', by Pu and Massalin, 1989 [Princeton PDF]
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]