![]() | The NetPL workshop will provide a forum to bring together researchers and practitioners from the fields of programming languages, formal methods, and networking. Recent technological trends, such as software-defined networking and network functions virtualization, have created an opportunity for researchers in these traditionally separate communities to collaborate, applying their diverse perspectives towards the development of novel networking applications. The program will consist of invited talks, with an emphasis on encouraging engaging technical discussions amongst the participants. |
NetPL has support for funding students to attend the workshop. If you are interested, please apply as an ECOOP Student Volunteer and indicate that you are applying for the NetPL
travel grant.
Sponsors
Invited Speakers
Call for participation
NetPL does not solicit submission and everyone is welcome to attend.
Mon 6 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 6 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:10: WelcomeNetPL at Hluboka II Chair(s): Robert SouléUniversità della Svizzera italiana, Marco CaniniUniversité catholique de Louvain | |||
09:00 - 09:10 Day opening | Welcome NetPL |
09:10 - 09:50 Talk | Enabling End Host Network Functions NetPL Hitesh BallaniMicrosoft Research, UK Link to publication |
10:10 - 11:10 Talk | Static and Dynamic Reasoning for SDNs NetPL Shriram KrishnamurthiBrown University Link to publication |
11:10 - 11:50 Talk | Immutable Distributed Infrastructure with Unikernels NetPL Anil MadhavapeddyUniversity of Cambridge Link to publication |
11:50 - 12:30 Talk | Program Synthesis for Network Updates NetPL Pavol CernyUniversity of Colorado Boulder Link to publication |
14:00 - 15:00 Talk | The State of (Open Source) SDN and Programming Languages Opportunities NetPL Colin DixonBrocade Link to publication |
15:00 - 15:40 Talk | From Dumb to Smarter Switches in Software Defined Networks: Towards a Stateful Data Plane NetPL Antonio CaponePolitecnico di Milano Link to publication |
16:00 - 17:00 Talk | Managing Dynamic Networks: Distributed or Centralized Control? NetPL Link to publication |
17:00 - 17:30 Talk | NEMO-An Intent Oriented Network Programming Language NetPL Xia YinbenHuawei Link to publication |
17:30 - 18:00 Talk | Policy-Compliant Path Diversity and Bisection Bandwidth NetPL Xenofontas DimitropoulosUniversity of Crete & FORTH Link to publication |
18:00 - 18:40 Other | Beerageous opinion NetPL |