Abstract
The third workshop on Networking and Programming Lan-guages, NetPL 2017, was held in conjunction with SIG-COMM 2017. The workshop series attracts invited speakers from academia and industry and a selection of contributed abstracts for short presentations. NetPL brings together re-searchers from the networking community and researchers from the programming languages and verification communities. The workshop series is a timely forum for exciting trends, technological and scientific advances in the intersection of these communities. We describe some of the high-lights from the invited talks through the lens of three trends: Advances in network machine architectures, network programming abstractions, and network verification. NetPL included five invited speakers, four from academia, and one from industry. The program contained six contributed talks out of eight submitted for presentation. The workshop organizers reviewed the abstracts for quality and scope. A total of 42 registrations were received and the attendance occupied the lecture room to the brink. Slides and abstracts from all talks are available from the workshop home page.1 Videos of the presentations are available in the NetPL YouTube channel.2.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 39-41 |
| Number of pages | 3 |
| Journal | Computer Communication Review |
| Volume | 47 |
| Issue number | 5 |
| DOIs | |
| State | Published - Oct 2017 |
Bibliographical note
KAUST Repository Item: Exported on 2020-10-01Keywords
- Network verification
- Programming languages
- Software defined networking
ASJC Scopus subject areas
- Software
- Computer Networks and Communications