Show simple item record

dc.contributor.authorBjorner, Nikolaj
dc.contributor.authorCanini, Marco
dc.contributor.authorSultana, Nik
dc.date.accessioned2018-01-15T06:10:41Z
dc.date.available2018-01-15T06:10:41Z
dc.date.issued2017-10-26
dc.identifier.citationBjorner N, Canini M, Sultana N (2017) Report on Networking and Programming Languages 2017. ACM SIGCOMM Computer Communication Review 47: 39–41. Available: http://dx.doi.org/10.1145/3155055.3155061.
dc.identifier.issn0146-4833
dc.identifier.doi10.1145/3155055.3155061
dc.identifier.urihttp://hdl.handle.net/10754/626766
dc.description.abstractThe 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.
dc.publisherAssociation for Computing Machinery (ACM)
dc.relation.urlhttps://dl.acm.org/citation.cfm?doid=3155055.3155061
dc.rightsThis article is an editorial note submitted to CCR. It has NOT been peer reviewed. The author takes full responsibility for this article's technical content. Comments can be posted through CCR Online.
dc.subjectNetwork verification
dc.subjectProgramming languages
dc.subjectSoftware defined networking
dc.titleReport on Networking and Programming Languages 2017
dc.typeArticle
dc.contributor.departmentComputer, Electrical and Mathematical Sciences and Engineering (CEMSE) Division
dc.contributor.departmentComputer Science Program
dc.identifier.journalACM SIGCOMM Computer Communication Review
dc.eprint.versionPre-print
dc.contributor.institutionMicrosoft Research
dc.contributor.institutionUniversity of Pennsulvania
kaust.personCanini, Marco
refterms.dateFOA2018-06-13T21:01:38Z
dc.date.published-online2017-10-26
dc.date.published-print2017-10-25


Files in this item

Thumbnail
Name:
acmdl17-152.pdf
Size:
137.0Kb
Format:
PDF
Description:
Preprint

This item appears in the following Collection(s)

Show simple item record