CS 5114 (Spring 2013)
Network Programming Languages
TR 8:40-9:55
Hollister 306
Schedule
| Date | Topic | Slides | Reading | Presenters | Breakfast |
| 22 Jan | No class (Foster away) | ||||
| 24 Jan | No class (Foster away) | ||||
| 29 Jan | Course Overview | [pdf] | [Keshav] | Nate | |
| 31 Jan | Naming and Addressing | [pdf] | [Cerf+] [Saltzer+] | Nate | Andrew |
| 5 Feb | Routing | [pdf] | [Clark] [Paxson] | Benjamin & Kevin | Eoin |
| 7 Feb | Forwarding | [pdf] | [Kohler+] [Partridge+] [Dobrescu+] | Nate | Tom |
| 12 Feb | SDNs | [pdf] | [Casado+] | Tom | Vera |
| 14 Feb | SDN Languages | [Foster+] | Basu | Mark | |
| 19 Feb | Controllers | [Gude+] [Koponen+] | Amy & Vera | Andrew | |
| 21 Feb | Isolation | [Sherwood+] [Gutz+] | Tom | Basu | |
| 26 Feb | Dynamics | [Voellmy+] [Reitblatt+] | Vera & Theodoros | Kevin | |
| 28 Feb | Debugging | [Handigol+] [Wundsam+] | Anisha & Yohan | Kevin | |
| 5 Mar | Datalog | [Ramakrishnan+] [Abiteboul+] | Nate | Yohan | |
| 7 Mar | Declarative Networking | [Loo+] | Timothy | Theodoros | |
| 12 Mar | Network Provenance | [Zhou+] | Andrew | Theodoros | |
| 14 Mar | Datalog Applications | [Alvaro+] [Alvaro_II+] | Basu & Jiyoung | Mark | |
| 19 Mar | No class (Spring Break) | ||||
| 21 Mar | No class (Spring Break) | ||||
| 26 Mar | Verification Overview | [Zhang+] | Theodoros | Nate | |
| 28 Mar | VeriFlow | [Mai+] | Andrew | Kevin | |
| 2 Apr | Header Space | [Kazemian+] [Zeng+] | Kevin & Timothy | Vera | |
| 4 Apr | Verified Compilers | [Leroy+] [Guha+] | Yohan & Anisha | Timothy | |
| 9 Apr | MiCA | Lonnie | Vera | ||
| 11 Apr | BGP | [Caesar+] [Yannuzzi+] | Benjamin & Mark | Basu | |
| 16 Apr | No class (Foster away) | ||||
| 18 Apr | No class (Foster away) | ||||
| 23 Apr | PANE | Arjun | Basu | ||
| 25 Apr | BGP Safety | [Griffin+] [Rexford+] | Eoin & Mark | Yohan | |
| 30 Apr | BGP Analysis | [Feamster+] [Griffin+] | Eoin & Jiyoung | Nate | |
| 6 May | Project Presentations | ||||
