CPSC 508 Operations Background Schedule Reading Assignment Project Honesty
Home Operations Background Schedule Reading Assignment Project Honesty

Class Schedule

Classes

We are going to meet twice a week for class during which we will be discussing papers and/or have other activities (see schedule below)

Time: Monday/Wednesday 9:30-11:00.

Office hours: After class on Monday / Wednesday.

Schedule

Below is the schedule for the course as of today. It lists the research papers we are going to discuss during the class and the deadlines for the assignments and the project.

There will be a corresponding Canvas Assignment for each paper and submission. You will also find the papers on Canvas.

Readings: As with reviewing papers in a program committee, we will have an online discussion for each paper.
 Task: submit your reviews by 5:00pm the day before the class. (Canvas)

Discussion Lead: Every paper will have a discussion lead who will initiate the discussion. This is basically round-robin. We assign each paper one discussion lead.
 Task: prepare a single slide to initiate the discussion. (see first lecture)

More information about readings and discussion lead in the paper readings page

Week Monday Wednesday
1 Course Introduction (Jan 06)
  • Hand 2005: Are Virtual Machine Monitors Microkernels Done Right? (HotOS'05)
  • Heiser 2006: Are Virtual-Machine Monitors Microkernels Done Right? (OS Rev. Vol 40)
 The Beginning of Timesharing (Jan 08)
  • Corbato 1962: An Experimental Time-Sharing System (AIEE-IRE '62)
  • Dijkstra 1967: The Structure of the THE Multiprogramming System (SOSP '67)
2 Early Virtual Memory (Jan 13)
  • Kilburn 1961: One Level Storage System (IRE Trans on El. Comp. Vol EC-11)
  • Daley 1967: Virtual Memory, Processes, and Sharing in MULTICS (SOSP '67)
 Introduction to Virtual Machines (Jan 15)
  • Meyer 1970: A virtual machine time-sharing system (IBM Sys. J. Vol 9.)
  • Bugnion 1997: Disco: running commodity operating systems on scalable multiprocessors (SOSP'97)
3 Microkernels (Jan 20)
  • Rashid 1986: From RIG to Accent to Mach: The Evolution of a Network Operating System (ACM '86)
  • Liedtke 1995: On micro-kernel Construction (SOSP'95)
 Operating systems in User Space (Jan 22)
  • Engler 1995: Exokernel: An Operating System Architecture for Application-Level Resource Management (SOSP'95)
  • Porter 2011: Rethinking the Library OS from the Top Down (ASPLOS'11)
Assignment 1 due FRIDAY January 24 at 5:00pm
4 Multicore Operating Systems (Jan 27)
  • Baumann 2009: The Multikernel: A New OS Architecture for Scalable Multicore Systems (SOSP '09)
  • Bhardwaj 2021: NrOS: Effective Replication and Sharing in an Operating System (OSDI'21)
 Verified Operating Systems (Jan 29)
  • Klein 2009: seL4: Formal Verification of an OS Kernel (SOSP'09)
  • Nelson 2017: Hyperkernel: Push-Button Verification of an OS Kernel (SOSP'17)
5 Project Proposal Discussions (Feb 03)
We'll do project proposal discussions in class. 		Virtual Machines and Containers (Feb 05)
  • Barham 2003: Xen and the Art of Virtualization (SOSP'03)
  • Agache 2020: Firecracker: Lightweight Virtualization for Serverless Applications (NSDI'20)
Project: Proposal and Research Plan due FRIDAY January 31 at 5:00pm
6 Networking and Operating Systems (Feb 10)
  • Peter 2014: Arrakis: The Operating System is the Control Plane (OSDI'14)
  • Zhang 2021: The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems (SOSP'21)
 OS Configuration (Feb 12)
  • Lefeuvre 2022: FlexOS: Towards Flexible OS Isolation. (ASPLOS'22)
  • Boos 2020: Theseus: an Experiment in Operating System Structure and State Management (OSDI'20)
7 Reading Week (Feb 17)
Reading Week (No classes) 		Reading Week (Feb 19)
Reading Week (No classes)
8 Project Consulting (Feb 24)
Project: First Project Status Meeting 		Safe Kernel Extensibility (Feb 26)
  • Dwivedi 2024: Fast, Flexible, and Practical Kernel Extensions (SOSP'24)
  • Seltzer 1996: Dealing With Disaster: Surviving Misbehaved Kernel Extensions (OSDI'96)
9 New Forms of Safety Checking (Mar 03)
  • Bornholt 2021: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 (SOSP'21)
  • LeBlanc 2024: SquirrelFS: using the Rust compiler to check file-system crash consistency (OSDI'24)
 Confidential VMs (Mar 05)
  • Zhou 2024: VeriSmo: A Verified Security Module for Confidential VMs (OSDI'24)
  • Ahmad 2023: Veil: A Protected Services Framework for Confidential Virtual Machines (ASPLOS'23)
10 System Verification (Mar 10)
  • Lattuada 2024: Verus: A Practical Foundation for Systems Verification (SOSP'24)
  • Cebeci 2024: Practical Verification of System-Software Components Written in Standard C (SOSP'24)
 Project Consulting (Mar 12)
Project: Second Project Status Meeting
11 Scale (Mar 17)
  • Zhou2 2024: Characterizing a Memory Allocator at Warehouse Scale (ASPLOS'24)
  • Jain 2024: Limoncello: Prefetchers for Scale (ASPLOS'24)
 Mar 19
  • Baumann 2019: A fork() in the road (HotOS'19)
  • Castes 2023: Creating Trust by Abolishing Hierarchies (HotOS'23)
12 Micro Kernels II (Mar 24)
  • Hartig 1997: The Performance of μ-Kernel-Based Systems (SOSP'97)
  • Chen 2024: Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel (OSDI'24)
 Mar 26
  • Szekely 2024: Unifying serverless and microservice tasks with SigmaOS (SOSP'24)
Project: Paper Submission (Draft) due FRIDAY March 28 at 5:00pm
13 ASPLOS'25 (Mar 31)
Watch Mothy Roscoe's Keynote at OSDI/ATC 		ASPLOS'25 (Apr 02)
No class.
Project: Paper reviews due FRIDAY April 04 at 5:00pm
14 PC Meeting (Apr 07)
We'll be holding the PC meeting during class today. 		End of Classes (Apr 09)
No Classes
15 Examination Session (Apr 14)
No classes 		Examination Session (Apr 16)
No classes
16 Examination Sessions (Apr 21)
No classes
Project: Final paper due MONDAY Apri 21 at 5:00pm 		Examination Sessions (Apr 23)
No classes