Report on Networking and Programming Languages 2017

被引:2
作者
Bjorner, Nikolaj [1 ]
Canini, Marco [2 ]
Sultana, Nik [3 ]
机构
[1] Microsoft Res, Redmond, WA 98052 USA
[2] KAUST, Thuwal, Saudi Arabia
[3] Univ Penn, Philadelphia, PA 19104 USA
关键词
Programming Languages; Software Defined Networking; Network Verification;
D O I
10.1145/3155055.3155061
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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 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)
引用
收藏
页码:39 / 41
页数:3
相关论文
共 4 条
[1]  
Khurshid A., 2013, P 10 USENIX S NETW S, P15
[2]  
MIAO R, 2017, P C ACM SPEC INT GRO, P15, DOI DOI 10.1145/3098822.3098824
[3]  
Panda A, 2017, PROCEEDINGS OF NSDI '17: 14TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION, P699
[4]   Quantitative Network Monitoring with NetQRE [J].
Yuan, Yifei ;
Lin, Dong ;
Mishra, Ankit ;
Marwaha, Sajal ;
Alur, Rajeev ;
Loo, Boon Thau .
SIGCOMM '17: PROCEEDINGS OF THE 2017 CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION, 2017, :99-112