Report on Networking and Programming Languages 2017

N. Bjørner, M. Canini, Nik Sultana
{"title":"Report on Networking and Programming Languages 2017","authors":"N. Bjørner, M. Canini, Nik Sultana","doi":"10.1145/3155055.3155061","DOIUrl":null,"url":null,"abstract":"The third workshop on Networking and Programming Languages, NetPL 2017, was held in conjunction with SIGCOMM 2017. The workshop series attracts invited speakers from academia and industry and a selection of contributed abstracts for short presentations. NetPL brings together researchers 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 highlights 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 papers 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: http://conferences.sigcomm.org/sigcomm/2017/workshop-netpl.html. Videos of the presentations are available in the NetPL YouTube channel: https://www.youtube.com/channel/UCqU8E2n4MHthZUVb1xK2nRQ.","PeriodicalId":403234,"journal":{"name":"Comput. Commun. Rev.","volume":"2015 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Comput. Commun. Rev.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3155055.3155061","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

Abstract

The third workshop on Networking and Programming Languages, NetPL 2017, was held in conjunction with SIGCOMM 2017. The workshop series attracts invited speakers from academia and industry and a selection of contributed abstracts for short presentations. NetPL brings together researchers 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 highlights 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 papers 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: http://conferences.sigcomm.org/sigcomm/2017/workshop-netpl.html. Videos of the presentations are available in the NetPL YouTube channel: https://www.youtube.com/channel/UCqU8E2n4MHthZUVb1xK2nRQ.
2017年网络和编程语言报告
第三届网络和编程语言研讨会NetPL 2017与SIGCOMM 2017同期举行。该系列讲习班吸引了来自学术界和工业界的特邀演讲者,并精选了一些简短的演讲摘要。NetPL汇集了来自网络社区的研究人员以及来自编程语言和验证社区的研究人员。该系列研讨会是一个及时的论坛,讨论这些社区交叉领域的令人兴奋的趋势、技术和科学进步。我们通过三个趋势来描述受邀演讲中的一些亮点:网络机器架构的进步、网络编程抽象和网络验证。NetPL邀请了五位演讲者,其中四位来自学术界,一位来自工业界。该计划包含了提交的八篇论文中的六篇。研讨会组织者审查了摘要的质量和范围。总共收到了42个注册,出席者几乎占据了讲堂的边缘。所有演讲的幻灯片和摘要都可以在研讨会的主页上找到:http://conferences.sigcomm.org/sigcomm/2017/workshop-netpl.html。演示视频可在NetPL YouTube频道:https://www.youtube.com/channel/UCqU8E2n4MHthZUVb1xK2nRQ上获得。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信