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
|