Note that the schedule is tentative, please constantly check for changes.
Some resources may require access permission from your institution (e.g., ACM Library). You need to connect to UVA on-campus network or VPN to view contents.
Week 1 Week 2 Week 3 Week 4 Week 5 Week 6 Week 7 Week 8
8/22 8/29 9/5 9/12 9/19 9/26 10/3 10/10
8/24 8/31 9/7 9/14 9/21 9/28 10/5 10/12
Week 9 Week 10 Week 11 Week 12 Week 13 Week 14 Week 15 Week 16
10/17 10/24 10/31 11/7 11/14 11/21 11/28 12/5
10/19 10/26 11/2 11/9 11/16 11/23 11/30

Course Introduction

Tue 8/22


Reliability

Thu 8/24


Cloud Failures

Tue 8/29

Deadline for Team Registration! see Canvas Announcement


Challenges

Thu 8/31 Hardware Faults

Tue 9/5 Software Bugs

Thu 9/7 Misconfigurations

Tue 9/12 Human Mistakes

Thu 9/14 Overloads

Tue 9/19 Network Issues

Thu 9/21 Scale

Deadline for Project Proposal Submission!

Tue 9/26 New Paradigms


Cloud Failures and Forward

Thu 9/28


Fall Reading Days

Tue 10/3

No classes

Bug Finding

Thu 10/5 Static Analysis

Tue 10/10 Dynamic Analysis

Thu 10/12 Binary Analysis

Tue 10/17 Fuzzing


Formal Methods

Thu 10/19 Symbolic Execution

Tue 10/24 Model Checking

Thu 10/26 Verification


Hacker Day I

Tue 10/31

No classes

Record and Replay

Thu 11/2

Deadline for Checkpoint Report!


Election Day

Tue 11/7

No classes

Production Testing

Thu 11/9


Failure Detection

Tue 11/14


Hacker Day II

Thu 11/16

No classes

Failure Diagnosis

Tue 11/21


Thanksgiving Recess

Thu 11/23

No classes

Failure Recovery

Tue 11/28


Presentation I

Thu 11/30


Presentation II

Tue 12/5