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.
- Calin Cascaval (Barefoot Networks)
- Peyman Kazemian (Forward Networks)
- Andrey Rybalchenko (Microsoft Research)
- Anees Shaikh (Google)
- Sharon Shoham (Tel Aviv University)
- Jonathan Smith (DARPA)
- George Varghese (UCLA)
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.
Tue 9 JanDisplayed time zone: Tijuana, Baja California change
09:00 - 10:00 | |||
09:00 30mTalk | Store, Translate and Forward: From Model to Metal in 25 Years NetPL Jonathan Smith DARPA | ||
09:30 30mTalk | Common Models for Network Configuration and Behavioral Validation NetPL Anees Shaikh Google | ||
10:30 - 12:00 | |||
10:30 30mTalk | Very Large Scale Network Verification NetPL Andrey Rybalchenko Microsoft Research | ||
11:00 60mOther | Working Groups NetPL | ||
13:30 - 15:30 | |||
14:00 30mOther | Working Groups Debrief NetPL | ||
14:30 30mTalk | Safety Verification of Stateful Networks NetPL Sharon Shoham Tel Aviv university | ||
15:00 30mTalk | Understand and verify your network using Header Space Analysis NetPL Peyman Kazemian Forward Networks | ||
16:00 - 18:00 | |||
16:00 30mTalk | P4: A Language for Data Plane Programming NetPL Calin Cascaval Barefoot Networks | ||
16:30 30mTalk | A Vision for Network Design Automation NetPL George Varghese UCLA | ||
17:00 30mOther | Panel NetPL Nate Foster Cornell University, David Walker Princeton University, Barath Raghavan ICSI, Jonathan Smith DARPA | ||
17:30 30mDay closing | Wrap Up NetPL Marco Canini KAUST, Nate Foster Cornell University, Todd Millstein University of California, Los Angeles | ||
Accepted Papers
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.
| Tue 9 Jan 2018 NetPL 2018 Workshop |
