{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T01:43:08Z","timestamp":1787017388706,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":94,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:00:00Z","timestamp":1633910400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["CNS-1749785"],"award-info":[{"award-number":["CNS-1749785"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,11]]},"DOI":"10.1145\/3482898.3483355","type":"proceedings-article","created":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T06:07:28Z","timestamp":1636351648000},"page":"108-121","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Tardis"],"prefix":"10.1145","author":[{"given":"Zhenyu","family":"Zhou","sequence":"first","affiliation":[{"name":"Duke University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Theophilus A.","family":"Benson","sequence":"additional","affiliation":[{"name":"Brown University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Canini","sequence":"additional","affiliation":[{"name":"KAUST"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Balakrishnan","family":"Chandrasekaran","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam and Duke University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,11,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"18th USENIX Symposium on Networked Systems Design and Implementation (NSDI '21)","author":"Abhashkumar Anubhavnidhi","year":"2021","unstructured":"Anubhavnidhi Abhashkumar , Kausik Subramanian , Alexey Andreyev , Hyojeong Kim , Nanda Kishore Salem , Jingyi Yang , Petr Lapukhov , Aditya Akella , and Hongyi Zeng . 2021 . Running BGP in Data Centers at Scale . In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI '21) . Anubhavnidhi Abhashkumar, Kausik Subramanian, Alexey Andreyev, Hyojeong Kim, Nanda Kishore Salem, Jingyi Yang, Petr Lapukhov, Aditya Akella, and Hongyi Zeng. 2021. Running BGP in Data Centers at Scale. In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI '21)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Wolfgang Ahrendt Bernhard Beckert Richard Bubel Reiner H\u00e4hnle Peter H. Schmitt and Mattias Ulbrich (Eds.). 2016. Deductive Software Verification - The KeY Book - From Theory to Practice.Lecture Notes in Computer Science Vol. 10001.  Wolfgang Ahrendt Bernhard Beckert Richard Bubel Reiner H\u00e4hnle Peter H. Schmitt and Mattias Ulbrich (Eds.). 2016. Deductive Software Verification - The KeY Book - From Theory to Practice.Lecture Notes in Computer Science Vol. 10001.","DOI":"10.1007\/978-3-319-49812-6"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 7th USENIX conference on Networked systems design and implementation (NSDI '10)","author":"Al-Fares M.","unstructured":"M. Al-Fares , S. Radhakrishnan , B. Raghavan , N. Huang , and A. Vahdat . 2010. Hedera: Dynamic Flow Scheduling for Data Center Networks . In Proceedings of the 7th USENIX conference on Networked systems design and implementation (NSDI '10) . M. Al-Fares, S. Radhakrishnan, B. Raghavan, N. Huang, and A. Vahdat. 2010. Hedera: Dynamic Flow Scheduling for Data Center Networks. In Proceedings of the 7th USENIX conference on Networked systems design and implementation (NSDI '10)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009828"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594317"},{"key":"e_1_3_2_1_6_1","unstructured":"Cory Bennett and Ariel Tseitlin. 2012. Chaos Monkey Released into the Wild. https:\/\/web.archive.org\/web\/20120730195043\/http:\/\/techblog.netflix.com\/2012\/07\/chaos-monkey-released-into-wild.html.  Cory Bennett and Ariel Tseitlin. 2012. Chaos Monkey Released into the Wild. https:\/\/web.archive.org\/web\/20120730195043\/http:\/\/techblog.netflix.com\/2012\/07\/chaos-monkey-released-into-wild.html."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN48987.2021.00026"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation -","volume":"6","author":"Candea George","year":"2004","unstructured":"George Candea , Shinichi Kawamoto , Yuichi Fujiki , Greg Friedman , and Armando Fox . 2004 . Microreboot --- A Technique for Cheap Recovery . In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation - Volume 6 (OSDI '04). George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, and Armando Fox. 2004. Microreboot --- A Technique for Cheap Recovery. In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation - Volume 6 (OSDI '04)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2228298.2228312"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890965"},{"key":"e_1_3_2_1_12_1","volume-title":"Cisco Bug: CSCuz62898 - Crash in BGP due to Regular Expressions. https:\/\/quickview.cloudapps.cisco.com\/quickview\/bug\/CSCuz62898.","year":"2019","unstructured":"Cisco. 2019 . Cisco Bug: CSCuz62898 - Crash in BGP due to Regular Expressions. https:\/\/quickview.cloudapps.cisco.com\/quickview\/bug\/CSCuz62898. Cisco. 2019. Cisco Bug: CSCuz62898 - Crash in BGP due to Regular Expressions. https:\/\/quickview.cloudapps.cisco.com\/quickview\/bug\/CSCuz62898."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294274"},{"key":"e_1_3_2_1_14_1","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation (NSDI '18)","author":"Dalton Michael","year":"2018","unstructured":"Michael Dalton , David Schultz , Jacob Adriaens , Ahsan Arefin , Anshuman Gupta , Brian Fahs , Dima Rubinstein , Enrique Cauich Zermeno , Erik Rubow , James Alexander Docauer , Jesse Alpert , Jing Ai , Jon Olson , Kevin DeCabooter , Marc de Kruijf , Nan Hua , Nathan Lewis , Nikhil Kasinadhuni , Riccardo Crepaldi , Srinivas Krishnan , Subbaiah Venkata , Yossi Richter , Uday Naik , and Amin Vahdat . 2018 . Andromeda: Performance, Isolation, and Velocity at Scale in Cloud Network Virtualization . In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI '18) . Michael Dalton, David Schultz, Jacob Adriaens, Ahsan Arefin, Anshuman Gupta, Brian Fahs, Dima Rubinstein, Enrique Cauich Zermeno, Erik Rubow, James Alexander Docauer, Jesse Alpert, Jing Ai, Jon Olson, Kevin DeCabooter, Marc de Kruijf, Nan Hua, Nathan Lewis, Nikhil Kasinadhuni, Riccardo Crepaldi, Srinivas Krishnan, Subbaiah Venkata, Yossi Richter, Uday Naik, and Amin Vahdat. 2018. Andromeda: Performance, Isolation, and Velocity at Scale in Cloud Network Virtualization. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI '18)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23064"},{"key":"e_1_3_2_1_17_1","unstructured":"Gary Eastwood. 2017. How A Typo Took Down Amazon's Cloud. https:\/\/web.archive.org\/web\/20180519161511\/https:\/\/www.networkworld.com\/article\/3179831\/cloud-computing\/how-a-typo-took-down-amazons-cloud.html.  Gary Eastwood. 2017. How A Typo Took Down Amazon's Cloud. https:\/\/web.archive.org\/web\/20180519161511\/https:\/\/www.networkworld.com\/article\/3179831\/cloud-computing\/how-a-typo-took-down-amazons-cloud.html."},{"key":"e_1_3_2_1_18_1","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 . 2016 . Efficient Network Reachability Analysis Using a Succinct Control Plane Representation . In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16) . Seyed K. Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd Millstein, Vyas Sekar, and George Varghese. 2016. Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16)."},{"key":"e_1_3_2_1_19_1","volume-title":"18th USENIX Symposium on Networked Systems Design and Implementation (NSDI'21)","author":"Ferguson Andrew D.","year":"2021","unstructured":"Andrew D. Ferguson , Steve Gribble , Chi-Yao Hong , Charles Killian , Waqar Mohsin , Henrik Muehe , Joon Ong , Leon Poutievski , Arjun Singh , Lorenzo Vicisano , Richard Alimi , Shawn Shuoshuo Chen , Mike Conley , Subhasree Mandal , Karthik Nagaraj , Kondapa Naidu Bollineni , Amr Sabaa , Shidong Zhang , Min Zhu , and Amin Vahdat . 2021 . Orion: Google's Software-Defined Networking Control Plane . In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI'21) . Andrew D. Ferguson, Steve Gribble, Chi-Yao Hong, Charles Killian, Waqar Mohsin, Henrik Muehe, Joon Ong, Leon Poutievski, Arjun Singh, Lorenzo Vicisano, Richard Alimi, Shawn Shuoshuo Chen, Mike Conley, Subhasree Mandal, Karthik Nagaraj, Kondapa Naidu Bollineni, Amr Sabaa, Shidong Zhang, Min Zhu, and Amin Vahdat. 2021. Orion: Google's Software-Defined Networking Control Plane. In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI'21)."},{"key":"e_1_3_2_1_20_1","volume-title":"Local Fast Failover Routing With Low Stretch. SIGCOMM Comput. Commun. Rev.(April","author":"Foerster Klaus-Tycho","year":"2018","unstructured":"Klaus-Tycho Foerster , Yvonne-Anne Pignolet , Stefan Schmid , and Gilles Tredan . 2018. Local Fast Failover Routing With Low Stretch. SIGCOMM Comput. Commun. Rev.(April 2018 ). Klaus-Tycho Foerster, Yvonne-Anne Pignolet, Stefan Schmid, and Gilles Tredan. 2018. Local Fast Failover Routing With Low Stretch. SIGCOMM Comput. Commun. Rev.(April 2018)."},{"key":"e_1_3_2_1_21_1","volume-title":"American Airlines: PSA Computer Systems Stabilized After Glitch. https:\/\/tinyurl.com\/yb6r6yz6.","author":"FOX","year":"2018","unstructured":"FOX 46. 2018 . American Airlines: PSA Computer Systems Stabilized After Glitch. https:\/\/tinyurl.com\/yb6r6yz6. FOX 46. 2018. American Airlines: PSA Computer Systems Stabilized After Glitch. https:\/\/tinyurl.com\/yb6r6yz6."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132753"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_1_24_1","volume-title":"Autofuzz: Automated Network Protocol Fuzzing Framework. IJCSNS(2010).","author":"Gorbunov Serge","year":"2010","unstructured":"Serge Gorbunov and Arnold Rosenbloom . 2010 . Autofuzz: Automated Network Protocol Fuzzing Framework. IJCSNS(2010). Serge Gorbunov and Arnold Rosenbloom. 2010. Autofuzz: Automated Network Protocol Fuzzing Framework. IJCSNS(2010)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934891"},{"key":"e_1_3_2_1_26_1","volume-title":"9th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '17)","author":"Han Xueyuan","year":"2017","unstructured":"Xueyuan Han , Thomas Pasquier , Tanvi Ranjan , Mark Goldstein , and Margo Seltzer . 2017 . FRAPpuccino: Fault-detection through Runtime Analysis of Provenance . In 9th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '17) . Xueyuan Han, Thomas Pasquier, Tanvi Ranjan, Mark Goldstein, and Margo Seltzer. 2017. FRAPpuccino: Fault-detection through Runtime Analysis of Provenance. In 9th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '17)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/774763.774771"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491197"},{"key":"e_1_3_2_1_29_1","unstructured":"Bill Hethcock. 2016. Southwest Airlines Computer Outage Costs Could Reach $82M. https:\/\/www.bizjournals.com\/dallas\/news\/2016\/08\/11\/southwest-airlinescomputer-outage-costs-could.html.  Bill Hethcock. 2016. Southwest Airlines Computer Outage Costs Could Reach $82M. https:\/\/www.bizjournals.com\/dallas\/news\/2016\/08\/11\/southwest-airlinescomputer-outage-costs-could.html."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098856"},{"key":"e_1_3_2_1_31_1","volume-title":"Achieving High Utilization with Software-Driven WAN. SIGCOMM Comput. Commun. Rev.(Aug","author":"Hong Chi-Yao","year":"2013","unstructured":"Chi-Yao Hong , Srikanth Kandula , Ratul Mahajan , Ming Zhang , Vijay Gill , Mohan Nanduri , and Roger Wattenhofer . 2013. Achieving High Utilization with Software-Driven WAN. SIGCOMM Comput. Commun. Rev.(Aug . 2013 ). Chi-Yao Hong, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Vijay Gill, Mohan Nanduri, and Roger Wattenhofer. 2013. Achieving High Utilization with Software-Driven WAN. SIGCOMM Comput. Commun. Rev.(Aug. 2013)."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230545"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"P. Jakma and D. Lamparter. 2014. Introduction to the quagga routing suite. IEEE Network(2014).  P. Jakma and D. Lamparter. 2014. Introduction to the quagga routing suite. IEEE Network(2014).","DOI":"10.1109\/MNET.2014.6786612"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934904"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2774996"},{"key":"e_1_3_2_1_37_1","volume-title":"Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI '13).","author":"Kazemian Peyman","unstructured":"Peyman Kazemian , Michael Chang , Hongyi Zeng , George Varghese , Nick McKeown , and Scott Whyte . 2013. Real Time Network Policy Checking Using Header Space Analysis . In Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI '13). Peyman Kazemian, Michael Chang, Hongyi Zeng, George Varghese, Nick McKeown, and Scott Whyte. 2013. Real Time Network Policy Checking Using Header Space Analysis. In Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI '13)."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI '12)","author":"Kazemian Peyman","year":"2012","unstructured":"Peyman Kazemian , George Varghese , and Nick McKeown . 2012 . Header Space Analysis: Static Checking for Networks . In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI '12) . Peyman Kazemian, George Varghese, and Nick McKeown. 2012. Header Space Analysis: Static Checking for Networks. In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI '12)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1658939.1658942"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2008.4630084"},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the First Workshop on Hot Topics in Software Defined Networks (HotSDN '12)","author":"Khurshid Ahmed","unstructured":"Ahmed Khurshid , Wenxuan Zhou , Matthew Caesar , and P. Brighten Godfrey . 2012. VeriFlow: Verifying Network-wide Invariants in Real Time . In Proceedings of the First Workshop on Hot Topics in Software Defined Networks (HotSDN '12) . Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. 2012. VeriFlow: Verifying Network-wide Invariants in Real Time. In Proceedings of the First Workshop on Hot Topics in Software Defined Networks (HotSDN '12)."},{"key":"e_1_3_2_1_42_1","volume-title":"Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13).","author":"Khurshid Ahmed","unstructured":"Ahmed Khurshid , Xuan Zou , Wenxuan Zhou , Matthew Caesar , and P. Brighten Godfrey . 2013. VeriFlow: Verifying Network-Wide Invariants in Real Time . In Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. 2013. VeriFlow: Verifying Network-Wide Invariants in Real Time. In Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)."},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '07)","author":"Killian Charles E.","unstructured":"Charles E. Killian , James W. Anderson , Ryan Braud , Ranjit Jhala , and Amin M. Vahdat . 2007. Mace: Language Support for Building Distributed Systems . In Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '07) . Charles E. Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, and Amin M. Vahdat. 2007. Mace: Language Support for Building Distributed Systems. In Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '07)."},{"key":"e_1_3_2_1_44_1","volume-title":"Symbolic Execution and Program Testing. Commun. ACM(July","author":"King James C.","year":"1976","unstructured":"James C. King . 1976. Symbolic Execution and Program Testing. Commun. ACM(July 1976 ). James C. King. 1976. Symbolic Execution and Program Testing. Commun. ACM(July 1976)."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413207"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337225"},{"key":"e_1_3_2_1_48_1","volume-title":"CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. In 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI '04)","author":"Li Zhenmin","year":"2004","unstructured":"Zhenmin Li , Shan Lu , Suvda Myagmar , and Yuanyuan Zhou . 2004 . CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. In 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI '04) . Zhenmin Li, Shan Lu, Suvda Myagmar, and Yuanyuan Zhou. 2004. CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. In 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI '04)."},{"key":"#cr-split#-e_1_3_2_1_49_1.1","doi-asserted-by":"crossref","unstructured":"Hongqiang Liu Yibo Zhu Jitu Padhye Jiaxin Cao Sri Tallapragada Nuno Lopes Andrey Rybalchenko Guohan Lu and Lihua Yuan. 2017. CrystalNet: Faithfully Emulating Large Production Networks. 599--613. https:\/\/doi.org\/10.1145\/3132747.3132759 10.1145\/3132747.3132759","DOI":"10.1145\/3132747.3132759"},{"key":"#cr-split#-e_1_3_2_1_49_1.2","doi-asserted-by":"crossref","unstructured":"Hongqiang Liu Yibo Zhu Jitu Padhye Jiaxin Cao Sri Tallapragada Nuno Lopes Andrey Rybalchenko Guohan Lu and Lihua Yuan. 2017. CrystalNet: Faithfully Emulating Large Production Networks. 599--613. https:\/\/doi.org\/10.1145\/3132747.3132759","DOI":"10.1145\/3132747.3132759"},{"key":"e_1_3_2_1_50_1","volume-title":"JDart: A Dynamic Symbolic Analysis Framework. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems.","author":"Luckow Kasper","year":"2016","unstructured":"Kasper Luckow , Marko Dimja\u0161evi\u0107 , Dimitra Giannakopoulou , Falk Howar , Malte Isberner , Temesghen Kahsai , Zvonimir Rakamari\u0107 , and Vishwanath Raman . 2016 . JDart: A Dynamic Symbolic Analysis Framework. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Kasper Luckow, Marko Dimja\u0161evi\u0107, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamari\u0107, and Vishwanath Raman. 2016. JDart: A Dynamic Symbolic Analysis Framework. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems."},{"key":"e_1_3_2_1_51_1","volume-title":"Jury: Validating Controller Actions in Software-Defined Networks. In 2016 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN).","author":"Mahajan Kshiteej","year":"2016","unstructured":"Kshiteej Mahajan , Rishabh Poddar , Mohan Dhawan , and Vijay Mann . 2016 . Jury: Validating Controller Actions in Software-Defined Networks. In 2016 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN). Kshiteej Mahajan, Rishabh Poddar, Mohan Dhawan, and Vijay Mann. 2016. Jury: Validating Controller Actions in Software-Defined Networks. In 2016 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)."},{"key":"e_1_3_2_1_52_1","volume-title":"Ramos","author":"Mantas Andr\u00e9","year":"2016","unstructured":"Andr\u00e9 Mantas and Fernando M. V . Ramos . 2016 . Consistent and Fault-Tolerant SDN with Unmodified Switches. CoRR @abs\/1602.04211 (2016). http:\/\/arxiv.org\/abs\/1602.04211 Andr\u00e9 Mantas and Fernando M. V. Ramos. 2016. Consistent and Fault-Tolerant SDN with Unmodified Switches. CoRR@abs\/1602.04211 (2016). http:\/\/arxiv.org\/abs\/1602.04211"},{"key":"e_1_3_2_1_53_1","unstructured":"Robert McMillan. 2010. Cisco Patches Bug that Crashed 1% of Internet. https:\/\/www.computerworld.com\/article\/2515200\/cisco-patches-bug-that-crashed-1--of-internet.html.  Robert McMillan. 2010. Cisco Patches Bug that Crashed 1% of Internet. https:\/\/www.computerworld.com\/article\/2515200\/cisco-patches-bug-that-crashed-1--of-internet.html."},{"key":"e_1_3_2_1_54_1","volume-title":"2014 USENIX Annual Technical Conference (USENIX ATC '14)","author":"Meng Fei","year":"2014","unstructured":"Fei Meng , Li Zhou , Xiaosong Ma , Sandeep Uttamchandani , and Deng Liu . 2014 . vCacheShare: Automated Server Flash Cache Space Management in a Virtualization Environment . In 2014 USENIX Annual Technical Conference (USENIX ATC '14) . Fei Meng, Li Zhou, Xiaosong Ma, Sandeep Uttamchandani, and Deng Liu. 2014. vCacheShare: Automated Server Flash Cache Space Management in a Virtualization Environment. In 2014 USENIX Annual Technical Conference (USENIX ATC '14)."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2775004"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3102980.3102983"},{"key":"e_1_3_2_1_57_1","unstructured":"NASA. 2007. Java Path Finder. http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/wiki\/intro\/start.  NASA. 2007. Java Path Finder. http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/wiki\/intro\/start."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.892851"},{"key":"e_1_3_2_1_59_1","volume-title":"Static Differential Program Analysis for Software-Defined Networks. In International Symposium on Formal Methods.","author":"Nelson Tim","year":"2015","unstructured":"Tim Nelson , Andrew D Ferguson , and Shriram Krishnamurthi . 2015 . Static Differential Program Analysis for Software-Defined Networks. In International Symposium on Formal Methods. Tim Nelson, Andrew D Ferguson, and Shriram Krishnamurthi. 2015. Static Differential Program Analysis for Software-Defined Networks. In International Symposium on Formal Methods."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.5555\/2616448.2616496"},{"key":"e_1_3_2_1_61_1","volume-title":"Proceedings of the 2013 International Conference on Software Engineering.","author":"Thien Nguyen Hoang Duong","year":"2013","unstructured":"Hoang Duong Thien Nguyen , Dawei Qi , Abhik Roychoudhury , and Satish Chandra . 2013 . Semfix: Program Repair via Semantic Analysis . In Proceedings of the 2013 International Conference on Software Engineering. Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013. Semfix: Program Repair via Semantic Analysis. In Proceedings of the 2013 International Conference on Software Engineering."},{"key":"e_1_3_2_1_63_1","volume-title":"About - Open Cord. https:\/\/opencord.org\/about\/, last accessed on","year":"2019","unstructured":"opencord.org. 2019. About - Open Cord. https:\/\/opencord.org\/about\/, last accessed on November 4, 2019 . opencord.org. 2019. About - Open Cord. https:\/\/opencord.org\/about\/, last accessed on November 4, 2019."},{"key":"e_1_3_2_1_64_1","unstructured":"OpenDaylight Project. 2013. The OpenDaylight Platform. https:\/\/www.opendaylight.org.  OpenDaylight Project. 2013. The OpenDaylight Platform. https:\/\/www.opendaylight.org."},{"key":"e_1_3_2_1_65_1","volume-title":"SCL: Simplifying Distributed SDN Control Planes. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI '17)","author":"Panda Aurojit","year":"2017","unstructured":"Aurojit Panda , Wenting Zheng , Xiaohe Hu , Arvind Krishnamurthy , and Scott Shenker . 2017 . SCL: Simplifying Distributed SDN Control Planes. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI '17) . Aurojit Panda, Wenting Zheng, Xiaohe Hu, Arvind Krishnamurthy, and Scott Shenker. 2017. SCL: Simplifying Distributed SDN Control Planes. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI '17)."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095833"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"crossref","unstructured":"B. Quoitin and S. Uhlig. 2005. Modeling the routing of an autonomous system with C-BGP. IEEE Network(2005).  B. Quoitin and S. Uhlig. 2005. Modeling the routing of an autonomous system with C-BGP. IEEE Network(2005).","DOI":"10.1109\/MNET.2005.1541716"},{"key":"e_1_3_2_1_69_1","volume-title":"Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation -","volume":"6","author":"Rinard Martin","unstructured":"Martin Rinard , Cristian Cadar , Daniel Dumitran , Daniel M. Roy , Tudor Leu , and William S . Beebee, Jr. 2004. Enhancing Server Availability and Security Through Failure-oblivious Computing . In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation - Volume 6 (OSDI '04). Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, Jr. 2004. Enhancing Server Availability and Security Through Failure-oblivious Computing. In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation - Volume 6 (OSDI '04)."},{"key":"e_1_3_2_1_70_1","unstructured":"RIPE NCC. 2019. RIS Raw Data. https:\/\/www.ripe.net\/analyse\/internet-measurements\/routing-information-service-ris\/ris-raw-data.  RIPE NCC. 2019. RIS Raw Data. https:\/\/www.ripe.net\/analyse\/internet-measurements\/routing-information-service-ris\/ris-raw-data."},{"key":"e_1_3_2_1_71_1","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI'17)","author":"Ryzhyk Leonid","year":"2017","unstructured":"Leonid Ryzhyk , Nikolaj Bj\u00f8rner , Marco Canini , Jean-Baptiste Jeannin , Cole Schlesinger , Douglas B. Terry , and George Varghese . 2017 . Correct by Construction Networks Using Stepwise Refinement . In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI'17) . Leonid Ryzhyk, Nikolaj Bj\u00f8rner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, and George Varghese. 2017. Correct by Construction Networks Using Stepwise Refinement. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI'17)."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.5555\/2930611.2930631"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626304"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834050.2834099"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660353"},{"key":"e_1_3_2_1_77_1","volume-title":"Toward Consistent SDNs: A Case for Network State Fuzzing","author":"Shukla Apoorv","year":"2020","unstructured":"Apoorv Shukla , S. Jawad Saidi , Stefan Schmid , Marco Canini , Thomas Zinner , and Anja Feldmann . 2020. Toward Consistent SDNs: A Case for Network State Fuzzing . IEEE Transactions on Network and Service Management( 2020 ). Apoorv Shukla, S. Jawad Saidi, Stefan Schmid, Marco Canini, Thomas Zinner, and Anja Feldmann. 2020. Toward Consistent SDNs: A Case for Network State Fuzzing. IEEE Transactions on Network and Service Management(2020)."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"e_1_3_2_1_79_1","volume-title":"Simplifying Datacenter Network Debugging with PathDump. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'16)","author":"Tammana Praveen","year":"2016","unstructured":"Praveen Tammana , Rachit Agarwal , and Myungjin Lee . 2016 . Simplifying Datacenter Network Debugging with PathDump. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'16) . Praveen Tammana, Rachit Agarwal, and Myungjin Lee. 2016. Simplifying Datacenter Network Debugging with PathDump. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'16)."},{"key":"e_1_3_2_1_80_1","volume-title":"Fault Localization in Large-Scale Network Policy Deployment. In 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS).","author":"Tammana Praveen","year":"2018","unstructured":"Praveen Tammana , Chandra Nagarajan , Pavan Mamillapalli , Ramana Kompella , and Myungjin Lee . 2018 . Fault Localization in Large-Scale Network Policy Deployment. In 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS). Praveen Tammana, Chandra Nagarajan, Pavan Mamillapalli, Ramana Kompella, and Myungjin Lee. 2018. Fault Localization in Large-Scale Network Policy Deployment. In 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS)."},{"key":"e_1_3_2_1_81_1","volume-title":"SFC-Checker: Checking the Correct Forwarding Behavior of Service Function Chaining. In 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN).","author":"Tschaen Brendan","year":"2016","unstructured":"Brendan Tschaen , Ying Zhang , Theo Benson , Sujata Banerjee , Jeongkeun Lee , and Joon-Myung Kang . 2016 . SFC-Checker: Checking the Correct Forwarding Behavior of Service Function Chaining. In 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN). Brendan Tschaen, Ying Zhang, Theo Benson, Sujata Banerjee, Jeongkeun Lee, and Joon-Myung Kang. 2016. SFC-Checker: Checking the Correct Forwarding Behavior of Service Function Chaining. In 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486030"},{"key":"e_1_3_2_1_83_1","volume-title":"2016 Optical Fiber Communications Conference and Exhibition (OFC).","author":"Wei Da","year":"2016","unstructured":"Da Wei , Lei Xu , Xin Jin , Yiran Li , and Wei Xu . 2016 . A 12-rack, 180-server Data-center Network (DCN) Using Multiwavelength Optical Switching and Full Stack Optimization . In 2016 Optical Fiber Communications Conference and Exhibition (OFC). Da Wei, Lei Xu, Xin Jin, Yiran Li, and Wei Xu. 2016. A 12-rack, 180-server Data-center Network (DCN) Using Multiwavelength Optical Switching and Full Stack Optimization. In 2016 Optical Fiber Communications Conference and Exhibition (OFC)."},{"key":"e_1_3_2_1_84_1","unstructured":"Elizabeth Weise. 2017. Massive Amazon Cloud Service Outage Disrupts Sites. https:\/\/tinyurl.com\/y8z6erfj.  Elizabeth Weise. 2017. Massive Amazon Cloud Service Outage Disrupts Sites. https:\/\/tinyurl.com\/y8z6erfj."},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834050.2834112"},{"key":"e_1_3_2_1_86_1","volume-title":"Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC '11).","author":"Wundsam Andreas","year":"2011","unstructured":"Andreas Wundsam , Dan Levin , Srini Seetharaman , and Anja Feldmann . 2011 . OFRewind: Enabling Record and Replay Troubleshooting for Networks . In Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC '11). Andreas Wundsam, Dan Levin, Srini Seetharaman, and Anja Feldmann. 2011. OFRewind: Enabling Record and Replay Troubleshooting for Networks. In Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC '11)."},{"key":"e_1_3_2_1_87_1","volume-title":"Attacking the Brain: Races in the SDN Control Plane. In USENIX Security Symposium.","author":"Xu Lei","year":"2017","unstructured":"Lei Xu , Jeff Huang , Sungmin Hong , Jialong Zhang , and Guofei Gu . 2017 . Attacking the Brain: Races in the SDN Control Plane. In USENIX Security Symposium. Lei Xu, Jeff Huang, Sungmin Hong, Jialong Zhang, and Guofei Gu. 2017. Attacking the Brain: Races in the SDN Control Plane. In USENIX Security Symposium."},{"key":"e_1_3_2_1_88_1","volume-title":"Crystalball: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. In 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09)","author":"Yabandeh Maysam","year":"2009","unstructured":"Maysam Yabandeh , Nikola Kne\u017eevi\u0107 , Dejan Kosti\u0107 , and Viktor Kuncak . 2009 . Crystalball: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. In 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09) . Maysam Yabandeh, Nikola Kne\u017eevi\u0107, Dejan Kosti\u0107, and Viktor Kuncak. 2009. Crystalball: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. In 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09)."},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098854"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890958"},{"key":"e_1_3_2_1_91_1","volume-title":"Towards Understanding Bugs in Open Source Router Software. SIGCOMM Comput. Commun. Rev.(June","author":"Yin Zuoning","year":"2010","unstructured":"Zuoning Yin , Matthew Caesar , and Yuanyuan Zhou . 2010. Towards Understanding Bugs in Open Source Router Software. SIGCOMM Comput. Commun. Rev.(June 2010 ). Zuoning Yin, Matthew Caesar, and Yuanyuan Zhou. 2010. Towards Understanding Bugs in Open Source Router Software. SIGCOMM Comput. Commun. Rev.(June 2010)."},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"e_1_3_2_1_93_1","volume-title":"MED: The Monitor-Emulator-Debugger for Software-Defined Networks. In IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications.","author":"Zhi Q.","unstructured":"Q. Zhi and W. Xu . 2016 . MED: The Monitor-Emulator-Debugger for Software-Defined Networks. In IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications. Q. Zhi and W. Xu. 2016. MED: The Monitor-Emulator-Debugger for Software-Defined Networks. In IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications."},{"key":"e_1_3_2_1_94_1","volume-title":"Oracle Dyn: Longer is not Always Better. https:\/\/dyn.com\/blog\/longer-is-not-better\/.","author":"Zmijewski Earl","year":"2009","unstructured":"Earl Zmijewski . 2009 . Oracle Dyn: Longer is not Always Better. https:\/\/dyn.com\/blog\/longer-is-not-better\/. Earl Zmijewski. 2009. Oracle Dyn: Longer is not Always Better. https:\/\/dyn.com\/blog\/longer-is-not-better\/."}],"event":{"name":"SOSR '21: The ACM SIGCOMM Symposium on SDN Research","location":"Virtual Event USA","acronym":"SOSR '21","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the ACM SIGCOMM Symposium on SDN Research (SOSR)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3482898.3483355","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3482898.3483355","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3482898.3483355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:48:45Z","timestamp":1750178925000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3482898.3483355"}},"subtitle":["A Fault-Tolerant Design for Network Control Planes"],"short-title":[],"issued":{"date-parts":[[2021,10,11]]},"references-count":94,"alternative-id":["10.1145\/3482898.3483355","10.1145\/3482898"],"URL":"https:\/\/doi.org\/10.1145\/3482898.3483355","relation":{},"subject":[],"published":{"date-parts":[[2021,10,11]]},"assertion":[{"value":"2021-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}