Schedule
Lectures are held on Tuesdays and Thursdays from 10:10am to 11:25am in Hollister B14. Note that this schedule is tentative.
Please use the template when writing paper summaries.
| Date | Topic | Reading | Homework |
|---|---|---|---|
| 29 Aug | Introduction | ||
| 03 Sep | Internet Design Principles | (Clarke88,Saltzer+84) | |
| 05 Sep | Software-Defined Networking | (Feamster+14,Casado+13) | |
| 10 Sep | Networking DSLs | (Foster+13) | |
| 12 Sep | No Class (Foster away) | ||
| 17 Sep | Formal Semantics | (Anderson14, NetKAT Language) | HW1 due |
| 19 Sep | Deciding Equivalence | (Foster15, NetKAT Automata) | |
| 24 Sep | Compilation | (Smolka15, NetKAT Compilation) | |
| 26 Sep | Consistent Updates | (Reitblatt12) | |
| 01 Oct | Tierless Programming | (Nelson14) | |
| 03 Oct | Data Plane Verification | (Kazemian12) | HW2 due |
| 08 Oct | Control Plane Verification | (Beckett17) | |
| 10 Oct | Programmable Switches | (Bosshart13) | |
| 15 Oct | No Class (Fall Break) | ||
| 17 Oct | P4 Language | (Bosshart14, P4 Introduction) | |
| 22 Oct | Load Balancing | (Katta16) | |
| 24 Oct | Traffic Monitoring | (Yu13) | |
| 29 Oct | In-Network Computing | (Jin17) | |
| 31 Oct | Accountable Routing | (Andersen08) | HW3 due |
| 05 Nov | Named-Data Networking | (Jacobson09) | |
| 07 Nov | Pathlets | (Godfrey09) | |
| 12 Nov | p4v | (Liu18) | |
| 14 Nov | Safe P4 (Guest Lecture: Eric Campbell) | (Eichholz19) | HW4 due |
| 19 Nov | No Class (Foster Away) | ||
| 21 Nov | Fibbing | (Vissicchio15) | |
| 26 Nov | Metarouting | (Griffin05) | HW5 due |
| 28 Nov | No Class (Thanksgiving) | ||
| 03 Dec | Traffic Engineering (Guest Leecture: Praveen Kumar) | (Kumar18) | |
| 05 Dec | Packet Scheduling (Guest Lecture: Praveen Kumar) | (McKeown99) | |
| 10 Dec | Programmable Scheduling (Guest Lecture: Praveen Kumar) | (Sivaraman16) | HW6 due |
| 17 Dec | Projects due |