{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T06:31:35Z","timestamp":1783146695343,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":68,"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":[{"name":"Facebook Systems Networking Award"},{"name":"Ministry of Education of China","award":["2021FNA02008"],"award-info":[{"award-number":["2021FNA02008"]}]},{"name":"NSFC","award":["61902266, 62172345"],"award-info":[{"award-number":["61902266, 62172345"]}]},{"name":"Tan Kah Kee Innovation Laboratory Award","award":["HRTP-2022-34"],"award-info":[{"award-number":["HRTP-2022-34"]}]},{"name":"Alibaba Innovative Research Award"},{"name":"Open Research Project of Zhejiang Lab","award":["2022QA0AB05"],"award-info":[{"award-number":["2022QA0AB05"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,22]]},"DOI":"10.1145\/3544216.3544246","type":"proceedings-article","created":{"date-parts":[[2022,8,11]],"date-time":"2022-08-11T22:58:16Z","timestamp":1660258696000},"page":"314-335","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Flash"],"prefix":"10.1145","author":[{"given":"Dong","family":"Guo","sequence":"first","affiliation":[{"name":"Tongji University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shenshen","family":"Chen","sequence":"additional","affiliation":[{"name":"Tongji University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kai","family":"Gao","sequence":"additional","affiliation":[{"name":"Sichuan University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qiao","family":"Xiang","sequence":"additional","affiliation":[{"name":"Xiamen University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ying","family":"Zhang","sequence":"additional","affiliation":[{"name":"Meta Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Y. Richard","family":"Yang","sequence":"additional","affiliation":[{"name":"Yale University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,8,22]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Amazon AWS outage","author":"Gumaste Pavan","year":"2020","unstructured":"Pavan Gumaste . Amazon AWS outage , 2020 . URL https:\/\/www.whizlabs.com\/blog\/amazon-aws-outage\/. Pavan Gumaste. Amazon AWS outage, 2020. URL https:\/\/www.whizlabs.com\/blog\/amazon-aws-outage\/."},{"key":"e_1_3_2_2_2_1","volume-title":"Prolonged AWS outage takes down a big chunk of the internet","author":"Peters Jay","year":"2020","unstructured":"Jay Peters . Prolonged AWS outage takes down a big chunk of the internet , 2020 . URL https:\/\/www.theverge.com\/2020\/11\/25\/21719396\/amazon-web-services-aws-outage-down-internet. Jay Peters. Prolonged AWS outage takes down a big chunk of the internet, 2020. URL https:\/\/www.theverge.com\/2020\/11\/25\/21719396\/amazon-web-services-aws-outage-down-internet."},{"key":"e_1_3_2_2_3_1","volume-title":"YouTube and Majority of Services Affected","author":"Hern Alex","year":"2020","unstructured":"Alex Hern . Google Suffers Global Outage with Gmail , YouTube and Majority of Services Affected , 2020 . URL https:\/\/www.theguardian.com\/technology\/2020\/dec\/14\/google-suffers-worldwide-outage-with-gmail-youtube-and-other-services-down. Alex Hern. Google Suffers Global Outage with Gmail, YouTube and Majority of Services Affected, 2020. URL https:\/\/www.theguardian.com\/technology\/2020\/dec\/14\/google-suffers-worldwide-outage-with-gmail-youtube-and-other-services-down."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984012"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_2_6_1","first-page":"469","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation, NSDI '15","author":"Fogel Ari","year":"2015","unstructured":"Ari Fogel , Stanley Fung , Luis Pedrosa , Meg Walraed-Sullivan , Ramesh Govindan , Ratul Mahajan , and Todd Millstein . A General Approach to Network Configuration Analysis . In 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI '15 , pages 469 -- 483 , 2015 . Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. A General Approach to Network Configuration Analysis. In 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI '15, pages 469--483, 2015."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3406217"},{"key":"e_1_3_2_2_8_1","first-page":"217","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation, OSDI'16","author":"Fayaz Seyed K","year":"2016","unstructured":"Seyed K Fayaz , Tushar Sharma , Ari Fogel , Ratul Mahajan , Todd Millstein , Vyas Sekar , and George Varghese . Efficient Network Reachability Analysis using a Succinct Control Plane Representation . In 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI'16 , pages 217 -- 232 . USENIX Association , 2016 . Seyed K Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd Millstein, Vyas Sekar, and George Varghese. Efficient Network Reachability Analysis using a Succinct Control Plane Representation. In 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI'16, pages 217--232. USENIX Association, 2016."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230583"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371110"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132753"},{"key":"e_1_3_2_2_13_1","volume-title":"June","author":"Abhashkumar Anubhavnidhi","year":"2019","unstructured":"Anubhavnidhi Abhashkumar , Aaron Gember-Jacobson , and Aditya Akella . Tiramisu: Fast and General Network Verification. In arXiv:1906.02043 [Cs] , June 2019 . URL http:\/\/arxiv.org\/abs\/1906.02043. Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. Tiramisu: Fast and General Network Verification. In arXiv:1906.02043 [Cs], June 2019. URL http:\/\/arxiv.org\/abs\/1906.02043."},{"key":"e_1_3_2_2_14_1","first-page":"953","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation, NSDI '20","author":"Prabhu Santhosh","year":"2020","unstructured":"Santhosh Prabhu , Kuan Yen Chou , Ali Kheradmand , Brighten Godfrey , and Matthew Caesar . Plankton : Scalable Network Configuration Verification through Model Checking . In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI '20 , pages 953 -- 967 , 2020 . Santhosh Prabhu, Kuan Yen Chou, Ali Kheradmand, Brighten Godfrey, and Matthew Caesar. Plankton: Scalable Network Configuration Verification through Model Checking. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI '20, pages 953--967, 2020."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"e_1_3_2_2_18_1","first-page":"113","volume-title":"9th USENIX Symposium on Networked Systems Design and Implementation, NSDI'12","author":"Kazemian Peyman","year":"2012","unstructured":"Peyman Kazemian , George Varghese , and Nick McKeown . Header space analysis: Static checking for networks . In 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI'12 , pages 113 -- 126 , San Jose, CA , April 2012 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi12\/technical-sessions\/presentation\/kazemian. Peyman Kazemian, George Varghese, and Nick McKeown. Header space analysis: Static checking for networks. In 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI'12, pages 113--126, San Jose, CA, April 2012. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi12\/technical-sessions\/presentation\/kazemian."},{"key":"e_1_3_2_2_19_1","first-page":"87","volume-title":"11th USENIX Symposium on Networked Systems Design and Implementation, NSDI'14","author":"Zeng Hongyi","year":"2014","unstructured":"Hongyi Zeng , Shidong Zhang , Fei Ye , Vimalkumar Jeyakumar , Mickey Ju , Junda Liu , Nick McKeown , and Amin Vahdat . Libra : Divide and Conquer to Verify Forwarding Tables in Huge Networks . In 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI'14 , pages 87 -- 99 , Seattle, WA , April 2014 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi14\/technical-sessions\/presentation\/zeng. Hongyi Zeng, Shidong Zhang, Fei Ye, Vimalkumar Jeyakumar, Mickey Ju, Junda Liu, Nick McKeown, and Amin Vahdat. Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks. In 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI'14, pages 87--99, Seattle, WA, April 2014. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi14\/technical-sessions\/presentation\/zeng."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837657"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2013.6733614"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836095"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/tnet.2017.2720172"},{"key":"e_1_3_2_2_24_1","first-page":"15","volume-title":"VeriFlow: Verifying Network-wide Invariants in Real Time. In 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI'13","author":"Khurshid Ahmed","year":"2013","unstructured":"Ahmed Khurshid , Xuan Zou , Wenxuan Zhou , Matthew Caesar , and P. Brighten Godfrey . VeriFlow: Verifying Network-wide Invariants in Real Time. In 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI'13 , pages 15 -- 27 , Lombard, IL , April 2013 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi13\/technical-sessions\/presentation\/khurshid. Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. VeriFlow: Verifying Network-wide Invariants in Real Time. In 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI'13, pages 15--27, Lombard, IL, April 2013. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi13\/technical-sessions\/presentation\/khurshid."},{"key":"e_1_3_2_2_25_1","first-page":"735","volume-title":"Mukul Prasad. Delta-net: Real-time Network Verification Using Atoms. In 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI'17","author":"Horn Alex","year":"2017","unstructured":"Alex Horn , Ali Kheradmand , and Mukul Prasad. Delta-net: Real-time Network Verification Using Atoms. In 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI'17 , pages 735 -- 749 , Boston, MA , 2017 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi17\/technical-sessions\/presentation\/horn-alex. Alex Horn, Ali Kheradmand, and Mukul Prasad. Delta-net: Real-time Network Verification Using Atoms. In 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI'17, pages 735--749, Boston, MA, 2017. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi17\/technical-sessions\/presentation\/horn-alex."},{"key":"e_1_3_2_2_26_1","first-page":"241","volume-title":"Hao Li. APKeep: Realtime Verification for Real Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI'20","author":"Zhang Peng","year":"2020","unstructured":"Peng Zhang , Xu Liu , Hongkun Yang , Ning Kang , Zhengchang Gu , and Hao Li. APKeep: Realtime Verification for Real Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI'20 , pages 241 -- 255 , Santa Clara, CA , February 2020 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/zhang-peng. Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, and Hao Li. APKeep: Realtime Verification for Real Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI'20, pages 241--255, Santa Clara, CA, February 2020. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/zhang-peng."},{"key":"e_1_3_2_2_27_1","first-page":"499","volume-title":"George Varghese. Checking Beliefs in Dynamic Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI'15","author":"Lopes Nuno P.","year":"2015","unstructured":"Nuno P. Lopes , Nikolaj Bj\u00f8rner , Patrice Godefroid , Karthick Jayaraman , and George Varghese. Checking Beliefs in Dynamic Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI'15 , pages 499 -- 512 , Oakland, CA , May 2015 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/lopes. Nuno P. Lopes, Nikolaj Bj\u00f8rner, Patrice Godefroid, Karthick Jayaraman, and George Varghese. Checking Beliefs in Dynamic Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI'15, pages 499--512, Oakland, CA, May 2015. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/lopes."},{"key":"e_1_3_2_2_28_1","first-page":"99","volume-title":"10th USENIX Symposium on Networked Systems Design and Implementation, NSDI'13","author":"Kazemian Peyman","year":"2013","unstructured":"Peyman Kazemian , Michael Chang , Hongyi Zeng , George Varghese , Nick McKeown , and Scott Whyte . Real time network policy checking using header space analysis . In 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI'13 , pages 99 -- 111 , Lombard, IL , April 2013 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi13\/technical-sessions\/presentation\/kazemian. Peyman Kazemian, Michael Chang, Hongyi Zeng, George Varghese, Nick McKeown, and Scott Whyte. Real time network policy checking using header space analysis. In 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI'13, pages 99--111, Lombard, IL, April 2013. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi13\/technical-sessions\/presentation\/kazemian."},{"key":"e_1_3_2_2_29_1","first-page":"469","volume-title":"Laurent Vanbever. On the Co-existence of Distributed and Centralized Routing Control-planes. In 2015 IEEE Conference on Computer Communications, INFOCOM 15","author":"Vissicchio Stefano","year":"2015","unstructured":"Stefano Vissicchio , Luca Cittadini , Olivier Bonaventure , Geoffrey G Xie , and Laurent Vanbever. On the Co-existence of Distributed and Centralized Routing Control-planes. In 2015 IEEE Conference on Computer Communications, INFOCOM 15 , pages 469 -- 477 . IEEE, 2015 . Stefano Vissicchio, Luca Cittadini, Olivier Bonaventure, Geoffrey G Xie, and Laurent Vanbever. On the Co-existence of Distributed and Centralized Routing Control-planes. In 2015 IEEE Conference on Computer Communications, INFOCOM 15, pages 469--477. IEEE, 2015."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342094"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132759"},{"key":"e_1_3_2_2_32_1","first-page":"386","volume-title":"Lopes and Andrey Rybalchenko. Fast BGP Simulation of Large Datacenters","author":"Nuno","year":"2019","unstructured":"Nuno P. Lopes and Andrey Rybalchenko. Fast BGP Simulation of Large Datacenters . In Constantin Enea and Ruzica Piskac, editors, Verification, Model Checking , and Abstract Interpretation, volume 11388 , pages 386 -- 408 . Springer International Publishing , Cham, 2019 . URL http:\/\/link.springer.com\/10.1007\/978-3-030-11245-5_18. Nuno P. Lopes and Andrey Rybalchenko. Fast BGP Simulation of Large Datacenters. In Constantin Enea and Ruzica Piskac, editors, Verification, Model Checking, and Abstract Interpretation, volume 11388, pages 386--408. Springer International Publishing, Cham, 2019. URL http:\/\/link.springer.com\/10.1007\/978-3-030-11245-5_18."},{"key":"e_1_3_2_2_33_1","volume-title":"Facebook open routing","year":"2020","unstructured":"Facebook. Facebook open routing , 2020 . URL https:\/\/github.com\/facebook\/openr. Facebook. Facebook open routing, 2020. URL https:\/\/github.com\/facebook\/openr."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851182.1851192"},{"key":"e_1_3_2_2_35_1","volume-title":"FlowVisor: A Network Virtualization Layer","author":"Sherwood Rob","year":"2009","unstructured":"Rob Sherwood , Glen Gibb , Kok-Kiong Yap , Guido Appenzeller , Martin Casado , Nick McKeown , and Guru Parulkar . FlowVisor: A Network Virtualization Layer . OpenFlow Switch Consortium , Tech . Rep, 2009 . URL http:\/\/sb.tmit.bme.hu\/mediawiki\/images\/c\/c0\/FlowVisor.pdf. Rob Sherwood, Glen Gibb, Kok-Kiong Yap, Guido Appenzeller, Martin Casado, Nick McKeown, and Guru Parulkar. FlowVisor: A Network Virtualization Layer. OpenFlow Switch Consortium, Tech. Rep, 2009. URL http:\/\/sb.tmit.bme.hu\/mediawiki\/images\/c\/c0\/FlowVisor.pdf."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_2_37_1","volume-title":"Making Data Structures Persistent. Journal of computer and system sciences, 38(1):86--124","author":"Driscoll James R","year":"1989","unstructured":"James R Driscoll , Neil Sarnak , Daniel D Sleator , and Robert E Tarjan . Making Data Structures Persistent. Journal of computer and system sciences, 38(1):86--124 , 1989 . James R Driscoll, Neil Sarnak, Daniel D Sleator, and Robert E Tarjan. Making Data Structures Persistent. Journal of computer and system sciences, 38(1):86--124, 1989."},{"key":"e_1_3_2_2_38_1","volume-title":"Boost Container Hash Library","author":"James Daniel","year":"2022","unstructured":"Daniel James . Boost Container Hash Library , 2022 . URL https:\/\/www.boost.org\/doc\/libs\/1_79_0\/libs\/container_hash\/doc\/html\/hash.html. Daniel James. Boost Container Hash Library, 2022. URL https:\/\/www.boost.org\/doc\/libs\/1_79_0\/libs\/container_hash\/doc\/html\/hash.html."},{"key":"e_1_3_2_2_39_1","volume-title":"Barefoot S9180-32X switch","author":"Space Ufi","year":"2022","unstructured":"Ufi Space . Barefoot S9180-32X switch , 2022 . URL https:\/\/www.ufispace.com\/uploads\/able\/files\/productfilemanager\/000045467d1fc648d792c404372956a0.pdf. Ufi Space. Barefoot S9180-32X switch, 2022. URL https:\/\/www.ufispace.com\/uploads\/able\/files\/productfilemanager\/000045467d1fc648d792c404372956a0.pdf."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/300307.1040360"},{"key":"e_1_3_2_2_41_1","first-page":"106","volume-title":"Christian Schulz. Fully Dynamic Single-source Reachability in Practice: An Experimental Study. In 2020 Proceedings of the Twenty-Second Workshop on Algorithm Engineering and Experiments","volume":"20","author":"Hanauer Kathrin","year":"2020","unstructured":"Kathrin Hanauer , Monika Henzinger , and Christian Schulz. Fully Dynamic Single-source Reachability in Practice: An Experimental Study. In 2020 Proceedings of the Twenty-Second Workshop on Algorithm Engineering and Experiments , volume ALENEX' 20 , pages 106 -- 119 . SIAM, 2020 . Kathrin Hanauer, Monika Henzinger, and Christian Schulz. Fully Dynamic Single-source Reachability in Practice: An Experimental Study. In 2020 Proceedings of the Twenty-Second Workshop on Algorithm Engineering and Experiments, volume ALENEX'20, pages 106--119. SIAM, 2020."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674989"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"e_1_3_2_2_44_1","first-page":"701","volume-title":"David Walker. Contra: A Programmable System for Performance-aware Routing. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI'20","author":"Hsu Kuo-Feng","year":"2020","unstructured":"Kuo-Feng Hsu , Ryan Beckett , Ang Chen , Jennifer Rexford , and David Walker. Contra: A Programmable System for Performance-aware Routing. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI'20 , pages 701 -- 721 , Santa Clara, CA , February 2020 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/hsu. Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, and David Walker. Contra: A Programmable System for Performance-aware Routing. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI'20, pages 701--721, Santa Clara, CA, February 2020. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/hsu."},{"key":"e_1_3_2_2_45_1","volume-title":"Introducing Data Center Fabric, the Next-generation Facebook Data Center Network - Engineering at Meta","author":"Andreyev Alexey","year":"2014","unstructured":"Alexey Andreyev . Introducing Data Center Fabric, the Next-generation Facebook Data Center Network - Engineering at Meta , 2014 . URL https:\/\/engineering.fb.com\/2014\/11\/14\/production-engineering\/introducing-data-center-fabric-the-next-generation-facebook-data-center-network\/. Alexey Andreyev. Introducing Data Center Fabric, the Next-generation Facebook Data Center Network - Engineering at Meta, 2014. URL https:\/\/engineering.fb.com\/2014\/11\/14\/production-engineering\/introducing-data-center-fabric-the-next-generation-facebook-data-center-network\/."},{"key":"e_1_3_2_2_46_1","volume-title":"The Apache Thrift Software Framework","year":"2021","unstructured":"Apache. The Apache Thrift Software Framework , 2021 . URLhttps :\/\/thrift.apache.org. Apache. The Apache Thrift Software Framework, 2021. URLhttps:\/\/thrift.apache.org."},{"key":"e_1_3_2_2_47_1","first-page":"601","volume-title":"Hao Li. Differential Network Analysis. In 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI'22","author":"Zhang Peng","year":"2022","unstructured":"Peng Zhang , Aaron Gember-Jacobson , Yueshang Zuo , Yuhao Huang , Xu Liu , and Hao Li. Differential Network Analysis. In 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI'22 , pages 601 -- 615 , Renton, WA , April 2022 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi22\/presentation\/zhang-peng. Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, and Hao Li. Differential Network Analysis. In 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI'22, pages 601--615, Renton, WA, April 2022. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi22\/presentation\/zhang-peng."},{"key":"e_1_3_2_2_48_1","volume-title":"What is VPC Reachability Analyzer? - Amazon Virtual Private Cloud","author":"AWS","year":"2022","unstructured":"AWS documentation. What is VPC Reachability Analyzer? - Amazon Virtual Private Cloud , 2022 . URL https:\/\/docs.aws.amazon.com\/vpc\/latest\/reachability\/what-is-reachability-analyzer.html. AWS documentation. What is VPC Reachability Analyzer? - Amazon Virtual Private Cloud, 2022. URL https:\/\/docs.aws.amazon.com\/vpc\/latest\/reachability\/what-is-reachability-analyzer.html."},{"key":"e_1_3_2_2_49_1","volume-title":"The internet2 dataset","author":"Observatory The","year":"2021","unstructured":"The Internet2 Observatory . The internet2 dataset , 2021 . URL http:\/\/www.internet2.du\/research-solutions\/research-support\/observatory. The Internet2 Observatory. The internet2 dataset, 2021. URL http:\/\/www.internet2.du\/research-solutions\/research-support\/observatory."},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"e_1_3_2_2_51_1","volume-title":"A BDD and Z-BDD Library written in Java","author":"Vahidi Arash","year":"2020","unstructured":"Arash Vahidi . A BDD and Z-BDD Library written in Java , 2020 . URL https:\/\/bitbucket.org\/vahidi\/jdd. Arash Vahidi. A BDD and Z-BDD Library written in Java, 2020. URL https:\/\/bitbucket.org\/vahidi\/jdd."},{"key":"e_1_3_2_2_52_1","volume-title":"AWS Pricing Calulator","author":"Services Amazon Web","year":"2022","unstructured":"Amazon Web Services . AWS Pricing Calulator , 2022 . URL https:\/\/calculator.aws. Amazon Web Services. AWS Pricing Calulator, 2022. URL https:\/\/calculator.aws."},{"key":"e_1_3_2_2_53_1","volume-title":"Aaron Gember-Jacobson. Symbolic Router Execution. In Proceedings of the Conference of the ACM Special Interest Group on Data Communication, SIGCOMM'22","author":"Zhang Peng","year":"2022","unstructured":"Peng Zhang , Dan Wang , and Aaron Gember-Jacobson. Symbolic Router Execution. In Proceedings of the Conference of the ACM Special Interest Group on Data Communication, SIGCOMM'22 , Amsterdam, Netherlands , 2022 . ACM. Peng Zhang, Dan Wang, and Aaron Gember-Jacobson. Symbolic Router Execution. In Proceedings of the Conference of the ACM Special Interest Group on Data Communication, SIGCOMM'22, Amsterdam, Netherlands, 2022. ACM."},{"key":"e_1_3_2_2_54_1","first-page":"617","volume-title":"Beckett and Aarti Gupta. Katra: Realtime Verification for Multilayer Networks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)","author":"Ryan","year":"2022","unstructured":"Ryan Beckett and Aarti Gupta. Katra: Realtime Verification for Multilayer Networks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) , pages 617 -- 634 , Renton, WA , April 2022 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi22\/presentation\/beckett. Ryan Beckett and Aarti Gupta. Katra: Realtime Verification for Multilayer Networks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22), pages 617--634, Renton, WA, April 2022. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi22\/presentation\/beckett."},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411029.3411030"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787506"},{"key":"e_1_3_2_2_57_1","first-page":"59","volume-title":"Russ Clark. Kinetic: Verifiable Dynamic Network Control. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15), NSDI'15","author":"Kim Hyojoon","year":"2015","unstructured":"Hyojoon Kim , Joshua Reich , Arpit Gupta , Muhammad Shahbaz , Nick Feamster , and Russ Clark. Kinetic: Verifiable Dynamic Network Control. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15), NSDI'15 , pages 59 -- 72 , Oakland, CA , 2015 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/kim. Hyojoon Kim, Joshua Reich, Arpit Gupta, Muhammad Shahbaz, Nick Feamster, and Russ Clark. Kinetic: Verifiable Dynamic Network Control. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15), NSDI'15, pages 59--72, Oakland, CA, 2015. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/kim."},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230562"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3482898.3483364"},{"key":"e_1_3_2_2_60_1","first-page":"523","volume-title":"Jinnah Dylan Hosein. Maglev: A Fast and Reliable Software Network Load Balancer. In 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI'16","author":"Eisenbud Daniel E.","year":"2016","unstructured":"Daniel E. Eisenbud , Cheng Yi , Carlo Contavalli , Cody Smith , Roman Kononov , Eric Mann-Hielscher , Ardas Cilingiroglu , Bin Cheyney , Wentao Shang , and Jinnah Dylan Hosein. Maglev: A Fast and Reliable Software Network Load Balancer. In 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI'16 , pages 523 -- 535 , Santa Clara, CA , 2016 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi16\/technical-sessions\/presentation\/eisenbud. Daniel E. Eisenbud, Cheng Yi, Carlo Contavalli, Cody Smith, Roman Kononov, Eric Mann-Hielscher, Ardas Cilingiroglu, Bin Cheyney, Wentao Shang, and Jinnah Dylan Hosein. Maglev: A Fast and Reliable Software Network Load Balancer. In 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI'16, pages 523--535, Santa Clara, CA, 2016. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi16\/technical-sessions\/presentation\/eisenbud."},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486011"},{"key":"e_1_3_2_2_62_1","volume-title":"NPL - Network Programming Language Specification v1.3. Technical report","year":"2019","unstructured":"Broadcom. NPL - Network Programming Language Specification v1.3. Technical report , 2019 . Broadcom. NPL - Network Programming Language Specification v1.3. Technical report, 2019."},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49052-6_4"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787508"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098856"},{"key":"e_1_3_2_2_66_1","unstructured":"FRRouting project 2021. URL https:\/\/frrouting.org.  FRRouting project 2021. URL https:\/\/frrouting.org."},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2005.1541716"},{"key":"e_1_3_2_2_68_1","first-page":"739","volume-title":"Arun Venkataramani. Towards Logically Centralized Interdomain Routing. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI'20","author":"Pouryousef Shahrooz","year":"2020","unstructured":"Shahrooz Pouryousef , Lixin Gao , and Arun Venkataramani. Towards Logically Centralized Interdomain Routing. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI'20 , pages 739 -- 757 , Santa Clara, CA , February 2020 . USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/pouryousef. Shahrooz Pouryousef, Lixin Gao, and Arun Venkataramani. Towards Logically Centralized Interdomain Routing. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI'20, pages 739--757, Santa Clara, CA, February 2020. USENIX Association. URL https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/pouryousef."}],"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.3544246","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3544216.3544246","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:54Z","timestamp":1750186974000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3544216.3544246"}},"subtitle":["fast, consistent data plane verification for large-scale network settings"],"short-title":[],"issued":{"date-parts":[[2022,8,22]]},"references-count":68,"alternative-id":["10.1145\/3544216.3544246","10.1145\/3544216"],"URL":"https:\/\/doi.org\/10.1145\/3544216.3544246","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"}}]}}