[TYPES/announce] NetPL '18: Call for Participation

[Nate Foster]

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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20171223/5981ef11/attachment.html>