[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are excited to announce the 4th Workshop on Networking and Programming Languages (NetPL), co-located with POPL in Los Angeles. We have assembled an excellent lineup of invited speakers from academia and industry, representing both the PL and networking perspectives. Details about the technical program and registration are provided below. See you in Los Angeles! Regards, Marco Canini, Nate Foster, and Todd Millstein DATE January, 9th 2018 WEBSITE https://popl18.sigplan.org/track/netpl-2018 REGISTRATION https://regmaster4.com/2018conf/POPL18/register.php 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. PROGRAM The program is 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. Store, Translate and Forward: From Model to Metal in 25 Years Jonathan Smith (DARPA) Common Models for Network Configuration and Behavioral Validation Anees Shaikh (Google) Working Groups Very Large Scale Network Verification Andrey Rybalchenko (MSR) Safety Verification of Stateful Networks Sharon Shoham (Tel Aviv) Understand and verify your network using Header Space Analysis Peyman Kazemian (Forward Networks) P4: A Language for Data Plane Programming Calin Cascaval (Barefoot Networks) A Vision for Network Design Automation George Varghese (UCLA) Panel David Walker (Princeton), Barath Raghavan (USC) Wrap Up Marco Canini (KAUST), Nate Foster (Cornell), Todd Millstein (UCLA)