1/20 Wed.  Introduction
R. Levin and D. Redell, "An Evaluation of the Ninth SOSP Submissions/How (and How Not) to Write a Good Systems Paper," ACM SIGOPS Operating Systems Review, vol 17, no 3, July 1983, pp 34-40.

L. Lamport, "Time, Clock, and the Ordering of Events in a Distributed System," CACM, July 1978
Paxos made simple, Paxos
Mencius: Building Efficient Replicated State Machine for WANs OSDI 2008

Miguel Castro, Barbara Liskov, "Practical Byzantine Fault Tolerance" OSDI 1999
J.G. Steiner, C. Neuman, and J.I. Schiller, "Kerberos: An Authentication Service for Open Network Systems," USENIX Winter Conference, February 1988.
J.H. Saltzer, D.P. Reed, and D.D. Clark, "End-to-end arguments in system design," ACM TCS, November 1984.

2/8 Bogdan Dit
M.K. McKusick, W.N. Joy, S.J. Leffler, and R.S. Fabry, "A Fast File System for UNIX," Computer Systems, vol 2, no 3, 1984.
2/10 Feng Yan
M. Rosenblum and J.K. Ousterhout, "The Design and Implementation of a Log-Structured File System," 13th ACM SOSP, 1992.

2/15 Di Wu
Leases: An Efficient Fault-Tolerant Mechnism for Distributed File Cache Consistency, SOSP 1989
2/17 Bo Wu
C.A. Waldspurger, "Memory Resource Management in VMware ESX Server," OSDI 2002.

2/22 Andy Pyles
B. W. Lampson and D. D. Redell, "Experience with Processes and Monitors in Mesa," Communications of the ACM, February 1980.
2/24 George Simmons
A. W. Appel and Kai Li, "Virtual Memory Primitives for User Programs"

3/1 Xin Ruan
S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: A Dynamic Data Race Detector for Multithreaded Programs," SOSP 1997
3/3 Robert Thompson
M. M. Swift, B. N. Bershad, and H. M. Levy, "Improving the Reliability of Commodity Operating Systems," SOSP 2003.


3/6(Sat.)-3/14(Sun.) Spring Break

3/15 Zhengrui Qin ppt, pdf
Borrowed-virtual-time (BVT) scheduling
: supporting latency-sensitive threads in a general-purpose scheduler
No class

3/22 Zhijia Zhao
Eliminating Receive Livelock in an Interrupt-driven Kernel, USENIX 1996
3/24 Bo Dong
T.E. Anderson, B.N. Bershad, E.D. Lzowska, and H.M. Levy, "Scheduler Activations: Effective Kernel Support for the User-level Management of Parallelism," ACM Transactions on Computer Systems, February 1992.

Exokernel: An Operating System Architecture for Application Level Resource Management
3/31 Ziyu Guo
R. v. Behren, J. Condit, F. Zhou, G. C. Necula, and E. Brewer, "Capriccio: Scalable Threads for Internet Services," SOSP 2003

4/5 Kathleen Moore
J.J. Kistler and M. Satyanarayanan, "Disconnected Operation in the Coda File System," ACM Transactions on Computer Systems, February 1992.
A. Muthitacharoen, B. Chen, and D. Mazieres, "A Low-Bandwidth Network File System," SOSP 2001

4/12 Patrick Vaughn
M. Burrows, "The Chubby lock service for loosely-coupled distributed systems," OSDI 2006
No class

4/19 George Simmons
Dynamo: Amazon’s Highly Available Key-value Store, SOSP 2007
Boris Dragovic, Keir Fraser, Steve Hand, Tim Harris, Alex Ho, Ian Pratt, Andrew Warfield, Paul Barham, and Rolf Neugebauer, "Xen and the Art of Virtualization" SOSP 2003.

A comparison of software and hardware techniques for x86 virtualization, ASPLOS
Reference: Intel Virtualization Technology
MACAW: A Media Access Protocol for Wireless LANs, SIGCOMM 1994

4/30 (Fri.) Last day of class

5/4 (Tue.) 9:00-12:00 (Final Exam)

5/16  (Sun.) Commencement

MapReduce: Simplified Data Processing on Large Clusters
Intel Virtualization Technology
A comparison of software and hardware techniques for x86 virtualization
H.M. Levy and P.H. Lipman, "Virtual Memory Management in the VAX/VMS Operating System," IEEE Computer, March 1982.
B. W. Lampson, "Hints for Computer System Design," 9th ACM SOSP.
Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean Rhea, Frans Kaashoek, Robert Morris, "Persistent Personal Names for Globally Connected Mobile Devices" OSDI 2006
J.H. Howard, M.L. Kazar, S.G. Menees, D.A. Nichols, M. Satyanarayanan, N. Sidebotham, and M.J. West, "Scale and Performance in a Distributed File System," ACM Transactions on Computer Systems, February 1988.
FlightPath: Obedience vs. Choice in Cooperative Services OSDI 2008
S. Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System," SOSP 2003.
A.D. Birrell and B.J. Nelson, "Implementing Remote Procedure Calls," ACM Transactions on Computer Systems, February 1984.
Van Jacobson and M.J. Karels, "Congestion Avoidance and Control," SIGCOMM 1988, revised.
R. Anderson, "Why Cryptosystems Fail," 1st Conf. Computer and Comm. Security, 1993.
K. Thompson, "Reflections on Trusting Trust," Turing Award Lecture, CACM, August 1984.

System Architecture Directions for Networked Sensors, ASPLOS
Secure Untrusted Data Repository (SUNDR)
TierStore: A Distributed Filesystem for Challenged Networks in Developing Regions. Michael Demmer, Bowei Du and Eric Brewer FAST 2008