Lecture W1-1: overview of the course, recap of basic OS principles
Lecture W1-2: recap of basic OS principles
Week 2: virtual machines I
Lecture W2-1: lecture
Lecture W2-2: lecture
Week 3: virtual machines II
Lecture W3-1: lecture
Lecture W3-2: lecture, student presentation
Paper: Paper: 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." In Proc. USENIX OSDI, 2010. (link).
Presenters: Zhihao Yao, Yingtong Liu
Due date: April. 20: project proposal
Week 4: secure execution
Lecture W4-1: lecture
Lecture W4-2: lecture, student presentation
Paper: Bennet Yee, David Sehr, Gregory Dardyk, J. Bradley Chen, Robert Muth, Tavis Ormandy, Shiki Okasaka, Neha Narula, and Nicholas Fullagar. "Native Client: A Sandbox for Portable, Untrusted x86 Native Code." In Proc. IEEE Security and Privacy, 2009. (link)
Presenters: Pai-Chun Wang and Haodong Zhou
Week 5: scalability & concurrency
Lecture W5-1: lecture
Lecture W5-2: lecture, student presentation
Paper: Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, and Eddie Kohler. "The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors." In Proc. ACM SOSP, 2013. (link).
Presenters: Kyoungwon Kim, Claudio Parra
Week 6: heterogeneous systems
Lecture W6-1: lecture
Lecture W6-2: lecture, student presentation
Paper: Felix Xiaozhu Lin, Zhen Wang, and Lin Zhong. "K2: A Mobile Operating System for Heterogeneous Coherence Domains." In Proc. ACM ASPLOS, 2014. (link).
Presenter: Maruf Zaber and Janus Vermanken
Week 7: non-monolithic OSes
Lecture W7-1: lecture
Lecture W7-2: lecture, student presentations
Paper: Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, and Galen C. Hunt. "Rethinking the Library OS from the Top Down." In Proc. ACM ASPLOS, 2011. (link).
Presenter: Arpita Venkatesh Huddar
Due date: May. 18: midterm project report
Week 8: record and replay
Lecture W8-1: lecture.
Lecture W8-2: lecture, student presentations
Paper: David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, and Peter M. Chen. "Eidetic Systems." In Proc. USENIX OSDI, 2014. (link).
Presenter: Avinash Nath Aita
Week 9: speculation
Lecture W9-1: lecture
Lecture W9-2: lecture, student presentation
Paper: Brendan Cully, Geoffrey Lefebvre, Dutch Meyer, Mike Feeley, Norm Hutchinson, and Andrew Warfield. "Remus: High Availability via Asynchronous Virtual Machine Replication." In Proc. USENIX NSDI, 2008. (link).
Presenter: Ali Mansour Alsuliman
Week 10: device drivers & final presentations
Lecture W10-1: lecture
Lecture W10-2: lecture, student presentations
Paper: Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, and Henry M. Levy. "Recovering Device Drivers." In Proc. USENIX OSDI, 2004. (link).