1/16 (W) Classes begin.

Paxos (only the basic Paxos protocol), Paxos made simple (for reference, not required to read)

1/21 (M) MLK day -- no class
1/23 (W) Wei
Mencius: Building Efficient Replicated State Machine for WANs OSDI 2008

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

2/4 -- no class
2/6 Christopher
C.A. Waldspurger, "Memory Resource Management in VMware ESX Server," OSDI 2002.

2/11 Lifu
S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: A Dynamic Data Race Detector for Multithreaded Programs," SOSP 1997
2/13 Brett
Eliminating Receive Livelock in an Interrupt-driven Kernel, USENIX 1996

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

Midterm Exam

2/25 Amberly
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 Shanhe
Frangipani: A Scalable Distributed File System, SOSP'97

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

3/11 Mario
A. Muthitacharoen, B. Chen, and D. Mazieres, "A Low-Bandwidth Network File System," SOSP 2001
3/13 Yutao Tang
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 Daiping
A comparison of software and hardware techniques for x86 virtualization, ASPLOS
Reference: Intel Virtualization Technology
3/20 Fengyuan
V-edge: Fast Self-constructive Power Modeling of Smartphones Based on Battery Voltage Dynamics, NSDI 2013

3/25 Evan
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 Pallavi
Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, and Peter Vajgel. "Finding a Needle in Haystack: Facebook's Photo Storage" OSDI 2010

4/1 -- no class optional: Disruptive Innovation: Data Domain Experience -- Kai Li's FAST 2013 keynote
4/3 -- no class

4/8 Victoria
Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Mike Burrows, Tushar Chandra, Andrew Fikes, and Robert E. Gruber, "Bigtable: A Distributed Storage System for Structured Data" OSDI 2006
4/10 Ed
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 Andrew
Pasture: Secure Offline Data Access Using Commodity Trusted Hardware OSDI 2012
4/17 Kevin
MapReduce: Simplified Data Processing on Large Clusters

4/22 Yifan
Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems, ASPLOS 2008
worse is better? optional: more arguments

4/26 (F) Last day of class

Exam 5/2 (Th) 9-12 Spring exam schedule

5/12 Commencement