Home

Scope

Format

Program

Invited Talks

Registration

Dates

Submission

Organizers

PLVNET 2015: 1st Workshop on Programming Languages and
Verification Technology for Networking

January 12, 2015
Mumbai, India
[co-located with POPL 2015]

Scope

Modern networks are large, complex, and critical for society. Unfortunately, networks can also be unreliable. Network outages are common and often caused by bugs in network programs and configurations. These kinds of network outages are likely to become even more common, since networks continue to grow larger and become more complex. Therefore, we must develop tools and methods to help operators reason about network behavior, performance, and security.

Over the past several years, there has been a flurry of activity in this space. Several researchers in programming languages and verification communities have applied their expertise to develop tools and techniques for building and reasoning about networks. The goal of this informal workshop is to convene researchers interesting in applying their techniques to networking. The program will have both invited and contributed talks and plenty of time for discussion and debate.

Format

We plan to have a diverse program, including invited talks, contributed talks and tutorials, and ample time for discussion. This is an informal workshop with no published proceedings. However, we will update this website to include talk abstracts, slides, and links to any relevant work.

Invited Talks

Program

9:00 - 9:40am Nikolaj Bjorner
Invited Talk: Checking Beliefs and Contracts for Azure Using Z3
9:40 - 10:10am Cole Schlesinger, Hitesh Ballani, Thomas Karagiannis, Dimitrios Vytiniotis
Quality of Service Abstractions for Software-Defined Networks
10:10 - 10:30am Sanjiva Prasad
Programming the Internet of Things
 
10:30 - 11:00am Coffee Break
 
11:00 - 12:00pm Mooly Sagiv
Invited talk: Reasoning about Network-State Evolution
12:00 - 12:25pm Ryan Beckett, Michael Greenberg, David Walker
Temporal NetKAT
 
12:25 - 2:00pm Lunch
 
2:00 - 2:50pm Shriram Krishnamurthi
Invited Talk: From SDN to IoT: Tierless Programming and Reasoning with Flowlog
2:50 - 3:10pm Marco Gaboardi, Michael Greenberg, David Walker
Type Systems for SDN Controllers
3:10 - 3:30pm Jedidiah McClurg, Hossein Hojjat, Pavol Cerny, Nate Foster
Network Updates for the Impatient: Eliminating Unnecessary Waits
 
3:30 - 4:00pm Coffee Break
 
4:00 - 5:30pm Discussion

Registration

Please use the POPL 2015 website to register for the workshop.

Important Dates

Submission deadline: November 17, 2014
Notification of acceptance: November 28, 2014
Workshop: January 12, 2015

Submission Instructions

Please submit a talk abstract here.

We do not have strict formatting guidelines. You may submit either a text file or a PDF document. Try to keep the abstract short. Do not exceed two pages of the standard ACM sigplanconf stylesheet.

At least one author of each submission is expected to register and attend to present the work.

Organizers

Program Chairs: Program Committee: