OPERATING SYSTEMS IICOMS E6118, Dept of Computer Science, Columbia University
Home | Lectures | Projects | Students | Resources

The dates and students assigned for each paper presentation are listed below. For each paper, one student is assigned to present the paper. The presentation should present a technical overview of the paper and argue the merits and flaws of the paper. The other students in the class will then take sides and render judgement on the paper in a manner similar to what is done by a program committee for a technical conference. Each paper presentation should be 25-30 minutes, including discussion. There will be 2 paper presentations per class. All students are required to read the papers before they are presented.

Presentations will be graded based on apparent understanding of the material in the paper, presentation style, and entertainment value. All students will be expected to make paper presentations. To avoid being assigned a paper that you do not want to present, you should volunteer early for your paper selection. If a paper has not yet been assigned two student presenters and you would like to volunteer to present it, just send email to the instructor to sign up.

In creating your presentations, you are free to use any additional material beyond the content of the paper. For instance, you can reference other papers that may discuss similar work. However, the presentation should represent your own viewpoint, and you should clearly cite any other work you use for your presentations. Failure to make proper citations will adversely affect your presentation grade.

The class will be held in an AcIS Electronic Classroom and we strongly encourage you to use the presentation equipment available there. This link describes the facilities available. You may also use other presentation media, but you will be responsible for providing your own A/V equipment.

January 17 - First day of class

January 24
January 31
February 7
February 14

  • Thomas Bressoud and Fred Schneider, "Hypervisor-based Fault-tolerance", Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles (SOSP 1995), Copper Mountain, CO, December 1995. (Ashish)

  • Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, and M. Frans Kaashoek, "R2: An Application-Level Kernel for Record and Replay", Proceedings of the Eighth Symposium on Operating Systems Design and Implementation, San Diego, CA, December 2008. (Nico)
February 21

  • Joseph Tucek, Weiwei Xiong, and Yuanyuan Zhou, "Efficient Online Validation with Delta Execution", Proceedings of the Fourteenth International Conference on Architecture Support for Programming Languages and Operating Systems, Washington, DC, March 2009. (Nico)

  • Taesoo Kim, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek, "Intrusion Recovery Using Selective Re-execution", Proceedings of the Ninth Symposium on Operating Systems Design and Implementation, Vancouver, BC, Canada, October 2010. (Phil)
February 28
March 6 - Midterm project presentations
March 13 - Spring break, no class
March 20
March 27
April 3
April 10

  • Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, "Enhancing Server Availability and Security Through Failure-Oblivious Computing", Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI 2004), San Francisco, California, December 2004. (Ashish)

  • Jeff H. Perkins, Sunghun Kim, Sam Larsen, Saman Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, and Martin Rinard, "Automatically Patching Errors in Deployed Software", Proceedings of the Twenty-second ACM Symposium on Operating Systems Principles (SOSP 2009), Big Sky, Montana, October 2009. (Sid)
April 17 - Final project presentations
April 24 - Final project presentations

Jason Nieh, nieh@cs.columbia.edu