1) The Linux Edge (Linus Torvalds, Open Sources: Voices from the Open Source Revolution 1999) Singularity: Rethinking the Software Stack (Hunt and Larus, SIGOPS OSR, 2007) THE (Dijkstra, 1968) Application performance and Flexibility on Exokernel Systems (Kaashoek, Engler, Ganger, Briceno, Hunt, Mazieres, Pinckney, Grimm, Jannotti, and Mackenzie, SOSP, 1997) On Micro-Kernel Construction (Liedtke, SOSP, 1995) notes
Kagi [1997]
The Many Faces of Systems Research - And How To Evaluate Them (Brown, Chanda, Farrow, Fedorova, Maniatis, Scott, HotOS 2005) The Confused Deputy (Hardy, SIGOPS OSR, 1988) lecture notes A Decentralized Model for Information Flow Control (Myers and Liskov, SOSP, 1997) Laminar: Practical Fine-Grained Decentralized Information Flow Control (Roy, Setty, Kilzer, Shmatikov, Witchel, PLDI 2009) Improving Application Security with Data Flow Assertions (Yip, Wang, Zeldovich, and Kaashoek, SOSP, 2009) Why Cryptosystems Fail (Anderson, 1994) Linearizability: A Correctness Condition for Concurrent Objects (Herlihy and Wing, TOPLAS, 1990) Klee: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (Cadar, Dunbar, and Engler, OSDI, 2008) A few billion lines of code later: using static analysis to find bugs in the real world (Bessey, Block, Chelf, Chou, Fulton, Hallem, Henri-Gros, Kamsky, McPeak, Engler, CACM v53 no 2, 2010) Weird things that surprise academics trying to commercialize a static checking tool (Chou, Chelf, Hallem, Hanri-Gros, Fulton, Unangst, Zak, and Engler, SPIN, 2005) EROS: A Fast Capability System (Shapiro, Smith, and Farber, SOSP, 1999) Capsicum: practical capabilities for UNIX (Watson, Anderson, Laurie, Kennaway, USENIX security 2010) notes 2ff7e9595c