NetPL 2018 Contributors - NetPL 2018

Write a Blog >>

Mon 8 - Sat 13 January 2018 Los Angeles, California, United States

co-located with POPL 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (12)

C Marco CaniniCanini, Marco KAUST Wrap Up Organizing Committee in Organizing Committee within the NetPL-track
Calin CascavalCascaval, Calin Barefoot Networks P4: A Language for Data Plane Programming
F Nate FosterFoster, Nate Cornell UniversityUnited States Panel Wrap Up Organizing Committee in Organizing Committee within the NetPL-track
K Peyman KazemianKazemian, Peyman Forward Networks Understand and verify your network using Header Space Analysis
M Todd MillsteinMillstein, Todd University of California, Los Angeles Wrap Up Organizing Committee in Organizing Committee within the NetPL-track
R Barath RaghavanRaghavan, Barath ICSI Panel
Andrey RybalchenkoRybalchenko, Andrey Microsoft ResearchUnited Kingdom Very Large Scale Network Verification
S Anees ShaikhShaikh, Anees Google Common Models for Network Configuration and Behavioral Validation
Sharon ShohamShoham, Sharon Tel Aviv universityIsrael Safety Verification of Stateful Networks
Jonathan SmithSmith, Jonathan DARPAUnited States Store, Translate and Forward: From Model to Metal in 25 Years Panel
V George VargheseVarghese, George UCLA A Vision for Network Design Automation
W David WalkerWalker, David Princeton UniversityUnited States Panel