1/16 (Th) Classes begin.

1/21 (T)
Paxos (only the basic Paxos protocol), Paxos made simple (for reference, not required to read)
1/23 (Th)
Mencius: Building Efficient Replicated State Machine for WANs OSDI 2008

M. Rosenblum and J.K. Ousterhout, "The Design and Implementation of a Log-Structured File System," 13th ACM SOSP, 1992.
A. W. Appel and Kai Li, "Virtual Memory Primitives for User Programs"

C.A. Waldspurger, "Memory Resource Management in VMware ESX Server," OSDI 2002.
S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: A Dynamic Data Race Detector for Multithreaded Programs," SOSP 1997

2/11 Du Shen
L. Lamport, "Time, Clock, and the Ordering of Events in a Distributed System," CACM, July 1978
Leases: An Efficient Fault-Tolerant Mechnism for Distributed File Cache Consistency, SOSP 1989
2/13 Jianhua Sun
Eliminating Receive Livelock in an Interrupt-driven Kernel, USENIX 1996

2/18 Kevin Moran
R. v. Behren, J. Condit, F. Zhou, G. C. Necula, and E. Brewer, "Capriccio: Scalable Threads for Internet Services," SOSP 2003
2/20 Shasha Wen
Exokernel: An Operating System Architecture for Application Level Resource Management

Midterm Exam

2/25 Jayce Gaines
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.
2/27 Cheng Li
Speedy Transactions in Multicore In-Memory Databases, SOSP 2013

3/4 3/2-3/9 Spring break
3/6 3/2-3/9 Spring break

3/11 Yupeng Gu
MapReduce: Simplified Data Processing on Large Clusters
3/13 Probir Roy
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/18 Tao Wang
A comparison of software and hardware techniques for x86 virtualization, ASPLOS
Reference: Intel Virtualization Technology
3/20 Wenting Tan
Sparrow: Distributed, Low Latency Scheduling, SOSP 2013

3/25 Zhaoliang Duan
Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig. "SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes" SOSP 2007
3/27 Liu Yin
TAO: Facebook's Distributed Data Store for the Social Graph, ATC 2013

4/1 Yue Li
Replication, History, and Grafting in the Ori File System, SOSP 2013
4/3 Eunyoung Cho
S. Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System," SOSP 2003.

4/8 Yue Zhao
Spanner: Google’s Globally-Distributed Database, OSDI 2012
4/10 Tuan Tran
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/15 no class
no class
4/17 Xulong Tang
Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems, ASPLOS 2008

4/22 Zijiang Hao
Making information flow explicit in HiStar OSDI 06
Making information flow explicit in HiStar, CACM 2011,

4/25 (F) Last day of class

Exam 5/1 (Th) 2-5 Spring exam schedule

5/10 Commencement


An Analysis of Linux Scalability to Many Cores OSDI 2010

Spanner: Google’s Globally-Distributed Database, OSDI 2012

Making information flow explicit in HiStar, CACM 2011, OSDI 06 version

An Analysis of Facebook Photo Caching, SOPS 2013

Timecard: controlling user-perceived delays in server-based mobile applications, SOSP 2013

Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, and Peter Vajgel. "Finding a Needle in Haystack: Facebook's Photo Storage" OSDI 2010

Sparrow: Distributed, Low Latency Scheduling, SOSP 2013