CS 5114 (Spring 2013)

Network Programming Languages
TR 8:40-9:55
Hollister 306

Schedule

Date Topic Slides Reading Presenters Breakfast
22 JanNo class (Foster away)
24 JanNo class (Foster away)
29 JanCourse Overview[pdf] [Keshav] Nate
31 JanNaming and Addressing[pdf] [Cerf+] [Saltzer+] NateAndrew
5 FebRouting[pdf] [Clark] [Paxson] Benjamin & KevinEoin
7 FebForwarding[pdf] [Kohler+] [Partridge+] [Dobrescu+] NateTom
12 FebSDNs[pdf] [Casado+] TomVera
14 FebSDN Languages[Foster+] BasuMark
19 FebControllers[Gude+] [Koponen+] Amy & VeraAndrew
21 FebIsolation[Sherwood+] [Gutz+] TomBasu
26 FebDynamics[Voellmy+] [Reitblatt+] Vera & TheodorosKevin
28 FebDebugging[Handigol+] [Wundsam+] Anisha & YohanKevin
5 MarDatalog[Ramakrishnan+] [Abiteboul+] NateYohan
7 MarDeclarative Networking[Loo+] TimothyTheodoros
12 MarNetwork Provenance[Zhou+] AndrewTheodoros
14 MarDatalog Applications[Alvaro+] [Alvaro_II+] Basu & JiyoungMark
19 MarNo class (Spring Break)
21 MarNo class (Spring Break)
26 MarVerification Overview[Zhang+] TheodorosNate
28 MarVeriFlow[Mai+] AndrewKevin
2 AprHeader Space[Kazemian+] [Zeng+] Kevin & TimothyVera
4 AprVerified Compilers[Leroy+] [Guha+] Yohan & AnishaTimothy
9 AprMiCALonnieVera
11 AprBGP[Caesar+] [Yannuzzi+] Benjamin & MarkBasu
16 AprNo class (Foster away)
18 AprNo class (Foster away)
23 AprPANEArjunBasu
25 AprBGP Safety[Griffin+] [Rexford+] Eoin & MarkYohan
30 AprBGP Analysis[Feamster+] [Griffin+] Eoin & JiyoungNate
6 MayProject Presentations
Validate XHTML Validate CSS
Last updated January 2013