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
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
The State of (Open Source) SDN and Programming Languages Opportunities
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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:10
WelcomeNetPL at Hluboka II
Chair(s): Marco Canini Université catholique de Louvain, Robert Soulé Università della Svizzera italiana
09:00
10m
Day opening
Welcome
NetPL
C: Marco Canini Université 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 Ballani Microsoft 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 Krishnamurthi Brown University
Link to publication
11:10 - 11:50
MadhavapeddyNetPL at Hluboka II
11:10
40m
Talk
Immutable Distributed Infrastructure with Unikernels
NetPL
Anil Madhavapeddy University of Cambridge
Link to publication
11:50 - 12:30
11:50
40m
Talk
Program Synthesis for Network Updates
NetPL
Pavol Cerny University of Colorado Boulder
Link to publication
18:00 - 18:40
Beerageous opinionNetPL at Hluboka II
18:00
40m
Other
Beerageous opinion
NetPL