POPL 2018 (series) / NetPL 2018 (series) /
NetPL 2018 Program
This is the NetPL 2018 program - see the full program for POPL 2018 and all affiliated events.
Filter Program
Dates
Tue 9 Jan 2018
Rooms
Hershey
Tracks
NetPL
Badges
Nothing to filter
Your Program
Nothing to filter
Tue 9 JanDisplayed time zone: Tijuana, Baja California change
Tue 9 Jan
Displayed time zone: Tijuana, Baja California change
09:00 - 10:00 | |||
09:00 30mTalk | Store, Translate and Forward: From Model to Metal in 25 Years NetPL Jonathan Smith DARPA | ||
09:30 30mTalk | Common Models for Network Configuration and Behavioral Validation NetPL Anees Shaikh Google | ||
10:30 - 12:00 | |||
10:30 30mTalk | Very Large Scale Network Verification NetPL Andrey Rybalchenko Microsoft Research | ||
11:00 60mOther | Working Groups NetPL | ||
13:30 - 15:30 | |||
14:00 30mOther | Working Groups Debrief NetPL | ||
14:30 30mTalk | Safety Verification of Stateful Networks NetPL Sharon Shoham Tel Aviv university | ||
15:00 30mTalk | Understand and verify your network using Header Space Analysis NetPL Peyman Kazemian Forward Networks | ||
16:00 - 18:00 | |||
16:00 30mTalk | P4: A Language for Data Plane Programming NetPL Calin Cascaval Barefoot Networks | ||
16:30 30mTalk | A Vision for Network Design Automation NetPL George Varghese UCLA | ||
17:00 30mOther | Panel NetPL Nate Foster Cornell University, David Walker Princeton University, Barath Raghavan ICSI, Jonathan Smith DARPA | ||
17:30 30mDay closing | Wrap Up NetPL Marco Canini KAUST, Nate Foster Cornell University, Todd Millstein University of California, Los Angeles | ||