PLVNET 2015: 1st Workshop on Programming Languages and
|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|
|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|
Please use the POPL 2015 website to register for the workshop.
|Submission deadline:||November 17, 2014|
|Notification of acceptance:||November 28, 2014|
|Workshop:||January 12, 2015|
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.