I populate this table from this Google Doc, in case you are interested.

Date Slides Topic Reading
1/8 [gdoc] Intro None
1/10 [pdf] History OSTEP chapter 2.6 and chapter 5
1/15 [pdf] Threads1 OSTEP chapter 4
1/17 [pdf] Threads2 OSTEP chapter 26
Quiz 1 in class
1/22 [pdf] Threads3 OSTEP chapter 28, 29
Project groups due
1/24 NO CLASS Project choice due
1/29 [pdf] Threads4 OSTEP chapter 30
Quiz 2 in class
1/31 [pdf] Threads5 OSTEP Chapter 6
2/5 [pdf] Threads6 OSTEP Chapters 12-24 have good coverage of the virtual memory abstraction, which will be important for the papers we read in this class.
Quiz 3 in class
2/7 No class VMM Scale and performance in the Denali isolation kernel. Whitaker, A., Shaw, M., and Gribble, S. D. 2002. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation
Project proposal due,
2/12 [Meetings] Exokernel Application performance and flexibility on exokernel systems. M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie. In the Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP '97), Saint-Malô, France, October 1997.
2/13 [gdoc] Discussion Quiz 4 on VMM and Exokernel
2/14 [Meetings] Monolithic Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, and Vikram Adve. Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation. In Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, (ASPLOS ’15), pages 191–206, New York, NY, USA, 2015. ACM
2/19 [Meetings] BigTable Bigtable: A Distributed Storage System for Structured Data. Fay Chang , Jeffrey Dean , Sanjay Ghemawat , Wilson C. Hsieh , Deborah A. Wallach , Mike Burrows , Tushar Chandra , Andrew Fikes , Robert E. Gruber, OSDI'06: Seventh Symposium on Operating System Design and Implementation, Seattle, WA, November, 2006.
2/20 Discussion Quiz 5 on Nested Kernel + BigTable
2/21 [Meetings] Raft In Search of an Understandable Consensus Algorithm by Diego Ongaro and John Ousterhout. 2014 USENIX Annual Technical Conference. [Conference video]
2/26 [Meetings] Spanner Spanner: Google's Globally-Distributed Database. 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. Published in the Proceedings of OSDI'12: Tenth Symposium on Operating System Design and Implementation, Hollywood, CA, October, 2012. [Conference Video]
2/27 Discussion Quiz 6 on Raft and Spanner
2/28 [Meetings] Bitcoin Bitcoin: A Peer-to-Peer Electronic Cash System
3/5 [Meetings] Meetings No papers, meetings only
3/6 [gdoc] Discussion We'll talk about what to expect with your presentation. No quiz
3/7 [Meetings] Meetings No papers, meetings only
3/12
  • 404NotFound
  • Algorand
  • Daxian
  • DevOS
  • File System Design
  • Group 1
 Final presentations
3/13
  • KDT
  • Mujo
  • OS Empire
 Final presentations
3/14
  • Punch Card Programmers
  • Rocket
  • tacOS
  • Team Gucci
  • The last four
  • Wahuly
 Final presentations
3/20 Final project due Final project due @ 12:30pm