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 4 - 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 11 - Hypervisors
- Edouard Bugnion, Scott Devine, Mendel Rosenblum, Jeremy Sugerman, and Edward Wang, "Bringing Virtualization to the x86 Architecture with the Original VMware Workstation", ACM Transactions on Computer Systems (TOCS), November 2012.
- 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 18 - 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 25 - No class
October 2 - 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.
October 9 - Containers and Secure 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.
- 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 16 - Container Resource Management and Orchestration
- 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.
October 23 - File Systems
- Diyu Zhou, Vojtech Aschenbrenner, Tao Lyu, Jian Zhang, Sudarsun Kannan, Sanidhya Kashyap, "Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture", Proceedings of the 29th ACM Symposium on Operating Systems Principles (SOSP), Koblenz, Germany, October 2023.
- Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung, "The Google File System", Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP), Bolton Landing, NY USA, October 2003.
October 30 - Midterm Project Presentations
November 6 - Storage
- Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, and Peter Vajgel, "Finding a Needle in Haystack: Facebook's Photo Storage", Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Vancouver, BC Canada, October 2010.
- Brad Calder, Ju Wang, Aaron Ogus, Niranjan Nilakantan, Arild Skjolsvold, Sam McKelvie, Yikang Xu, Shashwat Srivastav, Jiesheng Wu, Huseyin Simitci, Jaidev Haridas, Chakravarthy Uddaraju, Hemal Khatri, Andrew Edwards, Vaman Bedekar, Shane Mainali, Rafay Abbasi, Arpit Agarwal, Mian Fahim ul Haq, Muhammad Ikram ul Haq, Deepali Bhardwaj, Sowmya Dayanand, Anitha Adusumilli, Marvin McNett, Sriram Sankaran, Kavitha Manivannan, and Leonidas Rigas, "Windows Azure Storage: A Highly Available Cloud Storage Service with Strong Consistency", Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais, Portugal, October 2011.
November 13 - Quantum OSes
- Emmanouil Giortamis, Francisco Romão, Nathaniel Tornow, and Pramod Bhatotia, "QOS: Quantum Operating System", Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Boston, MA, July 2025.
- Runzhou Tao, Hongzheng Zhu, Jason Nieh, Jianan Yao, and Ronghui Gu, "Quantum Virtual Machines", Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Boston, MA, July 2025.
November 20 - TBD
November 27 - No class
December 4 - Final Project Presentations
|
