You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Morning Session 2NetPL at Hershey
10:30
30m
Talk
Very Large Scale Network Verification
NetPL
Andrey Rybalchenko Microsoft Research
11:00
60m
Other
Working Groups
NetPL

13:30 - 15:30
Afternoon Session 1NetPL at Hershey
14:00
30m
Other
Working Groups Debrief
NetPL

14:30
30m
Talk
Safety Verification of Stateful Networks
NetPL
Sharon Shoham Tel Aviv university
15:00
30m
Talk
Understand and verify your network using Header Space Analysis
NetPL
Peyman Kazemian Forward Networks
16:00 - 18:00
Afternoon Session 2NetPL at Hershey
16:00
30m
Talk
P4: A Language for Data Plane Programming
NetPL
Calin Cascaval Barefoot Networks
16:30
30m
Talk
A Vision for Network Design Automation
NetPL
17:00
30m
Other
Panel
NetPL
Nate Foster Cornell University, David Walker Princeton University, Barath Raghavan ICSI, Jonathan Smith DARPA
17:30
30m
Day closing
Wrap Up
NetPL
Marco Canini KAUST, Nate Foster Cornell University, Todd Millstein University of California, Los Angeles