Detailed Schedule

EECS-443 Advanced Operating Systems
Winter 2009

Here is a list of the papers we will discuss and their scheduled dates.

Course introduction and general discussion based on some of the following papers. This is not part of the final exam.

Presenter (Date): Fabian (Jan. 5)
Slides [.pdf]

The papers listed here are fun and full of insight. You should read them even if you are not required to submit a written summary for them.

J. Wilkes, CSP project startup documents, (HPL-CSP-90-42), 11 Oct. 1990 - A great guideline for project proposals.
R. Levin and D. Redell, An evaluation of the ninth SOSP submissions -or- How (and how not) to write a good systems paper, ACM SIGOPS Operating Systems Review 17(3):35-40 (Jul., 1983)
B. Lampson. Hints for Computer System Design. In Proc. of the ACM Symposium on Operating Systems Principles, Dec. 1983.
J. Saltzer, D. Reed and D. Clark. End-to-End Arguments in System Design. ACM Transactions on Computer Systems, 2(4):277-288, November 1984.
R. Gabriel, "Worse is Better", an excerpt (section 2-2.1, pages 7-10) from LISP: good news, bad news, how to win BIG AI Expert, vol. 6, no. 6, June 1991, pp. 31-39.

D.R. Engler et al., Exokernel: An Operating System Architecture for Application-Level Resource Management, In Proc. of the 15th ACM Symposium on Operating System Principles, Dec. 1995.
Presenter (Date): Fabián (1/7)
Slides [.pdf]
Summary [.pdf] (Hongyu Gao)
K. Adams and O. Agesen, A Comparison of Software and Hardware Techniques for x86 Virtualization,
Proc. of the 12th (ASPLOS), 2006.
Presenter (Date): Benjamin Prosnitz (1/12)
Slides [.pdf]
Summary [.pdf] (Lei Xia)
S. Boyd-Wickizer et al, Corey: An Operating System for Many Cores
In Proc. of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2008.
Presenter (Date): Zach Bischof (1/14): TBD (1/14)
Slides [.pdf]
Summary [.pdf] (Mario Sanchez)

Communication: Jan. 19 and 21
- A. D. Birrell and B. J. Nelson. Implementing Remote Procedure Calls, ACM Transaction on Computer Systems, 2(1), Feb. 1984, pp 271-290.
  Presenter (Date): On your own (MLK Day)
  Summary [.pdf] (Benj Prosnitz)
- K. Sripanidkulchai, A. Genjam, B. Maggs and H. Zhang, The feasibility of supporting large-scale live streaming applications with dynamic application end-points, In Proc. of ACM SIGCOMM, Aug-Sep. 2004.
  Presenter (Date): Mario Sanchez (1/21)
  Slides [.pdf]
  Summary [.pdf] (Zach Bischof)
Scheduling and Concurrency: Jan. 26 and 28

G. Banga et al, Resource Containers: A New Facility for Resource Management in Server Systems
Proc. of the 3rd USENIX Symposium on Operating Systems Design and Implementation (OSDI),1999.
Presenter (Date): Stephen Brenner (1/26)
Slides [.pdf]
C. Rossbach et al., TxLinux: Using and Managing Hardware Transactional Memory in an Operating System,
Proc. of the 21st ACM Symposium on Operating Systems Principles (SOSP), 2007.
Presenter (Date): Zach Bischof (1/28)
Slides [.pdf]

Virtual and Shared Memory: Feb. 2 and 4
- D. Gupta et al. Difference Engine: Harnessing Memory Redundancy in Virtual Machines, In Proc. of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2008.
  Presenter (Date): Benjamin Prosnitz (2/2)
  Slides [.pdf]
- G. Voelker et al., Implementing Cooperative Prefetching and Caching in Globally-Managed Memory System,
  In Proc. of ACM SIGMETRICS, 1998.
  Presenter (Date): Stephen Brenner (2/4)
  Slides [.pdf]

E. Nightingale et al., Rethink the Sync, In Proc. of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2006.
Presenter (Date): Yinzhi Cao (2/9)
Slides [.pdf]
S. Ghemawat, H. Gobioff and S-T. Leung, The Google File System, In Proc. of the 19th ACM Symposium on Operating Systems Principles (SOSP), 2003.
Presenter (Date): Hongyu Gao (2/9)
Slides [.pdf]

K. Vishwanath and A. Vahdat, Evaluating Distributed Systems: Does Background Traffic Matter?,
In Proc. of the USENIX Annual Technical Conference, 2008.
Presenter (Date): Mario Sanchez (2/16)
Slides [.pdf]
H. Li et al., FlightPath: Obedience vs. Choice in Cooperative Services ,
In Proc. of the USENIX Operating Systems Design and Implementation (OSDI), 2008.
Presenter (Date): Yinzhi Cao (2/18)
Slides [.pdf]

D. Engler et al. Bugs as Deviant Behavior: A General Approach to Inferring Errors in System Code
In Proc. of the Symposium on Operating Systems Principles (SOSP), 2001.
Presenter (Date): Zachary Bischof(2/23)
Slides [.pdf]
B. Cully et al. Remus: High Availability via Asynchronous Virtual Machine Replication,
In Proc. of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2008.
Presenter (Date): Lei Xia (2/25)
Slides [.pdf]

M. Krohn et al. Information Flow Control for Standard OS Abstractions,
Proc. of the 21th ACM Symposium on Operating Systems Principles (SOSP), 2007.
Presenter (Date): Lei Xia (3/2)
Slides [.pdf]
Y. Xie et al. Spamming Botnets: Signatures and Characteristics,
Proc. of the ACM SIGCOMM, 2009.
Presenter (Date): Hongyu Gao (3/2)
Slides [.pdf]

R. Chandra et al. The Collective: A Cache-Based System Management Architecture,
In Proc. of the 2nd USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2005.
Presenter (Date): Mario Sanchez (3/9)
Slides [.pdf]
H. Wang, J. Platt, Y. Chen, R. Zhang and Y-M. Wang, Automatic Misconfiguration Troubleshooting with PeerPressure, In Proc. of ACM/USENIX Symposium on Operating Systems Design and Implementation, Dec. 2004.
Presenter (Date): Fabián (3/11)
Slides [.pdf]

Conference-style presentations of your project reports.

Fabián E. Bustamante

Last modified: Thu Aug 8 16:09:19 CDT 2006