OPERATING SYSTEMS IICOMS E6118, Dept of Computer Science, Columbia University
Home | Lectures | Projects | Students | Discussion | 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. 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 Electronic Classroom and we strongly encourage you to use the presentation equipment available there. You may also use other presentation media, but you will be responsible for providing your own A/V equipment.

January 22 - NO CLASS, please read:

January 29 - Principles of Computer Systems
February 5 - Virtualization
February 12 - Advanced Virtualization
February 19 - Containers
February 26 - Advanced Containers

  • Jeremy Andrus, Christoffer Dall, Alex Van't Hof, Oren Laadan, and Jason Nieh, "Cells: A Virtual Mobile Smartphone Architecture", Proceedings of the 23rd Symposium on Operating Systems Principles (SOSP), Cascais, Portugal, October 2011.

  • Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, Andre Martin, Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O'Keeffe, Mark L Stillwell, David Goltzsche, Dave Eyers, Rudiger Kapitza, Peter Pietzuch, and Christof Fetzer, "SCONE: Secure Linux Containers with Intel SGX", Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Savannah, GA, November 2016. (Zixiong)
March 5 - TBD
March 12 - Midterm project presentations
March 19 - Spring break, no class
March 26 - Verified Operating Systems

  • Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood, "seL4: Formal Verification of an OS Kernel", Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP), Big Sky, MT, October 2009.

  • Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjoberg, and David Costanzo, "CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels", Proceedings of the 12th Symposium on Operating Systems Design and Implementation (OSDI), Savannah, GA, November 2016.
April 2 - Potpourri

  • Tyler Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, "A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications", Proceedings of the 23rd Symposium on Operating Systems Principles (SOSP), Cascais, Portugal, October 2011. (Fan)

  • 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 22nd ACM Symposium on Operating Systems Principles (SOSP 2009), Big Sky, MT, October 2009. (Dan)
April 9 - Google Infrastructure

  • Jeffrey Dean and Sanjay Ghemawat, "MapReduce: Simplified Data Processing on Large Clusters", Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI 2004), San Francisco, CA, December 2004. (Wufan)

  • James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, and Dale Woodford, "Spanner: Google's Globally-Distributed Database", Proceedings of the 10th Symposium on Operating Systems Design and Implementation (OSDI 2012), Hollywood, CA, October 2012. (Kangwei)
April 16 - Systems for Machine Learning

  • Martin Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng, "TensorFlow: A System for Large-Scale Machine Learning", Proceedings of the 12th Symposium on Operating Systems Design and Implementation (OSDI 2016), Savannah, GA, November 2016. (Bicheng)

  • Kexin Pei, Yinzhi Cao, Junfeng Yang, and Suman Jana, "DeepXplore: Automated Whitebox Testing of Deep Learning Systems", Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP 2017), Shanghai, China, October 2017. (Andrew)
April 23 - TBD
April 30 - Final project presentations

Jason Nieh, nieh@cs.columbia.edu