the basic Paxos protocol), Paxos
simple (hard to read)
1/24 Aaron Paloski
and R.S. Fabry, "A Fast File
System for UNIX," Computer Systems, vol 2, no 3, 1984.
1/26 Jidong Xiao
Design and Implementation of a
Log-Structured File System," 13th ACM SOSP, 1992.
1/31 Ed Novak
Li, "Virtual Memory Primitives for User Programs"
2/2 Zhang Xu
in VMware ESX Server," OSDI
2/7 Haiyan Zhu
Leases: An Efficient
Fault-Tolerant Mechnism for Distributed File Cache Consistency, SOSP
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.
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
Fault Tolerance" OSDI 1999
2/21 Maxim Kowalski
D. Redell, "Experience
with Processes and Monitors in Mesa," Communications of the ACM,
2/23 Kari Heffner
Nelson, P. Sobalvarro, and T. Anderson, "Eraser:
A Dynamic Data Race Detector for Multithreaded Programs," SOSP 1997
2/28 Weiyi Zhang
Interrupt-driven Kernel, USENIX 1996
3/2 Xin Qi
for Application Level
Midterm 2/25 (F) 3:00PM
3/5(Sat.)-3/13(Sun.) Spring Break
3/14 Lingfei Wu
F. Zhou, G. C. Necula, and E. Brewer, "Capriccio:
Scalable Threads for Internet Services," SOSP 2003
Nichols, M. Satyanarayanan,
N. Sidebotham, and M.J. West, "Scale and Performance in a Distributed
File System," ACM Transactions on Computer Systems, February 1988.
Operation in the Coda
File System," ACM Transactions on Computer Systems, February 1992.
D. Mazieres, "A
Low-Bandwidth Network File System," SOSP 2001
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.
comparison of software and hardware techniques for x86 virtualization,
Simplified Data Processing on Large Clusters
Seshadri, Mark Luk, Ning Qu, Adrian Perrig. "SecVisor: a tiny
hypervisor to provide lifetime kernel code integrity for commodity
Harry C. Li, Jason Sobel, and Peter Vajgel.
"Finding a Needle in Haystack: Facebook's Photo Storage" OSDI 2010
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
for loosely-coupled distributed systems," OSDI 2006
Sangmin Lee, Allen Clement, Lorenzo
Alvisi, Mike Dahlin, and Michael Walfish. "Depot: Cloud Storage with
Minimal Trust" OSDI 2010
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
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
5/15 (Sun.) Commencement
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.