A tentative set of papers that we will cover is listed below, though
the list may change based on the interests of the class.
All students are required to read the papers
before they are presented and will be graded based on apparent
understanding of the material in the papers and contributions to class
discussions on the papers. Students will be asked to
explain various aspects of the papers during class as part of the
discussions.
September 7 - Course Overview
- Roy Levin and David D. Redell, "An Evaluation of the Ninth SOSP Submissions", Operating Systems Review, 17(3), July 1983, pp. 35-40.
- Alan Jay Smith, "The Task of the Referee", IEEE Computer, 23(4), April 1990, pp. 65-71.
September 14 - Hypervisors
- Edouard Bugnion, Scott Devine, and Mendel Rosenblum, "Disco: Running Commodity Operating Systems on Scalable Multiprocessors", Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP), October 1997, Saint Malo, France.
- Christoffer Dall and Jason Nieh, "KVM/ARM: The Design and Implementation of the Linux ARM Hypervisor", Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Salt Lake City, UT, March 2014.
September 21 - Secure Hypervisors
- Shih-Wei Li, John S. Koh, and Jason Nieh, "Protecting Cloud Virtual Machines from Commodity Hypervisor and Host Operating System Exploits", Proceedings of the 28th USENIX Security Symposium (USENIX Security), Santa Clara, CA, August 2019.
- Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, and Gareth Stockwell, "Design and Verification of the Arm Confidential Compute Architecture", Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Carlsbad, CA, July 2022.
September 28 - SeKVM Code Review
October 5 - Containers
- Steven Osman, Dinesh Subhraveti, Gong Su, and Jason Nieh, "The Design and Implementation of Zap: A System for Migrating Computing Environments", Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI), Boston, MA, December 2002.
- Shaya Potter and Jason Nieh, "Apiary: Easy-to-use Desktop Application Fault Containment on Commodity Operating Systems", Proceedings of the 2010 USENIX Annual Technical Conference (USENIX 2010), Boston, MA, June 2010.
October 12 - Secure Containers
- 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.
- Alexander Van't Hof and Jason Nieh, "BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems", Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Carlsbad, CA, July 2022.
October 19 - AWS Infrastructure
- Alexandru Agache, Marc Brooker, Andreea Florescu, Alexandra Iordache, Anthony Liguori, Rolf Neugebauer, Phil Piwonka, and Diana-Maria Popa, "Firecracker: Lightweight Virtualization for Serverless Applications", Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI), Santa Clara, CA, February 2020.
- Marc Brooker, Mike Danilov, Chris Greenwood, and Phil Piwonka, "On-demand Container Loading in AWS Lambda", Proceedings of the 2023 USENIX Annual Technical Conference (USENIX ATC 2023), Boston, MA, July 2023.
October 26 - VM Resource Management
- Carl Waldspurger, "Memory Resource Management in VMware ESX Server", Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI), Boston, MA, December 2002.
- Ajay Gulati, Anne Holler, Minwen Ji, Ganesha Shanmuganathan, Carl Waldspurger, and Xiaoyun Zhu, "VMware Distributed Resource Management: Design, Implementation, and Lessons Learned", VMware Technical Journal, March 2012.
November 2 - Midterm Project Presentations
November 9 - I/O and Nested Virtualization
- Muli Ben-Yehuda, Michael D. 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", Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Vancouver, BC, Canada, October 2010.
- Abel Gordon, Nadav Amit, Nadav Har'El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster, and Dan Tsafrir, "ELI: Bare-Metal Performance for I/O Virtualization", Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), London, UK, March 2012.
November 16 - Container Resource Management
- Abhishek Verma, Luis Pedrosa, Madhukar Korupolu, David Oppenheimer, Eric Tune, and John Wilkes, "Large-scale Cluster Management at Google with Borg", Proceedings of the 7th European Conference on Computer Systems (EuroSys 2015), Bordeaux, France, April 2015.
- Chunqiang Tang, Kenny Yu, Kaushik Veeraraghavan, Jonathan Kaldor, Scott Michelson, Thawan Kooburat, Aravind Anbudurai, Matthew Clark, Kabir Gogia, Long Cheng, Ben Christensen, Alex Gartrell, Maxim Khutornenko, Sachin Kulkarni, Marcin Pawlowski, Tuomas Pelkonen, Andre Rodrigues, Rounak Tibrewal, Vaishnavi Venkatesan, and Peter Zhang, "Twine: A Unified Cluster Management System for Shared Infrastructure", Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Virtual, November 2020.
November 23 - No class
November 30 - TBD
December 7 - Final Project Presentations
|
