{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T02:16:58Z","timestamp":1673489818282},"reference-count":4,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2017,10,25]],"date-time":"2017-10-25T00:00:00Z","timestamp":1508889600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGCOMM Comput. Commun. Rev."],"published-print":{"date-parts":[[2017,10,25]]},"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.<\/jats:p>","DOI":"10.1145\/3155055.3155061","type":"journal-article","created":{"date-parts":[[2017,10,26]],"date-time":"2017-10-26T14:19:33Z","timestamp":1509027573000},"page":"39-41","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Report on Networking and Programming Languages 2017"],"prefix":"10.1145","volume":"47","author":[{"given":"Nikolaj","family":"Bjorner","sequence":"first","affiliation":[{"name":"Microsoft Research"}]},{"given":"Marco","family":"Canini","sequence":"additional","affiliation":[{"name":"KAUST"}]},{"given":"Nik","family":"Sultana","sequence":"additional","affiliation":[{"name":"University of Pennsulvania"}]}],"member":"320","published-online":{"date-parts":[[2017,10,25]]},"reference":[{"key":"e_1_2_1_1_2","first-page":"27","volume-title":"Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013","author":"Khurshid A.","year":"2013","unstructured":"A. Khurshid , X. Zou , W. Zhou , M. Caesar , and P. B. Godfrey . VeriFlow: Verifying Network-Wide Invariants in Real Time . In Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013 , Lombard, IL, USA , April 2-5, 2013 , pages 15\u2013 27 , 2013. A. Khurshid, X. Zou, W. Zhou, M. Caesar, and P. B. Godfrey. VeriFlow: Verifying Network-Wide Invariants in Real Time. In Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013, Lombard, IL, USA, April 2-5, 2013, pages 15\u201327, 2013."},{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098824"},{"key":"e_1_2_1_3_2","first-page":"718","volume-title":"Verifying Reachability in Networks with Mutable Datapaths. In 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017","author":"Panda A.","year":"2017","unstructured":"A. Panda , O. Lahav , K. J. Argyraki , M. Sagiv , and S. Shenker . Verifying Reachability in Networks with Mutable Datapaths. In 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017 , Boston, MA, USA , March 27-29, 2017 , pages 699\u2013 718 , 2017. A. Panda, O. Lahav, K. J. Argyraki, M. Sagiv, and S. Shenker. Verifying Reachability in Networks with Mutable Datapaths. In 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017, Boston, MA, USA, March 27-29, 2017, pages 699\u2013718, 2017."},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098830"}],"container-title":["ACM SIGCOMM Computer Communication Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3155055.3155061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T21:17:23Z","timestamp":1672521443000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3155055.3155061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,25]]},"references-count":4,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,10,25]]}},"alternative-id":["10.1145\/3155055.3155061"],"URL":"https:\/\/doi.org\/10.1145\/3155055.3155061","relation":{},"ISSN":["0146-4833"],"issn-type":[{"value":"0146-4833","type":"print"}],"subject":[],"published":{"date-parts":[[2017,10,25]]},"assertion":[{"value":"2017-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}