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

CMU 15-712: Advanced OS & Distributed Systems (Fall 2015)
Collection of 15-712 Staff

Description:

Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial
FRED B. SCHNEIDER
past deadline, was Nov 16 2015, 14:55
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
Eddie Kohler, Robert T. Morris, Nickolai Zeldovich, Frans Kaashoek, Austin T. Clements
past deadline, was Oct 30 2015, 14:55
Safe Kernel Extensions Without Run-Time Checking
Peter Lee, George C. Necula
past deadline, was Oct 28 2015, 14:55
Scaling Distributed Machine Learning with the Parameter Server
James Long, Vanja Josifovski, Amr Ahmed, Alexander Smola, Jun W Park, David Andersen, Mu Li
past deadline, was Oct 21 2015, 14:55
Memory Coherence in Shared Virtual Memory Systems
Paul Hudak, Kai Li
past deadline, was Oct 21 2015, 14:55
Spanner: Google’s Globally-Distributed Database
Sanjay Ghemawat, JJ Furman, Christopher Frost, Andrew Fikes, Michael Epstein, Jeffrey Dean, James Corbett
past deadline, was Oct 14 2015, 14:55
Naiad: A Timely Dataflow System
Mart ́ın Abadi, Paul Barham, Michael Isard, Rebecca Isaacs, Frank McSherry, Derek G. Murray
past deadline, was Oct 12 2015, 14:55
Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing
Michael Franklin, Murphy McCauley, Justin Ma, Ankur Dave, Tathagata Das, Mosharaf Chowdhury, Matei Zaharia
past deadline, was Oct 09 2015, 14:55
Exploiting virtual synchrony in distributed systems
Thomas Joseph, Ken Birman
past deadline, was Sep 01 2015, 14:55
Distributed Snapshots: Determining Global States of Distributed Systems
Leslie Lamport, K. Mani Chandy
past deadline, was Sep 25 2015, 14:55
Using Model Checking to Find Serious File System Errors
Madanlal Musuvathi, Dawson Engler, Paul Twohey, Junfeng Yang
past deadline, was Sep 23 2015, 14:55
The UNIX Time-Sharing System
D. M. Ritchie, K. Thompson
past deadline, was Sep 11 2015, 14:55
Paxos Made Simple
Leslie Lamport
past deadline, was Nov 18 2015, 14:55
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 Oct 28 2015, 14:55
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 Oct 02 2015, 14:55
Hints for Computer System Design
Butler W. Lampson
past deadline, was Sep 11 2015, 14:55
Why Cryptosystems Fail
Ross Anderson
past deadline, was Nov 30 2015, 14:55
The Byzantine General's Problem
Leslie Lamport,
past deadline, was Nov 23 2015, 14:55
Concurrency Control and Recovery
Michael J. Franklin
past deadline, was Nov 11 2015, 14:55
On Optimistic Methods for Concurrency Control
H. T. Kung, John T. Robinson
past deadline, was Nov 09 2015, 14:55
MapReduce: Simplified Data Processing on Large Clusters.
Jeffrey Dean, Sanjay Ghemawat
past deadline, was Oct 09 2015, 14:55
The Design and Implementation of a Log-Structured File System
Mendel Rosenblum, John K. Ousterhout
past deadline, was Sep 30 2015, 14:55
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 Sep 28 2015, 14:55
A Case for Redundant Arrays of Inexpensive Disks (RAID)
David A. Patterson, Garth Gibson, Randy H. Katz
past deadline, was Oct 02 2015, 14:55
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs.
Michael Burrows, Greg Nelson, Patrick Sobalvarro, Stefan Savage, Thomas Anderson
past deadline, was Sep 21 2015, 14:55
Time, Clocks, and the Ordering of Events in a Distributed System.
Leslie Lamport
past deadline, was Sep 18 2015, 14:55
Using threads in interactive systems: A case study
Carl Hauser, Christian Jacobi, Marvin Theimer, Brent Welch, Mark Weiser
past deadline, was Sep 16 2015, 14:55
Implementing Remote Procedure Call
A. D. Birrell, B. J. Nelson
past deadline, was Sep 14 2015, 14:55
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 Oct 19 2015, 14:55
End-To-End Arguments In System Design
Jerome H. Saltzer, David D. Clark, David P. Reed
past deadline, was Sep 11 2015, 14:55