Course Schedule

Date	Lectures Topics	Presenter	Reading	Assignment
Tue 1/26	Class overview	Dr. Yinzhi Cao
Thu 1/28	OS Structure and Kernel	Dr. Yinzhi Cao
Tue 2/2	Process	Dr. Yinzhi Cao
Thu 2/4	Kernel Paper Presentation	Defense: Robert Brotzman-Smith  Offense: Song Li	Decoupling Cores, Kernels, and Operating Systems
Tue 2/9	Thread & Synchronization	Dr. Yinzhi Cao
Thu 2/11	Synchronization Paper Presentation	Defense: Varun Sharma Offense: Andrew Kline	Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
Tue 2/16	Memory	Dr. Yinzhi Cao
Thu 2/18	Virtual Memory	Dr. Yinzhi Cao		HW1 Out
Tue 2/23	Deterministic Multithreading Paper Presentation	Defense: Pantea Zardoshti  Offense: Andrew Kline	DTHREADS: Efficient Deterministic Multithreading
Thu 2/25	File Systems	Dr. Yinzhi Cao
Tue 3/1	Distributed File Systems	Dr. Yinzhi Cao
Thu 3/3	File System Paper Presentation	Defense: Zhenqiang Li Offense: Yi Hu	Skylight A Window on Shingled Disk Operation	HW1 In
Tue 3/8	I/O	Dr. Yinzhi Cao
Thu 3/10	Mid-term Presentation
Tue 3/15	Spring Break
Thu 3/17	Spring Break
Tue 3/22	I/O Paper Presentation	Defense: Sriram Gopalakrishnan  Offense: Xinyang Zhang	Split-Level I/O Scheduling	HW2 Out
Thu 3/24	OS Security
Tue 3/29	Security Paper Presentation	Defense: Robert Brotzman-Smith Offense: Zhiyu Chen	ret2dir: Rethinking Kernel Isolation
Thu 3/31	Browser	Dr. Yinzhi Cao
Tue 4/5	Browser Paper Presentation	Defense: Sriram Gopalakrishnan Offense: Xin Li	The Multi-Principal OS Construction of the Gazelle Web Browser	HW2 In
Thu 4/7	Symbolic Execution	Dr. Yinzhi Cao
Tue 4/12	Symbolic Execution Paper Presentation	Defense: Weiheng Li Offense: Sachi Joshi	KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Thu 4/14	Distributed Systems	Dr. Yinzhi Cao
Tue 4/19	Distributed System Paper Presentation I	Defense: Xinyang Zhang Offense: John Marin	Vuvuzela: Scalable Private Messaging Resistant to Traffic Analysis
Thu 4/21	Distributed System Paper Presentation II	Defense: Zhiyu Chen Offense: John Marin	E2: A Framework for NFV Applications
Tue 4/26	Virtual Machines	Dr. Yinzhi Cao
Thu 4/28	Virtual Machine Paper Presentation	Defense: Xin Li Offense: Pantea Zardoshti	Virtual CPU Validation
Tue 5/3	Final Project Presentation I
Thu 5/5	Final Project Presentation II

All the slides are available at this link.