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.

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.