Paper Links for Lectures 13-15

• [L13] Dawson Engler, Benjamin Chelf, Andy Chou, and Seth Hallem. "Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions." In Proc. OSDI 2000. http://www.stanford.edu/~engler//mc-osdi.pdf
• [L13] Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf. "Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code." In Proc. 18th SOSP, 2001. http://www.stanford.edu/~engler//deviant-sosp-01.pdf
• [L14] Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. "An Empirical Study of Operating Systems Errors." In Proc. 18th SOSP, 2001. http://www.stanford.edu/~engler/metrics-sosp-01.pdf
• [L14] Michael Swift, Brian N. Bershad, and Henry M. Levy. "Improving the Reliability of Commodity Operating Systems" ["the Nooks paper"]. In Proc. 19th SOSP, 2003. http://www.cs.washington.edu/homes/mikesw/nooks/nooks-sosp.pdf
• [L14] Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin G\"un Sirer, David Becker, Marc Fiuczynski, Craig Chambers, and Susan Eggers. "Extensibility, Safety and Performance in the SPIN Operating System." In Proc. 15th SOSP, 1995. http://www.cs.washington.edu/research/projects/spin/www/papers/SOSP95/sosp95.ps
• [L15] M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie. "Application performance and flexibility in exokernel systems." In Proc. 16th SOSP, 1997. http://www.pdos.lcs.mit.edu/papers/exo-sosp97/exo-sosp97.ps
  Sections: 1, 3, 4, 7
• [L15] Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, and Olin Shivers. "The Flux OSKit: A Substrate for OS and Language Research." In Proc. 16th SOSP, 1997. http://www.cs.utah.edu/flux/papers/oskit-sosp97-10pt.ps.gz
  Sections: 1, 3, 4, 6