{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:31:15Z","timestamp":1746246675230,"version":"3.37.3"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T00:00:00Z","timestamp":1628467200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["HR0011-17-C-0047"],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CNS-1703493"],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NSF (National Science Foundation)","award":["FMitF-1837030"]},{"name":"Defense Advanced Research Projects Agency","award":["HR0011-20-C-0160"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,9]]},"DOI":"10.1145\/3452296.3472903","type":"proceedings-article","created":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T18:13:15Z","timestamp":1628532795000},"page":"731-747","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Lucid"],"prefix":"10.1145","author":[{"given":"John","family":"Sonchack","sequence":"first","affiliation":[{"name":"Princeton University"}]},{"given":"Devon","family":"Loehr","sequence":"additional","affiliation":[{"name":"Princeton University"}]},{"given":"Jennifer","family":"Rexford","sequence":"additional","affiliation":[{"name":"Princeton University"}]},{"given":"David","family":"Walker","sequence":"additional","affiliation":[{"name":"Princeton University"}]}],"member":"320","published-online":{"date-parts":[[2021,8,9]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Francis Matus, Rong Pan, Navindra Yadav, and George Varghese.","author":"Alizadeh Mohammad","year":"2014","unstructured":"Mohammad Alizadeh , Tom Edsall , Sarang Dharmapurikar , Ramanan Vaidyanathan , Kevin Chu , Andy Fingerhut , The Vinh Lam , Francis Matus, Rong Pan, Navindra Yadav, and George Varghese. 2014 . CONGA : Distributed congestion-aware load balancing for datacenters. In ACM SIGCOMM. 503--514. Mohammad Alizadeh, Tom Edsall, Sarang Dharmapurikar, Ramanan Vaidyanathan, Kevin Chu, Andy Fingerhut, The Vinh Lam, Francis Matus, Rong Pan, Navindra Yadav, and George Varghese. 2014. CONGA: Distributed congestion-aware load balancing for datacenters. In ACM SIGCOMM. 503--514."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"volume-title":"International Colloquium on Automata, Languages, and Programming","author":"Arbitman Yuriy","key":"e_1_3_2_2_3_1","unstructured":"Yuriy Arbitman , Moni Naor , and Gil Segev . 2009. De-amortized cuckoo hashing: Provable worst-case performance and experimental results . In International Colloquium on Automata, Languages, and Programming . Springer , 107--118. Yuriy Arbitman, Moni Naor, and Gil Segev. 2009. De-amortized cuckoo hashing: Provable worst-case performance and experimental results. In International Colloquium on Automata, Languages, and Programming. Springer, 107--118."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","unstructured":"Pat Bosshart Glen Gibb Hun-Seok Kim George Varghese Nick McKeown Martin Izzard Fernando Mujica and Mark Horowitz. 2013. Forwarding metamorphosis: Fast programmable match-action processing in hardware for SDN. In ACM SIGCOMM. 99--110. Pat Bosshart Glen Gibb Hun-Seok Kim George Varghese Nick McKeown Martin Izzard Fernando Mujica and Mark Horowitz. 2013. Forwarding metamorphosis: Fast programmable match-action processing in hardware for SDN. In ACM SIGCOMM . 99--110.","DOI":"10.1145\/2486001.2486011"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3405669.3405819"},{"key":"e_1_3_2_2_7_1","volume-title":"International Conference on Typed Lambda Calculi and Applications.","author":"DeLine Rob","year":"1999","unstructured":"Rob DeLine and Manuel Fahndrich . 1999 . Natural deduction for intuitionistic non-commutative linear logic . In International Conference on Typed Lambda Calculi and Applications. Rob DeLine and Manuel Fahndrich. 1999. Natural deduction for intuitionistic non-commutative linear logic. In International Conference on Typed Lambda Calculi and Applications."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_2_9_1","volume-title":"Rui Miao, Yu Zhou, Bingchuan Tian, Chen Sun, Dennis Cai, Ming Zhang, and Minlan Yu.","author":"Gao Jiaqi","year":"2020","unstructured":"Jiaqi Gao , Ennan Zhai , Hongqiang Harry Liu , Rui Miao, Yu Zhou, Bingchuan Tian, Chen Sun, Dennis Cai, Ming Zhang, and Minlan Yu. 2020 b. Lyra : A Cross-Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs. In ACM SIGCOMM. 435--450. Jiaqi Gao, Ennan Zhai, Hongqiang Harry Liu, Rui Miao, Yu Zhou, Bingchuan Tian, Chen Sun, Dennis Cai, Ming Zhang, and Minlan Yu. 2020b. Lyra: A Cross-Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs. In ACM SIGCOMM. 435--450."},{"key":"e_1_3_2_2_10_1","volume-title":"Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, and Aarti Gupta.","author":"Gao Xiangyu","year":"2020","unstructured":"Xiangyu Gao , Taegyun Kim , Michael D. Wong , Divya Raghunathan , Aatish Kishan Varma , Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, and Aarti Gupta. 2020 a. Switch Code Generation Using Program Synthesis. In ACM SIGCOMM. 44--61. Xiangyu Gao, Taegyun Kim, Michael D. Wong, Divya Raghunathan, Aatish Kishan Varma, Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, and Aarti Gupta. 2020a. Switch Code Generation Using Program Synthesis. In ACM SIGCOMM. 44--61."},{"key":"e_1_3_2_2_11_1","unstructured":"The P4.org API Working Group. [n.d.]. P4Runtime Specification. https:\/\/p4lang.github.io\/p4runtime\/spec\/main\/P4Runtime-Spec.html The P4.org API Working Group. [n.d.]. P4Runtime Specification. https:\/\/p4lang.github.io\/p4runtime\/spec\/main\/P4Runtime-Spec.html"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/65.912717"},{"key":"e_1_3_2_2_13_1","first-page":"249","article-title":"ElasticTree: Saving energy in data center networks","volume":"10","author":"Heller Brandon","year":"2010","unstructured":"Brandon Heller , Srinivasan Seetharaman , Priya Mahadevan , Yiannis Yiakoumis , Puneet Sharma , Sujata Banerjee , and Nick McKeown . 2010 . ElasticTree: Saving energy in data center networks . In USENIX Networked Systems Design and Implementation , Vol. 10. 249 -- 264 . Brandon Heller, Srinivasan Seetharaman, Priya Mahadevan, Yiannis Yiakoumis, Puneet Sharma, Sujata Banerjee, and Nick McKeown. 2010. ElasticTree: Saving energy in data center networks. In USENIX Networked Systems Design and Implementation, Vol. 10. 249--264.","journal-title":"USENIX Networked Systems Design and Implementation"},{"key":"e_1_3_2_2_14_1","volume-title":"Jennifer Rexford, David Walker, and Rob Harrison.","author":"Hogan Mary","year":"2020","unstructured":"Mary Hogan , Shir Landau-Feibish , Mina Tahmasbi Arashloo , Jennifer Rexford, David Walker, and Rob Harrison. 2020 . Elastic Switch Programming with P4All. In ACM SIGCOMM HotNets Networks . 168--174. Mary Hogan, Shir Landau-Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker, and Rob Harrison. 2020. Elastic Switch Programming with P4All. In ACM SIGCOMM HotNets Networks. 168--174."},{"key":"e_1_3_2_2_15_1","volume-title":"USENIX Symposium on Networked Systems Design and Implementation. 701--721","author":"Hsu Kuo-Feng","year":"2020","unstructured":"Kuo-Feng Hsu , Ryan Beckett , Ang Chen , Jennifer Rexford , and David Walker . 2020 . Contra: A programmable system for performance-aware routing . In USENIX Symposium on Networked Systems Design and Implementation. 701--721 . Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, and David Walker. 2020. Contra: A programmable system for performance-aware routing. In USENIX Symposium on Networked Systems Design and Implementation. 701--721."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365609.3365848"},{"key":"e_1_3_2_2_17_1","volume-title":"Enforcing high-level protocols in low-level software. SIGPLAN Notices 36 (May","author":"Igarashi Atsushi","year":"2001","unstructured":"Atsushi Igarashi and Naoki Kobayashi . 2001. Enforcing high-level protocols in low-level software. SIGPLAN Notices 36 (May 2001 ). Issue 5. Atsushi Igarashi and Naoki Kobayashi. 2001. Enforcing high-level protocols in low-level software. SIGPLAN Notices 36 (May 2001). Issue 5."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890968"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87744-8_51"},{"key":"e_1_3_2_2_20_1","volume-title":"USENIX Symposium on Networked Systems Design and Implementation. 399--412","author":"Liu Vincent","year":"2013","unstructured":"Vincent Liu , Daniel Halperin , Arvind Krishnamurthy , and Thomas Anderson . 2013 . F10: A Fault-Tolerant Engineered Network . In USENIX Symposium on Networked Systems Design and Implementation. 399--412 . Vincent Liu, Daniel Halperin, Arvind Krishnamurthy, and Thomas Anderson. 2013. F10: A Fault-Tolerant Engineered Network. In USENIX Symposium on Networked Systems Design and Implementation. 399--412."},{"key":"e_1_3_2_2_21_1","volume-title":"Jaqen: A High-Performance Switch-Native Approach for Detecting and Mitigating Volumetric DDoS Attacks with Programmable Switches. In USENIX Security Symposium.","author":"Liu Zaoxing","year":"2021","unstructured":"Zaoxing Liu , Hun Namkung , Georgios Nikolaidis , Jeongkeun Lee , Changhoon Kim , Xin Jin , Vladimir Braverman , Minlan Yu , and Vyas Sekar . 2021 . Jaqen: A High-Performance Switch-Native Approach for Detecting and Mitigating Volumetric DDoS Attacks with Programmable Switches. In USENIX Security Symposium. Zaoxing Liu, Hun Namkung, Georgios Nikolaidis, Jeongkeun Lee, Changhoon Kim, Xin Jin, Vladimir Braverman, Minlan Yu, and Vyas Sekar. 2021. Jaqen: A High-Performance Switch-Native Approach for Detecting and Mitigating Volumetric DDoS Attacks with Programmable Switches. In USENIX Security Symposium."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_2_23_1","unstructured":"Tim Nelson Andrew D. Ferguson Michael J.G. Scheer and Shriram Krishnamurthi. 2014. Tierless Programming and Reasoning for Software-Defined Networks. In USENIX Networked Systems Design and Implementation. 519--531. Tim Nelson Andrew D. Ferguson Michael J.G. Scheer and Shriram Krishnamurthi. 2014. Tierless Programming and Reasoning for Software-Defined Networks. In USENIX Networked Systems Design and Implementation . 519--531."},{"key":"e_1_3_2_2_24_1","volume-title":"Yury Audzevich, Sergio L\u00f3pez-Buedo, and Andrew W Moore.","author":"Neugebauer Rolf","year":"2018","unstructured":"Rolf Neugebauer , Gianni Antichi , Jos\u00e9 Fernando Zazo , Yury Audzevich, Sergio L\u00f3pez-Buedo, and Andrew W Moore. 2018 . Understanding PCIe performance for end host networking. In ACM SIGCOMM. ACM , 327--341. Rolf Neugebauer, Gianni Antichi, Jos\u00e9 Fernando Zazo, Yury Audzevich, Sergio L\u00f3pez-Buedo, and Andrew W Moore. 2018. Understanding PCIe performance for end host networking. In ACM SIGCOMM. ACM, 327--341."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgor.2003.12.002"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48959-2_21"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373360.3380839"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"crossref","unstructured":"Anirudh Sivaraman Alvin Cheung Mihai Budiu Changhoon Kim Mohammad Alizadeh Hari Balakrishnan George Varghese Nick McKeown and Steve Licking. 2016. Packet transactions: High-level programming for line-rate switches. In ACM SIGCOMM. 15--28. Anirudh Sivaraman Alvin Cheung Mihai Budiu Changhoon Kim Mohammad Alizadeh Hari Balakrishnan George Varghese Nick McKeown and Steve Licking. 2016. Packet transactions: High-level programming for line-rate switches. In ACM SIGCOMM . 15--28.","DOI":"10.1145\/2934872.2934900"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"crossref","unstructured":"Steffen Smolka Praveen Kumar David M. Kahn Nate Foster Justin Hsu Dexter Kozen and Alexandra Silva. 2019. Scalable Verification of Probabilistic Networks. In ACM SIGPLAN Programming Language Design and Implementation. 190--203. Steffen Smolka Praveen Kumar David M. Kahn Nate Foster Justin Hsu Dexter Kozen and Alexandra Silva. 2019. Scalable Verification of Probabilistic Networks. In ACM SIGPLAN Programming Language Design and Implementation . 190--203.","DOI":"10.1145\/3314221.3314639"},{"key":"e_1_3_2_2_30_1","volume-title":"USENIX Annual Technical Conference. 823--835","author":"Sonchack John","year":"2018","unstructured":"John Sonchack , Oliver Michel , Adam J Aviv , Eric Keller , and Jonathan M Smith . 2018 . Scaling hardware accelerated network monitoring to concurrent and dynamic queries with *Flow . In USENIX Annual Technical Conference. 823--835 . John Sonchack, Oliver Michel, Adam J Aviv, Eric Keller, and Jonathan M Smith. 2018. Scaling hardware accelerated network monitoring to concurrent and dynamic queries with *Flow. In USENIX Annual Technical Conference. 823--835."},{"key":"e_1_3_2_2_31_1","volume-title":"Taurus: An intelligent data plane. arXiv preprint arXiv:2002.08987","author":"Swamy Tushar","year":"2020","unstructured":"Tushar Swamy , Alexander Rucker , Muhammad Shahbaz , and Kunle Olukotun . 2020 . Taurus: An intelligent data plane. arXiv preprint arXiv:2002.08987 (2020). Tushar Swamy, Alexander Rucker, Muhammad Shahbaz, and Kunle Olukotun. 2020. Taurus: An intelligent data plane. arXiv preprint arXiv:2002.08987 (2020)."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"crossref","unstructured":"Bal\u00e1zs Vass Erika B\u00e9rczi-Kov\u00e1cs Costin Raiciu and G\u00e1bor R\u00e9tv\u00e1ri. 2020. Compiling Packet Programs to Reconfigurable Switches: Theory and Algorithms. In P4 Workshop in Europe. 28--35. Bal\u00e1zs Vass Erika B\u00e9rczi-Kov\u00e1cs Costin Raiciu and G\u00e1bor R\u00e9tv\u00e1ri. 2020. Compiling Packet Programs to Reconfigurable Switches: Theory and Algorithms. In P4 Workshop in Europe . 28--35.","DOI":"10.1145\/3426744.3431332"},{"key":"e_1_3_2_2_33_1","volume-title":"StackMap: Low-Latency Networking with the OS Stack and Dedicated NICs. In USENIX Annual Technical Conference. 43--56","author":"Yasukata Kenichi","year":"2016","unstructured":"Kenichi Yasukata , Michio Honda , Douglas Santry , and Lars Eggert . 2016 . StackMap: Low-Latency Networking with the OS Stack and Dedicated NICs. In USENIX Annual Technical Conference. 43--56 . Kenichi Yasukata, Michio Honda, Douglas Santry, and Lars Eggert. 2016. StackMap: Low-Latency Networking with the OS Stack and Dedicated NICs. In USENIX Annual Technical Conference. 43--56."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405870"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3422604.3425946"}],"event":{"name":"SIGCOMM '21: ACM SIGCOMM 2021 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Virtual Event USA","acronym":"SIGCOMM '21"},"container-title":["Proceedings of the 2021 ACM SIGCOMM 2021 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452296.3472903","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452296.3472903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T07:29:15Z","timestamp":1673076555000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452296.3472903"}},"subtitle":["a language for control in the data plane"],"short-title":[],"issued":{"date-parts":[[2021,8,9]]},"references-count":35,"alternative-id":["10.1145\/3452296.3472903","10.1145\/3452296"],"URL":"https:\/\/doi.org\/10.1145\/3452296.3472903","relation":{},"subject":[],"published":{"date-parts":[[2021,8,9]]},"assertion":[{"value":"2021-08-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}