ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
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

Title
The State of (Open Source) SDN and Programming Languages Opportunities
NetPL
Link to publication
Enabling End Host Network Functions
NetPL
Link to publication
From Dumb to Smarter Switches in Software Defined Networks: Towards a Stateful Data Plane
NetPL
Link to publication
Immutable Distributed Infrastructure with Unikernels
NetPL
Link to publication
Managing Dynamic Networks: Distributed or Centralized Control?
NetPL
Link to publication
NEMO-An Intent Oriented Network Programming Language
NetPL
Link to publication
Policy-Compliant Path Diversity and Bisection Bandwidth
NetPL
Link to publication
Program Synthesis for Network Updates
NetPL
Link to publication
Static and Dynamic Reasoning for SDNs
NetPL
Link to publication

Call for participation

NetPL does not solicit submission and everyone is welcome to attend.

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

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
10m
Day opening
Welcome
NetPL
C: Marco CaniniUniversité catholique de Louvain, C: Robert SouléUniversità della Svizzera italiana
09:10 - 09:50
BallaniNetPL at Hluboka II
09:10
40m
Talk
Enabling End Host Network Functions
NetPL
Hitesh BallaniMicrosoft Research, UK
Link to publication
10:10 - 11:10
KrishnamurthiNetPL at Hluboka II
10:10
60m
Talk
Static and Dynamic Reasoning for SDNs
NetPL
Shriram KrishnamurthiBrown University
Link to publication
11:50 - 12:30
11:50
40m
Talk
Program Synthesis for Network Updates
NetPL
Pavol CernyUniversity of Colorado Boulder
Link to publication
18:00 - 18:40
Beerageous opinionNetPL at Hluboka II
18:00
40m
Other
Beerageous opinion
NetPL