{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T01:46:40Z","timestamp":1787017600778,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":102,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T00:00:00Z","timestamp":1661126400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFB2104100"],"award-info":[{"award-number":["2020YFB2104100"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172008"],"award-info":[{"award-number":["62172008"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,22]]},"DOI":"10.1145\/3544216.3544247","type":"proceedings-article","created":{"date-parts":[[2022,8,11]],"date-time":"2022-08-11T18:58:16Z","timestamp":1660244296000},"page":"350-364","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Meissa"],"prefix":"10.1145","author":[{"given":"Naiqian","family":"Zheng","sequence":"first","affiliation":[{"name":"Peking University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mengqi","family":"Liu","sequence":"additional","affiliation":[{"name":"Alibaba Group"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ennan","family":"Zhai","sequence":"additional","affiliation":[{"name":"Alibaba Group"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongqiang Harry","family":"Liu","sequence":"additional","affiliation":[{"name":"Alibaba Group"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yifan","family":"Li","sequence":"additional","affiliation":[{"name":"Alibaba Group"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kaicheng","family":"Yang","sequence":"additional","affiliation":[{"name":"Peking University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xuanzhe","family":"Liu","sequence":"additional","affiliation":[{"name":"Peking University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xin","family":"Jin","sequence":"additional","affiliation":[{"name":"Peking University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,8,22]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2020. bf-p4c backend bug 1 detected by Gauntlet. https:\/\/github.com\/p4gauntlet\/gauntlet\/blob\/master\/bugs\/tofino\/semantic\/semantic_bug1.p4.  2020. bf-p4c backend bug 1 detected by Gauntlet. https:\/\/github.com\/p4gauntlet\/gauntlet\/blob\/master\/bugs\/tofino\/semantic\/semantic_bug1.p4."},{"key":"e_1_3_2_2_2_1","unstructured":"2020. bf-p4c backend bug 3 detected by Gauntlet. https:\/\/github.com\/p4gauntlet\/gauntlet\/blob\/master\/bugs\/tofino\/semantic\/semantic_bug3.p4.  2020. bf-p4c backend bug 3 detected by Gauntlet. https:\/\/github.com\/p4gauntlet\/gauntlet\/blob\/master\/bugs\/tofino\/semantic\/semantic_bug3.p4."},{"key":"e_1_3_2_2_3_1","unstructured":"2020. bf-p4c backend bug 6 detected by Gauntlet. https:\/\/github.com\/p4gauntlet\/gauntlet\/blob\/master\/bugs\/tofino\/semantic\/semantic_bug6.p4.  2020. bf-p4c backend bug 6 detected by Gauntlet. https:\/\/github.com\/p4gauntlet\/gauntlet\/blob\/master\/bugs\/tofino\/semantic\/semantic_bug6.p4."},{"key":"e_1_3_2_2_4_1","unstructured":"2020. P4c issue 2147. https:\/\/github.com\/p4lang\/p4c\/issues\/2147.  2020. P4c issue 2147. https:\/\/github.com\/p4lang\/p4c\/issues\/2147."},{"key":"e_1_3_2_2_5_1","unstructured":"2020. P4c issue 2343. https:\/\/github.com\/p4lang\/p4c\/issues\/2343.  2020. P4c issue 2343. https:\/\/github.com\/p4lang\/p4c\/issues\/2343."},{"key":"e_1_3_2_2_6_1","unstructured":"2021. Data Plane Development Kit. https:\/\/www.dpdk.org.  2021. Data Plane Development Kit. https:\/\/www.dpdk.org."},{"key":"e_1_3_2_2_7_1","unstructured":"2021. Open Tofino. https:\/\/github.com\/barefootnetworks\/Open-Tofino.  2021. Open Tofino. https:\/\/github.com\/barefootnetworks\/Open-Tofino."},{"key":"e_1_3_2_2_8_1","unstructured":"2021. PTF: Packet testing framework. https:\/\/github.com\/p4lang\/ptf.  2021. PTF: Packet testing framework. https:\/\/github.com\/p4lang\/ptf."},{"key":"e_1_3_2_2_9_1","volume-title":"Tiramisu: Fast multilayer network verification. In USENIX NSDI.","author":"Abhashkumar Anubhavnidhi","year":"2020","unstructured":"Anubhavnidhi Abhashkumar , Aaron Gember-Jacobson , and Aditya Akella . 2020 . Tiramisu: Fast multilayer network verification. In USENIX NSDI. Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Tiramisu: Fast multilayer network verification. In USENIX NSDI."},{"key":"e_1_3_2_2_10_1","volume-title":"Introduction to software testing","author":"Ammann Paul","unstructured":"Paul Ammann and Jeff Offutt . 2016. Introduction to software testing . Cambridge University Press . Paul Ammann and Jeff Offutt. 2016. Introduction to software testing. Cambridge University Press."},{"key":"e_1_3_2_2_11_1","volume-title":"Ahmed Saeed, Mohammad Alizadeh, and Hari Balakrishnan.","author":"Arun Venkat","year":"2021","unstructured":"Venkat Arun , Mina Tahmasbi Arashloo , Ahmed Saeed, Mohammad Alizadeh, and Hari Balakrishnan. 2021 . Toward formally verifying congestion control behavior. In ACM SIGCOMM. Venkat Arun, Mina Tahmasbi Arashloo, Ahmed Saeed, Mohammad Alizadeh, and Hari Balakrishnan. 2021. Toward formally verifying congestion control behavior. In ACM SIGCOMM."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_14"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"crossref","unstructured":"Ryan Beckett Aarti Gupta Ratul Mahajan and David Walker. 2017. A general approach to network configuration verification. In ACM SIGCOMM.  Ryan Beckett Aarti Gupta Ratul Mahajan and David Walker. 2017. A general approach to network configuration verification. In ACM SIGCOMM .","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"crossref","unstructured":"Ryan Beckett Ratul Mahajan Todd Millstein Jitendra Padhye and David Walker. 2016. Don't mind the gap: Bridging network-wide objectives and device-level configurations. In ACM SIGCOMM.  Ryan Beckett Ratul Mahajan Todd Millstein Jitendra Padhye and David Walker. 2016. Don't mind the gap: Bridging network-wide objectives and device-level configurations. In ACM SIGCOMM .","DOI":"10.1145\/2934872.2934909"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405894"},{"key":"e_1_3_2_2_16_1","volume-title":"Metha: Network Verifiers Need To Be Correct Too!. In USENIX NSDI.","author":"Birkner Rudiger","year":"2021","unstructured":"Rudiger Birkner , Tobias Brodmann , Petar Tsankov , Laurent Vanbever , and Martin T Vechev . 2021 . Metha: Network Verifiers Need To Be Correct Too!. In USENIX NSDI. Rudiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, and Martin T Vechev. 2021. Metha: Network Verifiers Need To Be Correct Too!. In USENIX NSDI."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"crossref","unstructured":"Pietro Bressana Noa Zilberman and Robert Soule. 2020. Finding hard-to-find data plane bugs with a PTA. In ACM CoNEXT.  Pietro Bressana Noa Zilberman and Robert Soule. 2020. Finding hard-to-find data plane bugs with a PTA. In ACM CoNEXT .","DOI":"10.1145\/3386367.3431313"},{"key":"e_1_3_2_2_19_1","volume-title":"Engler","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson R . Engler . 2008 . Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In USENIX OSDI. Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. 2008. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In USENIX OSDI."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_2_21_1","volume-title":"Avenir: Managing Data Plane Diversity with Control Plane Synthesis. In USENIX NSDI.","author":"Campbell Eric Hayden","year":"2021","unstructured":"Eric Hayden Campbell , William T Hallahan , Priya Srikumar , Carmelo Cascone , Jed Liu , Vignesh Ramamurthy , Hossein Hojjat , Ruzica Piskac , Robert Soule , and Nate Foster . 2021 . Avenir: Managing Data Plane Diversity with Control Plane Synthesis. In USENIX NSDI. Eric Hayden Campbell, William T Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soule, and Nate Foster. 2021. Avenir: Managing Data Plane Diversity with Control Plane Synthesis. In USENIX NSDI."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3366697"},{"key":"e_1_3_2_2_23_1","unstructured":"Yiyang Chang Sanjay Rao and Mohit Tawarmalani. 2017. Robust validation of network designs under uncertain demands and failures. In USENIX NSDI.  Yiyang Chang Sanjay Rao and Mohit Tawarmalani. 2017. Robust validation of network designs under uncertain demands and failures. In USENIX NSDI ."},{"key":"e_1_3_2_2_24_1","volume-title":"International Conference on Software Engineering.","author":"Chen Junjie","year":"2016","unstructured":"Junjie Chen , Wenxiang Hu , Dan Hao , Yingfei Xiong , Hongyu Zhang , Lu Zhang , and Bing Xie . 2016 . An empirical comparison of compiler testing techniques . In International Conference on Software Engineering. Junjie Chen, Wenxiang Hu, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, and Bing Xie. 2016. An empirical comparison of compiler testing techniques. In International Conference on Software Engineering."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405865"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"crossref","unstructured":"Dragos Dumitrescu Radu Stoenescu Lorina Negreanu and Costin Raiciu. 2020. bf4: towards bug-free P4 programs. In ACM SIGCOMM.  Dragos Dumitrescu Radu Stoenescu Lorina Negreanu and Costin Raiciu. 2020. bf4: towards bug-free P4 programs. In ACM SIGCOMM .","DOI":"10.1145\/3387514.3405888"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"crossref","unstructured":"Dragos Dumitrescu Radu Stoenescu Matei Popovici Lorina Negreanu and Costin Raiciu. 2019. Dataplane equivalence and its applications. In USENIX NSDI.  Dragos Dumitrescu Radu Stoenescu Matei Popovici Lorina Negreanu and Costin Raiciu. 2019. Dataplane equivalence and its applications. In USENIX NSDI .","DOI":"10.1145\/3234200.3234224"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"crossref","unstructured":"Tomer Eliyahu Yafim Kazak Guy Katz and Michael Schapira. 2021. Verifying learning-augmented systems. In ACM SIGCOMM.  Tomer Eliyahu Yafim Kazak Guy Katz and Michael Schapira. 2021. Verifying learning-augmented systems. In ACM SIGCOMM .","DOI":"10.1145\/3452296.3472936"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"crossref","unstructured":"Tiago Ferreira Harrison Brewton Loris D'Antoni and Alexandra Silva. 2021. Prognosis: closed-box analysis of network protocol implementations. In ACM SIGCOMM.  Tiago Ferreira Harrison Brewton Loris D'Antoni and Alexandra Silva. 2021. Prognosis: closed-box analysis of network protocol implementations. In ACM SIGCOMM .","DOI":"10.1145\/3452296.3472938"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185499"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"crossref","unstructured":"Aaron Gember-Jacobson Raajay Viswanathan Aditya Akella and Ratul Mahajan. 2016. Fast control plane analysis using an abstract representation. In ACM SIGCOMM.  Aaron Gember-Jacobson Raajay Viswanathan Aditya Akella and Ratul Mahajan. 2016. Fast control plane analysis using an abstract representation. In ACM SIGCOMM .","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"crossref","unstructured":"Patrice Godefroid. 2007. Compositional Dynamic Test Generation. SIGPLAN Not. (2007).  Patrice Godefroid. 2007. Compositional Dynamic Test Generation. SIGPLAN Not . (2007).","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_2_34_1","volume-title":"Delta-net: Real-time network verification using atoms. In USENIX NSDI.","author":"Horn Alex","year":"2017","unstructured":"Alex Horn , Ali Kheradmand , and Mukul Prasad . 2017 . Delta-net: Real-time network verification using atoms. In USENIX NSDI. Alex Horn, Ali Kheradmand, and Mukul Prasad. 2017. Delta-net: Real-time network verification using atoms. In USENIX NSDI."},{"key":"e_1_3_2_2_35_1","unstructured":"Qun Huang Siyuan Sheng Xiang Chen Yungang Bao Rui Zhang Yanwei Xu and Gong Zhang. 2021. Toward nearly-zero-error sketching via compressive sensing. In USENIX NSDI.  Qun Huang Siyuan Sheng Xiang Chen Yungang Bao Rui Zhang Yanwei Xu and Gong Zhang. 2021. Toward nearly-zero-error sketching via compressive sensing. In USENIX NSDI ."},{"key":"e_1_3_2_2_36_1","volume-title":"Wei Bai, Feng Zhu, and Yungang Bao.","author":"Huang Qun","year":"2020","unstructured":"Qun Huang , Haifeng Sun , Patrick PC Lee , Wei Bai, Feng Zhu, and Yungang Bao. 2020 . Omnimon : Re-architecting network telemetry with resource efficiency and full accuracy. In ACM SIGCOMM. Qun Huang, Haifeng Sun, Patrick PC Lee, Wei Bai, Feng Zhu, and Yungang Bao. 2020. Omnimon: Re-architecting network telemetry with resource efficiency and full accuracy. In ACM SIGCOMM."},{"key":"e_1_3_2_2_37_1","volume-title":"Automated analysis and debugging of network connectivity policies. Microsoft Research","author":"Jayaraman Karthick","year":"2014","unstructured":"Karthick Jayaraman , Nikolaj Bjorner , Geoff Outhred , and Charlie Kaufman . 2014. Automated analysis and debugging of network connectivity policies. Microsoft Research ( 2014 ). Karthick Jayaraman, Nikolaj Bjorner, Geoff Outhred, and Charlie Kaufman. 2014. Automated analysis and debugging of network connectivity policies. Microsoft Research (2014)."},{"key":"e_1_3_2_2_38_1","volume-title":"Neha Milind Raje, and Parag Sharma.","author":"Jayaraman Karthick","year":"2019","unstructured":"Karthick Jayaraman , Nikolaj Bjorner , Jitu Padhye , Amar Agrawal , Ashish Bhargava , Paul-Andre C Bissonnette , Shane Foster , Andrew Helwer , Mark Kasten , Ivan Lee , Anup Namdhari , Haseeb Niaz , Aniruddha Parkhi , Hanukumar Pinnamraju , Adrian Power , Neha Milind Raje, and Parag Sharma. 2019 . Validating datacenters at scale. In ACM SIGCOMM. Karthick Jayaraman, Nikolaj Bjorner, Jitu Padhye, Amar Agrawal, Ashish Bhargava, Paul-Andre C Bissonnette, Shane Foster, Andrew Helwer, Mark Kasten, Ivan Lee, Anup Namdhari, Haseeb Niaz, Aniruddha Parkhi, Hanukumar Pinnamraju, Adrian Power, Neha Milind Raje, and Parag Sharma. 2019. Validating datacenters at scale. In ACM SIGCOMM."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"crossref","unstructured":"Chuan Jiang Sanjay Rao and Mohit Tawarmalani. 2020. PCF: provably resilient flexible routing. In ACM SIGCOMM.  Chuan Jiang Sanjay Rao and Mohit Tawarmalani. 2020. PCF: provably resilient flexible routing. In ACM SIGCOMM .","DOI":"10.1145\/3387514.3405858"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132764"},{"key":"e_1_3_2_2_41_1","unstructured":"Siva Kesava Reddy Kakarla Ryan Beckett Behnaz Arzani Todd Millstein and George Varghese. 2020. GRooT: Proactive Verification of DNS Configurations. In ACM SIGCOMM.  Siva Kesava Reddy Kakarla Ryan Beckett Behnaz Arzani Todd Millstein and George Varghese. 2020. GRooT: Proactive Verification of DNS Configurations. In ACM SIGCOMM ."},{"key":"e_1_3_2_2_42_1","unstructured":"Siva Kesava Reddy Kakarla Alan Tang Ryan Beckett Karthick Jayaraman Todd Millstein Yuval Tamir and George Varghese. 2020. Finding network misconfigurations by automatic template inference. In USENIX NSDI.  Siva Kesava Reddy Kakarla Alan Tang Ryan Beckett Karthick Jayaraman Todd Millstein Yuval Tamir and George Varghese. 2020. Finding network misconfigurations by automatic template inference. In USENIX NSDI ."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"crossref","unstructured":"Qiao Kang Jiarong Xing Yiming Qiu and Ang Chen. 2021. Probabilistic profiling of stateful data planes for adversarial testing. In ACM ASPLOS.  Qiao Kang Jiarong Xing Yiming Qiu and Ang Chen. 2021. Probabilistic profiling of stateful data planes for adversarial testing. In ACM ASPLOS .","DOI":"10.1145\/3445814.3446764"},{"key":"e_1_3_2_2_44_1","unstructured":"Peyman Kazemian George Varghese and Nick McKeown. 2012. Header space analysis: Static checking for networks. In USENIX NSDI.  Peyman Kazemian George Varghese and Nick McKeown. 2012. Header space analysis: Static checking for networks. In USENIX NSDI ."},{"key":"e_1_3_2_2_45_1","volume-title":"Veriflow: Verifying network-wide invariants in real time. In USENIX NSDI.","author":"Khurshid Ahmed","year":"2013","unstructured":"Ahmed Khurshid , Xuan Zou , Wenxuan Zhou , Matthew Caesar , and P Brighten Godfrey . 2013 . Veriflow: Verifying network-wide invariants in real time. In USENIX NSDI. Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P Brighten Godfrey. 2013. Veriflow: Verifying network-wide invariants in real time. In USENIX NSDI."},{"key":"e_1_3_2_2_46_1","volume":"201","author":"Kim Changhoon","unstructured":"Changhoon Kim , Anirudh Sivaraman , Naga Katta , Antonin Bas , Advait Dixit , and Lawrence J Wobker. 201 5. In-band network telemetry via programmable dataplanes. In ACM SIGCOMM. Changhoon Kim, Anirudh Sivaraman, Naga Katta, Antonin Bas, Advait Dixit, and Lawrence J Wobker. 2015. In-band network telemetry via programmable dataplanes. In ACM SIGCOMM.","journal-title":"Lawrence J Wobker."},{"key":"e_1_3_2_2_47_1","volume-title":"Tea: Enabling state-intensive network functions on programmable switches. In ACM SIGCOMM.","author":"Kim Daehyeok","year":"2020","unstructured":"Daehyeok Kim , Zaoxing Liu , Yibo Zhu , Changhoon Kim , Jeongkeun Lee , Vyas Sekar , and Srinivasan Seshan . 2020 . Tea: Enabling state-intensive network functions on programmable switches. In ACM SIGCOMM. Daehyeok Kim, Zaoxing Liu, Yibo Zhu, Changhoon Kim, Jeongkeun Lee, Vyas Sekar, and Srinivasan Seshan. 2020. Tea: Enabling state-intensive network functions on programmable switches. In ACM SIGCOMM."},{"key":"e_1_3_2_2_48_1","volume-title":"Vyas Sekar, and Srinivasan Seshan.","author":"Kim Daehyeok","year":"2021","unstructured":"Daehyeok Kim , Jacob Nelson , Dan RK Ports , Vyas Sekar, and Srinivasan Seshan. 2021 . Redplane : Enabling fault-tolerant stateful in-switch applications. In ACM SIGCOMM. Daehyeok Kim, Jacob Nelson, Dan RK Ports, Vyas Sekar, and Srinivasan Seshan. 2021. Redplane: Enabling fault-tolerant stateful in-switch applications. In ACM SIGCOMM."},{"key":"e_1_3_2_2_49_1","volume-title":"Kinetic: Verifiable dynamic network control. In USENIX NSDI.","author":"Kim Hyojoon","year":"2015","unstructured":"Hyojoon Kim , Joshua Reich , Arpit Gupta , Muhammad Shahbaz , Nick Feamster , and Russ Clark . 2015 . Kinetic: Verifiable dynamic network control. In USENIX NSDI. Hyojoon Kim, Joshua Reich, Arpit Gupta, Muhammad Shahbaz, Nick Feamster, and Russ Clark. 2015. Kinetic: Verifiable dynamic network control. In USENIX NSDI."},{"key":"e_1_3_2_2_50_1","volume-title":"Symbolic Execution and Program Testing. Commun. ACM","author":"King James C.","year":"1976","unstructured":"James C. King . 1976. Symbolic Execution and Program Testing. Commun. ACM ( 1976 ). James C. King. 1976. Symbolic Execution and Program Testing. Commun. ACM (1976)."},{"key":"e_1_3_2_2_51_1","volume-title":"Efficient state merging in symbolic execution. ACM SIGPLAN Notices","author":"Kuznetsov Volodymyr","year":"2012","unstructured":"Volodymyr Kuznetsov , Johannes Kinder , Stefan Bucur , and George Candea . 2012. Efficient state merging in symbolic execution. ACM SIGPLAN Notices ( 2012 ). Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, and George Candea. 2012. Efficient state merging in symbolic execution. ACM SIGPLAN Notices (2012)."},{"key":"e_1_3_2_2_52_1","volume-title":"ATP: In-network Aggregation for Multi-tenant Learning. In USENIX NSDI. 741--761.","author":"Lao ChonLam","year":"2021","unstructured":"ChonLam Lao , Yanfang Le , Kshiteej Mahajan , Yixi Chen , Wenfei Wu , Aditya Akella , and Michael M Swift . 2021 . ATP: In-network Aggregation for Multi-tenant Learning. In USENIX NSDI. 741--761. ChonLam Lao, Yanfang Le, Kshiteej Mahajan, Yixi Chen, Wenfei Wu, Aditya Akella, and Michael M Swift. 2021. ATP: In-network Aggregation for Multi-tenant Learning. In USENIX NSDI. 741--761."},{"key":"e_1_3_2_2_53_1","volume-title":"Finding deep compiler bugs via guided stochastic program mutation. ACM SIGPLAN Notices","author":"Le Vu","year":"2015","unstructured":"Vu Le , Chengnian Sun , and Zhendong Su. 2015. Finding deep compiler bugs via guided stochastic program mutation. ACM SIGPLAN Notices ( 2015 ). Vu Le, Chengnian Sun, and Zhendong Su. 2015. Finding deep compiler bugs via guided stochastic program mutation. ACM SIGPLAN Notices (2015)."},{"key":"e_1_3_2_2_54_1","volume-title":"Pegasus: Tolerating skewed workloads in distributed storage with in-network coherence directories. In USENIX OSDI.","author":"Li Jialin","year":"2020","unstructured":"Jialin Li , Jacob Nelson , Ellis Michael , Xin Jin , and Dan RK Ports . 2020 . Pegasus: Tolerating skewed workloads in distributed storage with in-network coherence directories. In USENIX OSDI. Jialin Li, Jacob Nelson, Ellis Michael, Xin Jin, and Dan RK Ports. 2020. Pegasus: Tolerating skewed workloads in distributed storage with in-network coherence directories. In USENIX OSDI."},{"key":"e_1_3_2_2_55_1","volume-title":"Yan Zhuang, Fei Feng, Lingbo Tang, Zheng Cao, Ming Zhang, Frank Kelly, Mohammad Alizadeh, and Minlan Yu.","author":"Li Yuliang","year":"2019","unstructured":"Yuliang Li , Rui Miao , Hongqiang Harry Liu , Yan Zhuang, Fei Feng, Lingbo Tang, Zheng Cao, Ming Zhang, Frank Kelly, Mohammad Alizadeh, and Minlan Yu. 2019 . HPCC : High precision congestion control. In ACM SIGCOMM. Yuliang Li, Rui Miao, Hongqiang Harry Liu, Yan Zhuang, Fei Feng, Lingbo Tang, Zheng Cao, Ming Zhang, Frank Kelly, Mohammad Alizadeh, and Minlan Yu. 2019. HPCC: High precision congestion control. In ACM SIGCOMM."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"crossref","unstructured":"Jed Liu William Hallahan Cole Schlesinger Milad Sharif Jeongkeun Lee Robert Soule Han Wang Cualin Cacscaval Nick McKeown and Nate Foster. 2018. P4v: Practical verification for programmable data planes. In ACM SIGCOMM.  Jed Liu William Hallahan Cole Schlesinger Milad Sharif Jeongkeun Lee Robert Soule Han Wang Cualin Cacscaval Nick McKeown and Nate Foster. 2018. P4v: Practical verification for programmable data planes. In ACM SIGCOMM .","DOI":"10.1145\/3230543.3230582"},{"key":"e_1_3_2_2_57_1","volume-title":"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_58_1","unstructured":"Nuno P Lopes Nikolaj Bjorner Patrice Godefroid Karthick Jayaraman and George Varghese. 2015. Checking beliefs in dynamic networks. In USENIX NSDI.  Nuno P Lopes Nikolaj Bjorner Patrice Godefroid Karthick Jayaraman and George Varghese. 2015. Checking beliefs in dynamic networks. In USENIX NSDI ."},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098824"},{"key":"e_1_3_2_2_60_1","first-page":"4","volume-title":"Verification of","author":"Neves Miguel","unstructured":"Miguel Neves , Lucas Freire , Alberto Schaeffer-Filho , and Marinho Barcellos . 2018. Verification of p 4 programs in feasible time using assertions. In ACM CoNEXT. Miguel Neves, Lucas Freire, Alberto Schaeffer-Filho, and Marinho Barcellos. 2018. Verification of p4 programs in feasible time using assertions. In ACM CoNEXT."},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185497"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472889"},{"key":"e_1_3_2_2_63_1","unstructured":"Aurojit Panda Katerina Argyraki Mooly Sagiv Michael Schapira and Scott Shenker. 2015. New directions for network verification. In Summit on Advances in Programming Languages.  Aurojit Panda Katerina Argyraki Mooly Sagiv Michael Schapira and Scott Shenker. 2015. New directions for network verification. In Summit on Advances in Programming Languages ."},{"key":"e_1_3_2_2_64_1","unstructured":"Aurojit Panda Ori Lahav Katerina Argyraki Mooly Sagiv and Scott Shenker. 2017. Verifying reachability in networks with mutable datapaths. In USENIX NSDI.  Aurojit Panda Ori Lahav Katerina Argyraki Mooly Sagiv and Scott Shenker. 2017. Verifying reachability in networks with mutable datapaths. In USENIX NSDI ."},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00062"},{"key":"e_1_3_2_2_66_1","volume-title":"Ali Kheradmand, Brighten Godfrey, and Matthew Caesar.","author":"Prabhu Santhosh","year":"2020","unstructured":"Santhosh Prabhu , Kuan Yen Chou , Ali Kheradmand, Brighten Godfrey, and Matthew Caesar. 2020 . Plankton : Scalable network configuration verification through model checking. In USENIX NSDI. Santhosh Prabhu, Kuan Yen Chou, Ali Kheradmand, Brighten Godfrey, and Matthew Caesar. 2020. Plankton: Scalable network configuration verification through model checking. In USENIX NSDI."},{"key":"e_1_3_2_2_67_1","volume-title":"BYTECODE'13 (ETAPS)","author":"Rojas Jose Miguel","year":"2013","unstructured":"Jose Miguel Rojas and Corina S Pasareanu . 2013 . Compositional symbolic execution through program specialization . BYTECODE'13 (ETAPS) (2013). Jose Miguel Rojas and Corina S Pasareanu. 2013. Compositional symbolic execution through program specialization. BYTECODE'13 (ETAPS) (2013)."},{"key":"e_1_3_2_2_68_1","volume-title":"Gauntlet: Finding bugs in compilers for programmable packet processing. In USENIX OSDI.","author":"Ruffy Fabian","year":"2020","unstructured":"Fabian Ruffy , Tao Wang , and Anirudh Sivaraman . 2020 . Gauntlet: Finding bugs in compilers for programmable packet processing. In USENIX OSDI. Fabian Ruffy, Tao Wang, and Anirudh Sivaraman. 2020. Gauntlet: Finding bugs in compilers for programmable packet processing. In USENIX OSDI."},{"key":"e_1_3_2_2_69_1","unstructured":"Leonid Ryzhyk Nikolaj Bjorner Marco Canini Jean-Baptiste Jeannin Cole Schlesinger Douglas B Terry and George Varghese. 2017. Correct by construction networks using stepwise refinement. In USENIX NSDI.  Leonid Ryzhyk Nikolaj Bjorner Marco Canini Jean-Baptiste Jeannin Cole Schlesinger Douglas B Terry and George Varghese. 2017. Correct by construction networks using stepwise refinement. In USENIX NSDI ."},{"key":"e_1_3_2_2_70_1","volume-title":"Dan RK Ports, and Peter Richtarik","author":"Sapio Amedeo","year":"2019","unstructured":"Amedeo Sapio , Marco Canini , Chen-Yu Ho , Jacob Nelson , Panos Kalnis , Changhoon Kim , Arvind Krishnamurthy , Masoud Moshref , Dan RK Ports, and Peter Richtarik . 2019 . Scaling distributed machine learning with in-network aggregation. arXiv preprint arXiv:1903.06701 (2019). Amedeo Sapio, Marco Canini, Chen-Yu Ho, Jacob Nelson, Panos Kalnis, Changhoon Kim, Arvind Krishnamurthy, Masoud Moshref, Dan RK Ports, and Peter Richtarik. 2019. Scaling distributed machine learning with in-network aggregation. arXiv preprint arXiv:1903.06701 (2019)."},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"crossref","unstructured":"Tibor Schneider Rudiger Birkner and Laurent Vanbever. 2021. Snowcap: synthesizing network-wide configuration updates. In ACM SIGCOMM.  Tibor Schneider Rudiger Birkner and Laurent Vanbever. 2021. Snowcap: synthesizing network-wide configuration updates. In ACM SIGCOMM .","DOI":"10.1145\/3452296.3472915"},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA482657"},{"key":"e_1_3_2_2_73_1","volume-title":"Wireless protocol validation under uncertainty. Formal methods in system design","author":"Shi Jinghao","year":"2018","unstructured":"Jinghao Shi , Shuvendu K Lahiri , Ranveer Chandra , and Geoffrey Challen . 2018. Wireless protocol validation under uncertainty. Formal methods in system design ( 2018 ). Jinghao Shi, Shuvendu K Lahiri, Ranveer Chandra, and Geoffrey Challen. 2018. Wireless protocol validation under uncertainty. Formal methods in system design (2018)."},{"key":"e_1_3_2_2_74_1","doi-asserted-by":"crossref","unstructured":"Samuel Steffen Timon Gehr Petar Tsankov Laurent Vanbever and Martin Vechev. 2020. Probabilistic verification of network configurations. In ACM SIGCOMM.  Samuel Steffen Timon Gehr Petar Tsankov Laurent Vanbever and Martin Vechev. 2020. Probabilistic verification of network configurations. In ACM SIGCOMM .","DOI":"10.1145\/3387514.3405900"},{"key":"e_1_3_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"e_1_3_2_2_76_1","doi-asserted-by":"crossref","unstructured":"Radu Stoenescu Dragos Dumitrescu Matei Popovici Lorina Negreanu and Costin Raiciu. 2018. Debugging P4 programs with Vera. In ACM SIGCOMM.  Radu Stoenescu Dragos Dumitrescu Matei Popovici Lorina Negreanu and Costin Raiciu. 2018. Debugging P4 programs with Vera. In ACM SIGCOMM .","DOI":"10.1145\/3230543.3230548"},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"e_1_3_2_2_78_1","volume-title":"Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, and George Varghese.","author":"Tang Alan","year":"2021","unstructured":"Alan Tang , Siva Kesava Reddy Kakarla , Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, and George Varghese. 2021 . Campion: debugging router configuration differences. In ACM SIGCOMM. Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, and George Varghese. 2021. Campion: debugging router configuration differences. In ACM SIGCOMM."},{"key":"e_1_3_2_2_79_1","volume-title":"Ming Zhang, Chen Tian, and Minlan Yu.","author":"Tian Bingchuan","year":"2021","unstructured":"Bingchuan Tian , Jiaqi Gao , Mengqi Liu , Ennan Zhai , Yanqing Chen , Yu Zhou , Li Dai , Feng Yan , Mengjing Ma , Ming Tang , Jie Lu , Xionglie Wei , Hongqiang Harry Liu , Ming Zhang, Chen Tian, and Minlan Yu. 2021 . Aquila: a practically usable verification system for production-scale programmable data planes. In ACM SIGCOMM. Bingchuan Tian, Jiaqi Gao, Mengqi Liu, Ennan Zhai, Yanqing Chen, Yu Zhou, Li Dai, Feng Yan, Mengjing Ma, Ming Tang, Jie Lu, Xionglie Wei, Hongqiang Harry Liu, Ming Zhang, Chen Tian, and Minlan Yu. 2021. Aquila: a practically usable verification system for production-scale programmable data planes. In ACM SIGCOMM."},{"key":"e_1_3_2_2_80_1","volume-title":"Qiaobo Ye, Chunsheng Wang, Xin Wu, Zhiming Ji, Yihong Sang, Ming Zhang, Da Yu, Chen Tian, Haitao Zheng, and Ben Y. Zhao.","author":"Tian Bingchuan","year":"2019","unstructured":"Bingchuan Tian , Xinyi Zhang , Ennan Zhai , Hongqiang Harry Liu , Qiaobo Ye, Chunsheng Wang, Xin Wu, Zhiming Ji, Yihong Sang, Ming Zhang, Da Yu, Chen Tian, Haitao Zheng, and Ben Y. Zhao. 2019 . Safely and automatically updating in-network acl configurations with intent language. In ACM SIGCOMM. Bingchuan Tian, Xinyi Zhang, Ennan Zhai, Hongqiang Harry Liu, Qiaobo Ye, Chunsheng Wang, Xin Wu, Zhiming Ji, Yihong Sang, Ming Zhang, Da Yu, Chen Tian, Haitao Zheng, and Ben Y. Zhao. 2019. Safely and automatically updating in-network acl configurations with intent language. In ACM SIGCOMM."},{"key":"e_1_3_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"e_1_3_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_51"},{"key":"e_1_3_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693084"},{"key":"e_1_3_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270315"},{"key":"e_1_3_2_2_85_1","unstructured":"Qiongwen Xu Michael D. Wong Tanvi Wagle Srinivas Narayana and Anirudh Sivaraman. 2021. Synthesizing Safe and Efficient Kernel Extensions for Packet Processing. In ACM SIGCOMM.  Qiongwen Xu Michael D. Wong Tanvi Wagle Srinivas Narayana and Anirudh Sivaraman. 2021. Synthesizing Safe and Efficient Kernel Extensions for Packet Processing. In ACM SIGCOMM ."},{"key":"e_1_3_2_2_86_1","unstructured":"Xieyang Xu Ryan Beckett Karthick Jayaraman Ratul Mahajan and David Walker. 2021. Test coverage metrics for the network. In ACM SIGCOMM.  Xieyang Xu Ryan Beckett Karthick Jayaraman Ratul Mahajan and David Walker. 2021. Test coverage metrics for the network. In ACM SIGCOMM ."},{"key":"e_1_3_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_19"},{"key":"e_1_3_2_2_88_1","volume-title":"Aragog: Scalable Runtime Verification of Shardable Networked Systems. In USENIX OSDI.","author":"Yaseen Nofel","year":"2020","unstructured":"Nofel Yaseen , Behnaz Arzani , Ryan Beckett , Selim Ciraci , and Vincent Liu . 2020 . Aragog: Scalable Runtime Verification of Shardable Networked Systems. In USENIX OSDI. Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, and Vincent Liu. 2020. Aragog: Scalable Runtime Verification of Shardable Networked Systems. In USENIX OSDI."},{"key":"e_1_3_2_2_89_1","volume-title":"Bingchuan Tian, Qiaobo Ye, Chunsheng Wang, Xin Wu, Tianchen Guo, Cheng Jin, Duncheng She, Qing Ma, Biao Cheng, Hui Xu, Ming Zhang, Zhiliang Wang, and Rodrigo Fonseca.","author":"Ye Fangdan","year":"2020","unstructured":"Fangdan Ye , Da Yu , Ennan Zhai , Hongqiang Harry Liu , Bingchuan Tian, Qiaobo Ye, Chunsheng Wang, Xin Wu, Tianchen Guo, Cheng Jin, Duncheng She, Qing Ma, Biao Cheng, Hui Xu, Ming Zhang, Zhiliang Wang, and Rodrigo Fonseca. 2020 . Accuracy, Scalability, Coverage : A Practical Configuration Verifier on a Global WAN. In ACM SIGCOMM. Fangdan Ye, Da Yu, Ennan Zhai, Hongqiang Harry Liu, Bingchuan Tian, Qiaobo Ye, Chunsheng Wang, Xin Wu, Tianchen Guo, Cheng Jin, Duncheng She, Qing Ma, Biao Cheng, Hui Xu, Ming Zhang, Zhiliang Wang, and Rodrigo Fonseca. 2020. Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WAN. In ACM SIGCOMM."},{"key":"e_1_3_2_2_90_1","unstructured":"Farnaz Yousefi Anubhavnidhi Abhashkumar Kausik Subramanian Kartik Hans Soudeh Ghorbani and Aditya Akella. 2020. Liveness verification of stateful network functions. In USENIX NSDI.  Farnaz Yousefi Anubhavnidhi Abhashkumar Kausik Subramanian Kartik Hans Soudeh Ghorbani and Aditya Akella. 2020. Liveness verification of stateful network functions. In USENIX NSDI ."},{"key":"e_1_3_2_2_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405870"},{"key":"e_1_3_2_2_92_1","unstructured":"Zhuolong Yu Chuheng Hu Jingfeng Wu Xiao Sun Vladimir Braverman Mosharaf Chowdhury Zhenhua Liu and Xin Jin. 2021. Programmable packet scheduling with a single queue. In ACM SIGCOMM.  Zhuolong Yu Chuheng Hu Jingfeng Wu Xiao Sun Vladimir Braverman Mosharaf Chowdhury Zhenhua Liu and Xin Jin. 2021. Programmable packet scheduling with a single queue. In ACM SIGCOMM ."},{"key":"e_1_3_2_2_93_1","unstructured":"Yifei Yuan Soo-Jin Moon Sahil Uppal Limin Jia and Vyas Sekar. 2020. NetSMC: A custom symbolic model checker for stateful network verification. In USENIX NSDI.  Yifei Yuan Soo-Jin Moon Sahil Uppal Limin Jia and Vyas Sekar. 2020. NetSMC: A custom symbolic model checker for stateful network verification. In USENIX NSDI ."},{"key":"e_1_3_2_2_94_1","doi-asserted-by":"crossref","unstructured":"Arseniy Zaostrovnykh Solal Pirelli Rishabh Iyer Matteo Rizzo Luis Pedrosa Katerina Argyraki and George Candea. 2019. Verifying software network functions with no verification expertise. In ACM SOSP.  Arseniy Zaostrovnykh Solal Pirelli Rishabh Iyer Matteo Rizzo Luis Pedrosa Katerina Argyraki and George Candea. 2019. Verifying software network functions with no verification expertise. In ACM SOSP .","DOI":"10.1145\/3341301.3359647"},{"key":"e_1_3_2_2_95_1","volume-title":"Tiara: A Scalable and Efficient Hardware Acceleration Architecture for Stateful Layer-4 Load Balancing. In USENIX NSDI.","author":"Zeng Chaoliang","year":"2022","unstructured":"Chaoliang Zeng , Layong Luo , Teng Zhang , Zilong Wang , Luyang Li , Wenchen Han , Nan Chen , Lebing Wan , Lichao Liu , Zhipeng Ding , Xiongfei Geng , Tao Feng , Feng Ning , Kai Chen , and Chuanxiong Guo . 2022 . Tiara: A Scalable and Efficient Hardware Acceleration Architecture for Stateful Layer-4 Load Balancing. In USENIX NSDI. Chaoliang Zeng, Layong Luo, Teng Zhang, Zilong Wang, Luyang Li, Wenchen Han, Nan Chen, Lebing Wan, Lichao Liu, Zhipeng Ding, Xiongfei Geng, Tao Feng, Feng Ning, Kai Chen, and Chuanxiong Guo. 2022. Tiara: A Scalable and Efficient Hardware Acceleration Architecture for Stateful Layer-4 Load Balancing. In USENIX NSDI."},{"key":"e_1_3_2_2_96_1","volume-title":"Libra: Divide and conquer to verify forwarding tables in huge networks. In USENIX NSDI.","author":"Zeng Hongyi","year":"2014","unstructured":"Hongyi Zeng , Shidong Zhang , Fei Ye , Vimalkumar Jeyakumar , Mickey Ju , Junda Liu , Nick McKeown , and Amin Vahdat . 2014 . Libra: Divide and conquer to verify forwarding tables in huge networks. In USENIX NSDI. Hongyi Zeng, Shidong Zhang, Fei Ye, Vimalkumar Jeyakumar, Mickey Ju, Junda Liu, Nick McKeown, and Amin Vahdat. 2014. Libra: Divide and conquer to verify forwarding tables in huge networks. In USENIX NSDI."},{"key":"e_1_3_2_2_97_1","unstructured":"Ennan Zhai Ang Chen Ruzica Piskac Mahesh Balakrishnan Bingchuan Tian Bo Song and Haoliang Zhang. 2020. Check before you change: Preventing correlated failures in service updates. In USENIX NSDI.  Ennan Zhai Ang Chen Ruzica Piskac Mahesh Balakrishnan Bingchuan Tian Bo Song and Haoliang Zhang. 2020. Check before you change: Preventing correlated failures in service updates. In USENIX NSDI ."},{"key":"e_1_3_2_2_98_1","unstructured":"Kaiyuan Zhang Danyang Zhuo Aditya Akella Arvind Krishnamurthy and Xi Wang. 2020. Automated verification of customizable middlebox properties with gravel. In USENIX NSDI.  Kaiyuan Zhang Danyang Zhuo Aditya Akella Arvind Krishnamurthy and Xi Wang. 2020. Automated verification of customizable middlebox properties with gravel. In USENIX NSDI ."},{"key":"e_1_3_2_2_99_1","doi-asserted-by":"crossref","unstructured":"Yinda Zhang Zaoxing Liu Ruixin Wang Tong Yang Jizhou Li Ruijie Miao Peng Liu Ruwen Zhang and Junchen Jiang. 2021. CocoSketch: high-performance sketch-based measurement over arbitrary partial key query. In ACM SIGCOMM.  Yinda Zhang Zaoxing Liu Ruixin Wang Tong Yang Jizhou Li Ruijie Miao Peng Liu Ruwen Zhang and Junchen Jiang. 2021. CocoSketch: high-performance sketch-based measurement over arbitrary partial key query. In ACM SIGCOMM .","DOI":"10.1145\/3452296.3472892"},{"key":"e_1_3_2_2_100_1","unstructured":"Yikai Zhao Kaicheng Yang Zirui Liu Tong Yang Li Chen Shiyi Liu Naiqian Zheng Ruixin Wang Hanbo Wu Yi Wang and Nicholas Zhang. 2021. Light-Guardian: A Full-Visibility Lightweight In-band Telemetry System Using Sketchlets. In USENIX NSDI.  Yikai Zhao Kaicheng Yang Zirui Liu Tong Yang Li Chen Shiyi Liu Naiqian Zheng Ruixin Wang Hanbo Wu Yi Wang and Nicholas Zhang. 2021. Light-Guardian: A Full-Visibility Lightweight In-band Telemetry System Using Sketchlets. In USENIX NSDI ."},{"key":"e_1_3_2_2_101_1","volume-title":"Rui Miao, Shi Bai, Bo Li, Zhilong Zheng, Lingjun Zhu, Zhen Shen, Yongqing Xi, Pengcheng Zhang, Dennis Cai, Ming Zhang, and Mingwei Xu.","author":"Zhou Yu","year":"2020","unstructured":"Yu Zhou , Chen Sun , Hongqiang Harry Liu , Rui Miao, Shi Bai, Bo Li, Zhilong Zheng, Lingjun Zhu, Zhen Shen, Yongqing Xi, Pengcheng Zhang, Dennis Cai, Ming Zhang, and Mingwei Xu. 2020 . Flow event telemetry on programmable data plane. In ACM SIGCOMM. Yu Zhou, Chen Sun, Hongqiang Harry Liu, Rui Miao, Shi Bai, Bo Li, Zhilong Zheng, Lingjun Zhu, Zhen Shen, Yongqing Xi, Pengcheng Zhang, Dennis Cai, Ming Zhang, and Mingwei Xu. 2020. Flow event telemetry on programmable data plane. In ACM SIGCOMM."},{"key":"e_1_3_2_2_102_1","volume-title":"Racksched: A microsecond-scale scheduler for rack-scale computers. In USENIX OSDI.","author":"Zhu Hang","year":"2020","unstructured":"Hang Zhu , Kostis Kaffes , Zixu Chen , Zhenming Liu , Christos Kozyrakis , Ion Stoica , and Xin Jin . 2020 . Racksched: A microsecond-scale scheduler for rack-scale computers. In USENIX OSDI. Hang Zhu, Kostis Kaffes, Zixu Chen, Zhenming Liu, Christos Kozyrakis, Ion Stoica, and Xin Jin. 2020. Racksched: A microsecond-scale scheduler for rack-scale computers. In USENIX OSDI."}],"event":{"name":"SIGCOMM '22: ACM SIGCOMM 2022 Conference","location":"Amsterdam Netherlands","acronym":"SIGCOMM '22","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the ACM SIGCOMM 2022 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3544216.3544247","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3544216.3544247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T15:02:54Z","timestamp":1750172574000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3544216.3544247"}},"subtitle":["scalable network testing for programmable data planes"],"short-title":[],"issued":{"date-parts":[[2022,8,22]]},"references-count":102,"alternative-id":["10.1145\/3544216.3544247","10.1145\/3544216"],"URL":"https:\/\/doi.org\/10.1145\/3544216.3544247","relation":{},"subject":[],"published":{"date-parts":[[2022,8,22]]},"assertion":[{"value":"2022-08-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}