Course Schedule


Lectures Topics




Tue 1/26

Class overview

Dr. Yinzhi Cao


Thu 1/28

OS Structure and Kernel

Dr. Yinzhi Cao


Tue 2/2


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


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
Yi Hu     

Skylight A Window on Shingled Disk Operation

 HW1 In

Tue 3/8


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
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


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.