Academic Papers: Difference between revisions

From OSDev.wiki
Jump to navigation Jump to search
[unchecked revision][unchecked revision]
Content added Content deleted
VisualWikitext
No edit summary
m (Reverted edits by Kukuva (talk) to last revision by Carver)
 
Line 1: Line 1:
Note that most of these links are to PDF files, some of which can be downloaded directly.
[[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]][[File:dayn.jpg]]

== 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]]

* '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 ==
* 'ChunkFS' by Aurora, 2006 [[http://usenix.org/event/hotdep06/tech/prelim_papers/henson/henson.pdf usenix.org PDF]] [[http://usenix.org/event/hotdep06/tech/prelim_papers/henson/henson_html/ usenix.org HTML]] [[http://valerieaurora.org/review/chunkfs.pdf Valerie Aurora PDF]]

* 'Improving File System Reliability and Availability with Continuous Checker and Repair' by Gunawi, 2011 [[http://nma.berkeley.edu/ark:/28722/bk0009d284g UC Berkeley PDF]]

* 'Repair-Driven File System Design' by Aurora, 2006 [[http://valerieaurora.org/review/repair.pdf Valerie Aurora PDF]]

* 'Using Declarative Invariants for Protecting File-System Integrity' Sun, et. al., 2006 [[http://sigops.org/sosp/sosp11/workshops/plos/06-sun.pdf SIGOPS PDF]]

== Security ==
* 'Bro: A System for Detecting Network Intruders in Real-Time' by Paxson, 1999 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.261 CiteSeer 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]]

== Distributed Systems ==
* 'An Integrated Experimental Environment for Distributed Systems and Networks', by White et. al., 2002 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.3768 CiteSeer link page]]

* 'Unreliable Failure Detectors for Reliable Distributed Systems' by Chandra and Toueg, 1996 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.498 CiteSeer link page]]

* 'Virtual Time and Global States of Distributed Systems', Mattern, 1988 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.2620 CiteSeer link page]]

== Specific Implementation Techniques ==
* 'PCLSRing: Keeping Process State Modular', Bawden, 1989 (unpublished draft) [http://www.hack.org/mc/texts/pclsr.txt hack.org repository]

[[Category:Resources]]

Latest revision as of 17:23, 6 June 2024

Note that most of these links are to PDF files, some of which can be downloaded directly.

Kernel Design

  • '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]
  • 'The Protection of Information in Computer Systems' by Saltzer and Schroeder, 1975 [CiteSeer link page]
  • '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

  • 'Improving File System Reliability and Availability with Continuous Checker and Repair' by Gunawi, 2011 [UC Berkeley PDF]
  • 'Using Declarative Invariants for Protecting File-System Integrity' Sun, et. al., 2006 [SIGOPS PDF]

Security

  • 'Bro: A System for Detecting Network Intruders in Real-Time' by Paxson, 1999 [CiteSeer link page]
  • 'The Protection of Information in Computer Systems' by Saltzer and Schroeder, 1975 [CiteSeer link page]

Distributed Systems

  • 'An Integrated Experimental Environment for Distributed Systems and Networks', by White et. al., 2002 [CiteSeer link page]
  • 'Unreliable Failure Detectors for Reliable Distributed Systems' by Chandra and Toueg, 1996 [CiteSeer link page]
  • 'Virtual Time and Global States of Distributed Systems', Mattern, 1988 [CiteSeer link page]

Specific Implementation Techniques

  • 'PCLSRing: Keeping Process State Modular', Bawden, 1989 (unpublished draft) hack.org repository
Retrieved from "https://osdev.wiki/wiki/Academic_Papers?oldid=490"