papers | collections | search login | register | forgot password?

CMU 15-712: Advanced OS & Distributed Systems (Spring 2010)
Collection of Iulian Moraru

Description: Graduate-level Operating Systems course at Carnegie Mellon University. Reading list with an infrastructure for submitting summaries.

SecVisor: A Tiny Hypervisor to Provide Lifetime Kernel Code Integrity for Commodity OSes
Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig
past deadline, was Apr 26 2010, 15:02
Terra: A Virtual Machine-Based Platform for Trusted Computing
Garfinkel Tal, Pfaff Ben, Chow Jim, Rosenblum Mendel, Boneh Dan
past deadline, was Apr 26 2010, 15:02
The Protection of Information in Computer Systems
Jerome H. Saltzer, Michael D. Schroeder
past deadline, was Apr 12 2010, 15:02
Crisis and Aftermath
Eugene H. Spafford
past deadline, was Apr 07 2010, 15:02
Paxos Made Simple
Leslie Lamport
past deadline, was Mar 31 2010, 15:02
The Multikernel: A new OS architecture for scalable multicore systems
Simon Peter, Timothy Roscoe, Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs
past deadline, was Feb 17 2010, 15:02
Application performance and flexibility on exokernel systems
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, H{\'e}ctor Brice{\~n}o, Russell Hunt, David Mazi{\`e}res, Thomas Pinckney, Robert Grimm, John Jannotti, Kenneth Mackenzie
past deadline, was Feb 15 2010, 15:02
Extensibility, Safety and Performance in the SPIN Operating System
David Becker, Craig Chambers, Brian N. Bershad, Stefan Savage, Premyslaw Pardyak, Emin Gun Sirer, Marc E. Fiuczynski
past deadline, was Feb 15 2010, 15:02
Dryad: Distributed Data-Parallel Programs from Sequential Building Blocks
Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly
past deadline, was Feb 12 2010, 15:02
Disk failures in the real world: What does an MTTF of 1,000,000 hours mean to you?
Bianca Schroeder, Garth A. Gibson
past deadline, was Jan 27 2010, 15:02
A Logic of Authentication
Michael Burrows, Roger Needham
past deadline, was Apr 19 2010, 15:02
Why Cryptosystems Fail
Ross Anderson
past deadline, was Apr 07 2010, 15:02
Reflections on Trusting Trust
Ken Thompson
past deadline, was Apr 07 2010, 15:02
Practical Byzantine Fault Tolerance
Miguel Castro, Barbara Liskov
past deadline, was Apr 05 2010, 15:02
The Byzantine General's Problem
Leslie Lamport,
past deadline, was Apr 05 2010, 15:02
Bigtable: A Distributed Storage System for Structured Data
Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Mike Burrows, Tushar Chandra, Andrew Fikes, Robert E. Gruber
past deadline, was Mar 24 2010, 15:02
Concurrency Control and Recovery
Michael J. Franklin
past deadline, was Mar 22 2010, 15:02
Efficient Locking for Concurrent Operations on B-Trees
Philip L. Lehman, S. Bing Yao
past deadline, was Mar 01 2010, 15:02
On Optimistic Methods for Concurrency Control
H. T. Kung, John T. Robinson
past deadline, was Feb 22 2010, 15:02
MapReduce: Simplified Data Processing on Large Clusters.
Jeffrey Dean, Sanjay Ghemawat
past deadline, was Feb 12 2010, 15:02
The Google File System
Sanjay Ghemawat, Howard Gobioff, Shun-Tak Leung
past deadline, was Feb 05 2010, 15:02
A Cost-Effective, High-Bandwidth Storage Architecture
Garth A. Gibson, David F. Nagle, Khalil Amiri, Jeff Butler, Fay W. Chang, Howard Gobioff, Charles Hardin, Erik Riedel, David Rochberg, Jim Zelenka
past deadline, was Feb 05 2010, 15:02
The Design and Implementation of a Log-Structured File System
Mendel Rosenblum, John K. Ousterhout
past deadline, was Feb 03 2010, 15:02
Separating data and control transfer in distributed operating systems
Chandramohan A. Thekkath, Henry M. Levy, Edward D. Lazowska
past deadline, was Feb 01 2010, 15:02
Scale and performance in a distributed file system
John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols, M. Satyanarayanan, Robert N. Sidebotham, Michael J. West
past deadline, was Jan 29 2010, 15:02
A Case for Redundant Arrays of Inexpensive Disks (RAID)
David A. Patterson, Garth Gibson, Randy H. Katz
past deadline, was Jan 27 2010, 15:02
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs.
Michael Burrows, Greg Nelson, Patrick Sobalvarro, Stefan Savage, Thomas Anderson
past deadline, was Jan 25 2010, 15:02
Time, Clocks, and the Ordering of Events in a Distributed System.
Leslie Lamport
past deadline, was Jan 22 2010, 15:02
Using threads in interactive systems: A case study
Carl Hauser, Christian Jacobi, Marvin Theimer, Brent Welch, Mark Weiser
past deadline, was Jan 20 2010, 15:02
Implementing Remote Procedure Call
A. D. Birrell, B. J. Nelson
past deadline, was Jan 13 2010, 15:02
Dynamo: Amazon's Highly Available Key-value Store
Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, Werner Vogels
past deadline, was Mar 29 2010, 15:02