Report on networking and programming languages 2017

Nikolaj Bjørner, Marco Canini, Nik Sultana

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


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 languageEnglish (US)
Pages (from-to)39-41
Number of pages3
JournalComputer Communication Review
Issue number5
StatePublished - Oct 2017

Bibliographical note

KAUST Repository Item: Exported on 2020-10-01


  • Network verification
  • Programming languages
  • Software defined networking

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications


Dive into the research topics of 'Report on networking and programming languages 2017'. Together they form a unique fingerprint.

Cite this