Program Information: We had an excellent lineup of invited speakers, coming from both academia and industry and from both the PL and networking research communities.

See the Program for the full schedule.

Some pictures from the workshop here!

Description: This workshop aims to bring together researchers from two areas that are increasingly mutually relevant: programming languages and networking. The relevance of languages to computer networks has become apparent in recent years by the emergence of software-defined networking (SDN) and programmable data planes, which allow the behavior of the network to be controlled in software. Further, the increasing demands on and complexity of networks in the era of cloud services has exacerbated the need for network reliability and tools for reasoning about network behavior. However, while many aspects of networking can in principle be improved by suitable programming languages for expressing network policy and software verification tools for guaranteeing network properties, traditional programming languages techniques do not work “out of the box” for networks due to a range of theoretical and practical challenges. The goals of this workshop are to raise awareness in the POPL community of the relevance of languages to computer networks, to showcase recent research highlights in this area, and to identify and discuss current challenges in a way that is accessible to the POPL community.

Format: The technical program will be structured around a mixture of invited talks, panels, and breakout groups to discuss specific research directions. Participation in the workshop is open to everyone, and participants will be given an opportunity to briefly describe their current research if interested.

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

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Morning Session 2NetPL at Hershey
10:30
30m
Talk
Very Large Scale Network Verification
NetPL
Andrey Rybalchenko Microsoft Research
11:00
60m
Other
Working Groups
NetPL

13:30 - 15:30
Afternoon Session 1NetPL at Hershey
14:00
30m
Other
Working Groups Debrief
NetPL

14:30
30m
Talk
Safety Verification of Stateful Networks
NetPL
Sharon Shoham Tel Aviv university
15:00
30m
Talk
Understand and verify your network using Header Space Analysis
NetPL
Peyman Kazemian Forward Networks
16:00 - 18:00
Afternoon Session 2NetPL at Hershey
16:00
30m
Talk
P4: A Language for Data Plane Programming
NetPL
Calin Cascaval Barefoot Networks
16:30
30m
Talk
A Vision for Network Design Automation
NetPL
17:00
30m
Other
Panel
NetPL
Nate Foster Cornell University, David Walker Princeton University, Barath Raghavan ICSI, Jonathan Smith DARPA
17:30
30m
Day closing
Wrap Up
NetPL
Marco Canini KAUST, Nate Foster Cornell University, Todd Millstein University of California, Los Angeles

Call for Participation

The Fourth Workshop on Networking and Programming Languages, co-located with POPL 2018, January 9, 2018, Los Angeles, USA


This workshop aims to bring together researchers from two areas that are increasingly mutually relevant: programming languages and networking. The relevance of languages to computer networks has become apparent in recent years by the emergence of software-defined networking (SDN) and programmable data planes, which allow the behavior of the network to be controlled in software. Further, the increasing demands on and complexity of networks in the era of cloud services has exacerbated the need for network reliability and tools for reasoning about network behavior. However, while many aspects of networking can in principle be improved by suitable programming languages for expressing network policy and software verification tools for guaranteeing network properties, traditional programming languages techniques do not work “out of the box” for networks due to a range of theoretical and practical challenges. The goals of this workshop are to raise awareness in the POPL community of the relevance of languages to computer networks, to showcase recent research highlights in this area, and to identify and discuss current challenges in a way that is accessible to the POPL community.


Format

The technical program will be structured around a mixture of invited talks, panels, and breakout groups to discuss specific research directions. Participation in the workshop is open to everyone, and participants will be given an opportunity to briefly describe their current research if interested. We hope to foster a program that encourages engaging technical discussions among the participants.


Submissions

There is no formal submission process. Participation in the workshop is open to everyone. We solicit prospective participants to see the workshop as an opportunity to discuss their current research. We give no firm guidelines on topics (go wild but stay within scope!), however we particularly encourage attendees to come ready to discuss thought-provoking material.


For information on the venue, hotels, and traveling, please see the conference website.


History

This will be the fourth NetPL workshop. NetPL 2015 was co-located with ECOOP 2015, NetPL 2016 with SIGCOMM 2016, and NetPL 2017 with SIGCOMM 2017.