 | 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 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 10mDay opening | Welcome NetPL C: Marco Canini Université catholique de Louvain, C: Robert Soulé Università della Svizzera italiana | ||
09:10 - 09:50 | |||
09:10 40mTalk | Enabling End Host Network Functions NetPL Hitesh Ballani Microsoft Research, UK Link to publication | ||
10:10 - 11:10 | |||
10:10 60mTalk | Static and Dynamic Reasoning for SDNs NetPL Shriram Krishnamurthi Brown University Link to publication | ||
11:10 - 11:50 | |||
11:10 40mTalk | Immutable Distributed Infrastructure with Unikernels NetPL Anil Madhavapeddy University of Cambridge Link to publication | ||
11:50 - 12:30 | |||
11:50 40mTalk | Program Synthesis for Network Updates NetPL Pavol Cerny University of Colorado Boulder Link to publication | ||
14:00 - 15:00 | |||
14:00 60mTalk | The State of (Open Source) SDN and Programming Languages Opportunities NetPL Colin Dixon Brocade Link to publication | ||
15:00 - 15:40 | |||
15:00 40mTalk | From Dumb to Smarter Switches in Software Defined Networks: Towards a Stateful Data Plane NetPL Antonio Capone Politecnico di Milano Link to publication | ||
16:00 - 17:00 | |||
16:00 60mTalk | Managing Dynamic Networks: Distributed or Centralized Control? NetPL Roger Wattenhofer ETHZ Link to publication | ||
17:00 - 17:30 | |||
17:00 30mTalk | NEMO-An Intent Oriented Network Programming Language NetPL Xia Yinben Huawei Link to publication | ||
17:30 - 18:00 | |||
17:30 30mTalk | Policy-Compliant Path Diversity and Bisection Bandwidth NetPL Xenofontas Dimitropoulos University of Crete & FORTH Link to publication | ||
18:00 - 18:40 | |||
18:00 40mOther | Beerageous opinion NetPL | ||
Important Dates
| Mon 6 Jul 2015 Workshop |
Hitesh Ballani
Microsoft Research, UK
India
Antonio Capone
Politecnico di Milano
Italy
Pavol Cerny
University of Colorado Boulder
Slovakia
Xenofontas Dimitropoulos
University of Crete & FORTH
Greece
Colin Dixon
Brocade
United States
Shriram Krishnamurthi
Brown University
India
Anil Madhavapeddy
University of Cambridge
Roger Wattenhofer
ETHZ
Switzerland
Xia Yinben
Huawei
China
