SIGMETRICS-MEMBERS Archives

ACM SIGMETRICS-MEMBERS List

SIGMETRICS-MEMBERS@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Content-Type:
text/plain; charset=UTF-8; format=flowed
Date:
Sat, 20 Aug 2016 15:43:28 +0100
Reply-To:
Nik Sultana <[log in to unmask]>
Subject:
MIME-Version:
1.0
Message-ID:
Content-Transfer-Encoding:
quoted-printable
Sender:
ACM SIGMETRICS-MEMBERS List <[log in to unmask]>
From:
Nik Sultana <[log in to unmask]>
Parts/Attachments:
text/plain (75 lines)
The Second Workshop on Networking and Programming Languages,
co-located with SIGCOMM 2016
Monday August 22nd, 2016
Florianopolis, Brazil
http://conferences.sigcomm.org/sigcomm/2016/netpl.php

----------------------------------------------------------------------

This workshop takes place the day after the end of the Rio Olympic 
Games, to
avoid cutting into their viewing figures of course. The workshop will be
livestreamed at:
   http://conferences.sigcomm.org/sigcomm/2016/
along with other talks and workshops taking place at SIGCOMM this week.

----------------------------------------------------------------------

The NetPL workshop provides a forum to bring together researchers and
practitioners from the fields of programming languages, formal
methods, and networking.

Recent technological trends, such as Software-Defined Networking,
Network Functions Virtualization and reconfigurable networking
hardware, have created an opportunity for researchers in these
traditionally separate communities to collaborate, applying their
diverse perspectives towards the development of novel networking
applications. It is important to clarify that the scope of this
workshop goes strictly beyond SDN. We aim to enable language
specialists to better understand opportunities in networking, and
networking specialists to better understand opportunities enabled by
specially-designed languages.

This is the second NetPL workshop, after last year's workshop at ECOOP.
All the talks from the previous edition of the workshop are on YouTube:
https://www.youtube.com/channel/UCqU8E2n4MHthZUVb1xK2nRQ

This year's programme comprises:
* Update on P4: Where are we now, and where are we heading toward?
   Changhoon Kim (Barefoot Networks)
* P4FPGA: High-Level Synthesis for Networking
   Han Wang, Ki Suh Lee, Vishal Shrivastav, Hakim Weatherspoon (Cornell 
University)
* The Next 700 Network Programming Languages
   Nate Foster (Cornell University)
* Temporal NetKAT
   David Walker (Princeton University)
* Towards Correct-by-Construction SDN
   Leonid Ryzhyk (Samsung Research America), Nikolaj Bjorner (Microsoft 
Research), Marco Canini (Université catholique de Louvain, Belgium), 
Jean-Baptiste Jeannin, Nina Narodytska, Cole Schlesinger, Douglas B. 
Terry (Samsung Research America), George Varghese (Microsoft Research)
* NEMO Engine, A Model Driven Compiler to Execute User's Intent and 
Manage Service Lifecycle by Multi Layer State Machine
   Yinben Xia (Huawei Technologies)
* Interactive Query for Dynamic Network Analytics
   Haoyu Song (Huawei Technologies)
* Formal Semantics and Automated Verification for the Border Gateway 
Protocol
   Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind 
Krishnamurthy, Zachary Tatlock (University of Washington)
* Symmetries and Surgeries for Network Verification and Quantitative 
Network Analysis
   Nikolaj Bjorner (Microsoft Research)
* Verifying Reachability in Networks with Mutable Datapaths
   Aurojit Panda (UC Berkeley)
* Symbolic Execution — Model Equivalence & Applications
   Matei Popovici, Radu Stoenescu, Lorina Negreanu, Costin Raiciu 
(University Politehnica of Bucharest)
* Monitoring as a Design Target for Programmable Switches
   Rodrigo Fonseca (Brown University)

You can unsubscribe for this list at any time through this link:

https://optout.acm.org/unsubscribe.cfm?rl=SIGMETRICS-MEMBERS&RE=&UEMAIL;

ATOM RSS1 RSS2