Paxos (only the basic Paxos protocol), Paxos made simple (hard to read)

1/24 Aaron Paloski
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.
1/26 Jidong Xiao
M. Rosenblum and J.K. Ousterhout, "The Design and Implementation of a Log-Structured File System," 13th ACM SOSP, 1992.

1/31 Ed Novak
A. W. Appel and Kai Li, "Virtual Memory Primitives for User Programs"
2/2 Zhang Xu
C.A. Waldspurger, "Memory Resource Management in VMware ESX Server," OSDI 2002.

2/7 Haiyan Zhu
Leases: An Efficient Fault-Tolerant Mechnism for Distributed File Cache Consistency, SOSP 1989
2/9 Haitao Xu (present 2 papers)
L. Lamport, "Time, Clock, and the Ordering of Events in a Distributed System," CACM, July 1978
J.G. Steiner, C. Neuman, and J.I. Schiller, "Kerberos: An Authentication Service for Open Network Systems," USENIX Winter Conference, February 1988.

2/14 Seyed Amir Iranmanesh
Mencius: Building Efficient Replicated State Machine for WANs OSDI 2008
2/16 Mingzhou Zhou
Miguel Castro, Barbara Liskov, "Practical Byzantine Fault Tolerance" OSDI 1999
Some explanation

2/21 Maxim Kowalski
B. W. Lampson and D. D. Redell, "Experience with Processes and Monitors in Mesa," Communications of the ACM, February 1980.
2/23 Kari Heffner
S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: A Dynamic Data Race Detector for Multithreaded Programs," SOSP 1997

2/28 Weiyi Zhang
Eliminating Receive Livelock in an Interrupt-driven Kernel, USENIX 1996
3/2 Xin Qi
Exokernel: An Operating System Architecture for Application Level Resource Management

Midterm 2/25 (F) 3:00PM

3/5(Sat.)-3/13(Sun.) Spring Break

3/14 Lingfei Wu
R. v. Behren, J. Condit, F. Zhou, G. C. Necula, and E. Brewer, "Capriccio: Scalable Threads for Internet Services," SOSP 2003
3/16 Haiyan
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.

3/21 Haitao
J.J. Kistler and M. Satyanarayanan, "Disconnected Operation in the Coda File System," ACM Transactions on Computer Systems, February 1992.
3/23 Ed
A. Muthitacharoen, B. Chen, and D. Mazieres, "A Low-Bandwidth Network File System," SOSP 2001

3/28 Zhang
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.
3/30 Jidong
A comparison of software and hardware techniques for x86 virtualization, ASPLOS
Reference: Intel Virtualization Technology


4/6 Mingzhou
MapReduce: Simplified Data Processing on Large Clusters


4/18 Seyed
Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig. "SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes" SOPS 2007
Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, and Peter Vajgel. "Finding a Needle in Haystack: Facebook's Photo Storage" OSDI 2010
4/20 Weiyi
Muli Ben-Yehuda, Michael D. Day, Zvi Dubitzky, Michael Factor, Nadav Har'El, Abel Gordon, Anthony Liguori, Orit Wasserman and Ben-Ami Yassour. "The Turtles Project: Design and Implementation of Nested Virtualization" OSDI 2010
M. Burrows, "The Chubby lock service for loosely-coupled distributed systems," OSDI 2006

4/25 Kari
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish. "Depot: Cloud Storage with Minimal Trust" OSDI 2010
William Enck, Peter Gilbert, Byung-gon Chun, Landon P. Cox, Jaeyeon Jung, Patrick McDaniel, Anmol N. Sheth. "TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones" OSDI 2010
4/27 Lingfei
B. W. Lampson, "Hints for Computer System Design," 9th ACM SOSP.

4/29 (Fri.) Last day of class

5/11 (Wed.) 9:00-12:00 (Final Exam)

5/15  (Sun.) Commencement

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.