VenueOmni Hotel
Room nameHershey
Floor0
Room InformationNo extra information available
Program

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

Conference Day
Mon 8 Jan

Displayed time zone: Tijuana, Baja California change

09:00 - 10:30
Programming and Reasoning with Infinite Data in IsabelleTutorialFest at Hershey
09:00
90m
Talk
Programming and Reasoning with Infinite Data in Isabelle/HOL.
TutorialFest
A: Mathias FleuryMPI-INF, A: Andreas Lochbihler, A: Andrei PopescuMiddlesex University, London
Media Attached

Conference Day
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 RybalchenkoMicrosoft 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 ShohamTel Aviv university
15:00
30m
Talk
Understand and verify your network using Header Space Analysis
NetPL
Peyman KazemianForward Networks
16:00 - 18:00
Afternoon Session 2NetPL at Hershey
16:00
30m
Talk
P4: A Language for Data Plane Programming
NetPL
Calin CascavalBarefoot Networks
16:30
30m
Talk
A Vision for Network Design Automation
NetPL
17:00
30m
Other
Panel
NetPL
Nate FosterCornell University, David WalkerPrinceton University, Barath RaghavanICSI, Jonathan SmithDARPA
17:30
30m
Day closing
Wrap Up
NetPL
Marco CaniniKAUST, Nate FosterCornell University, Todd MillsteinUniversity of California, Los Angeles

Conference Day
Mon 8 Jan

Displayed time zone: Tijuana, Baja California change

Conference Day
Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Hershey

Conference Day
Mon 8 Jan

Displayed time zone: Tijuana, Baja California change

Conference Day
Tue 9 Jan

Displayed time zone: Tijuana, Baja California change