{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,12]],"date-time":"2026-08-12T04:39:28Z","timestamp":1786509568008,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T00:00:00Z","timestamp":1628467200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["Starting Grant 851809"],"award-info":[{"award-number":["Starting Grant 851809"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,9]]},"DOI":"10.1145\/3452296.3472915","type":"proceedings-article","created":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T18:13:15Z","timestamp":1628532795000},"page":"33-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Snowcap"],"prefix":"10.1145","author":[{"given":"Tibor","family":"Schneider","sequence":"first","affiliation":[{"name":"ETH Z\u00fcrich"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R\u00fcdiger","family":"Birkner","sequence":"additional","affiliation":[{"name":"ETH Z\u00fcrich"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laurent","family":"Vanbever","sequence":"additional","affiliation":[{"name":"ETH Z\u00fcrich"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,8,9]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431304"},{"key":"e_1_3_2_2_2_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 b. Tiramisu: Fast Multilayer Network Verification. In USENIX NSDI. Santa Clara, CA . Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020b. Tiramisu: Fast Multilayer Network Verification. In USENIX NSDI. Santa Clara, CA."},{"key":"e_1_3_2_2_3_1","volume-title":"ACM SIGCOMM.","author":"Alimi Richard","unstructured":"Richard Alimi , Ye Wang , and Y. Richard Yang . 2008. Shadow Configuration as a Network Management Primitive . In ACM SIGCOMM. Seattle, WA, USA . Richard Alimi, Ye Wang, and Y. Richard Yang. 2008. Shadow Configuration as a Network Management Primitive. In ACM SIGCOMM. Seattle, WA, USA."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"crossref","unstructured":"T. Bates E. Chen and R. Chandra. 2006. RFC 4456: BGP Route Reflection: An Alternative to Full Mesh Internal BGP (IBGP). Technical Report.  T. Bates E. Chen and R. Chandra. 2006. RFC 4456: BGP Route Reflection: An Alternative to Full Mesh Internal BGP (IBGP) . Technical Report.","DOI":"10.17487\/rfc4456"},{"key":"e_1_3_2_2_5_1","volume-title":"ACM SIGCOMM.","author":"Beckett Ryan","unstructured":"Ryan Beckett , Aarti Gupta , Ratul Mahajan , and David Walker . 2017. A General Approach to Network Configuration Verification . In ACM SIGCOMM. Los Angeles, CA, USA . Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker. 2017. A General Approach to Network Configuration Verification. In ACM SIGCOMM. Los Angeles, CA, USA."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371934.3371965"},{"key":"e_1_3_2_2_7_1","volume-title":"USENIX NSDI.","author":"Caesar Matthew","unstructured":"Matthew Caesar , Donald Caldwell , Nick Feamster , Jennifer Rexford , Aman Shaikh , and Jacobus van der Merwe . 2005. Design and Implementation of a Routing Control Platform . In USENIX NSDI. Boston, MA, USA . Matthew Caesar, Donald Caldwell, Nick Feamster, Jennifer Rexford, Aman Shaikh, and Jacobus van der Merwe. 2005. Design and Implementation of a Routing Control Platform. In USENIX NSDI. Boston, MA, USA."},{"key":"e_1_3_2_2_8_1","volume-title":"CAV.","author":"Eisner Cindy","unstructured":"Cindy Eisner , Dana Fisman , John Havlicek , Yoad Lustig , Anthony McIsaac , and David Van Campenhout . 2003. Reasoning with Temporal Logic on Truncated Paths . In CAV. Boulder, CO, USA . Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, and David Van Campenhout. 2003. Reasoning with Temporal Logic on Truncated Paths. In CAV. Boulder, CO, USA."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2018.2876749"},{"key":"e_1_3_2_2_10_1","volume-title":"USENIX NSDI.","author":"Fogel Ari","unstructured":"Ari Fogel , Stanley Fung , Luis Pedrosa , Meg Walraed-Sullivan , Ramesh Govindan , Ratul Mahajan , and Todd D Millstein . 2015. A General Approach to Network Configuration Analysis .. In USENIX NSDI. Oakland, CA, USA . Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd D Millstein. 2015. A General Approach to Network Configuration Analysis.. In USENIX NSDI. Oakland, CA, USA."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.902686"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2007.021102"},{"key":"e_1_3_2_2_13_1","volume-title":"Disruption Free Topology Reconfiguration in OSPF Networks","author":"Francois Pierre","unstructured":"Pierre Francois , Mike Shand , and Olivier Bonaventure . 2007. Disruption Free Topology Reconfiguration in OSPF Networks . In IEEE INFOCOM. Barcelona , Spain . Pierre Francois, Mike Shand, and Olivier Bonaventure. 2007. Disruption Free Topology Reconfiguration in OSPF Networks. In IEEE INFOCOM. Barcelona, Spain."},{"key":"e_1_3_2_2_14_1","unstructured":"Galaxy Technologies LLC. [n. d.]. GNS3 | The software that empowers network professionals. https:\/\/www.gns3.com\/. ([n. d.]). Accessed: 2021-01-23.  Galaxy Technologies LLC. [n. d.]. GNS3 | The software that empowers network professionals. https:\/\/www.gns3.com\/. ([n. d.]). Accessed: 2021-01-23."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","unstructured":"Aaron Gember-Jacobson Aditya Akella Ratul Mahajan and Hongqiang Harry Liu. 2017. Automatically Repairing Network Control Planes Using an Abstract Representation. In ACM SOSP. Shanghai China.  Aaron Gember-Jacobson Aditya Akella Ratul Mahajan and Hongqiang Harry Liu. 2017. Automatically Repairing Network Control Planes Using an Abstract Representation. In ACM SOSP . Shanghai China.","DOI":"10.1145\/3132747.3132753"},{"key":"e_1_3_2_2_16_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. Florianopolis Brazil.  Aaron Gember-Jacobson Raajay Viswanathan Aditya Akella and Ratul Mahajan. 2016. Fast Control Plane Analysis Using an Abstract Representation. In ACM SIGCOMM . Florianopolis Brazil.","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_2_17_1","volume-title":"ACM IMC.","author":"Gember-Jacobson Aaron","unstructured":"Aaron Gember-Jacobson , Wenfei Wu , Xiujun Li , Aditya Akella , and Ratul Mahajan . 2015. Management Plane Analytics . In ACM IMC. Tokyo, Japan . Aaron Gember-Jacobson, Wenfei Wu, Xiujun Li, Aditya Akella, and Ratul Mahajan. 2015. Management Plane Analytics. In ACM IMC. Tokyo, Japan."},{"key":"e_1_3_2_2_18_1","volume-title":"NV: An Intermediate Language for Verification of Network Control Planes. In ACM PLDI.","author":"Giannarakis Nick","year":"2020","unstructured":"Nick Giannarakis , Devon Loehr , Ryan Beckett , and David Walker . 2020 . NV: An Intermediate Language for Verification of Network Control Planes. In ACM PLDI. London, UK . Nick Giannarakis, Devon Loehr, Ryan Beckett, and David Walker. 2020. NV: An Intermediate Language for Verification of Network Control Planes. In ACM PLDI. London, UK."},{"key":"e_1_3_2_2_19_1","unstructured":"V. Gill and J. Mitchell. 2003. AOL Backbone OSPF-ISIS Migration. NANOG29 Presentation. (2003).  V. Gill and J. Mitchell. 2003. AOL Backbone OSPF-ISIS Migration. NANOG29 Presentation. (2003)."},{"key":"e_1_3_2_2_20_1","volume-title":"Cisco ISP Essentials","author":"Greene Barry Raveendran","unstructured":"Barry Raveendran Greene and Philip Smith . 2002. Cisco ISP Essentials . Cisco Press . Barry Raveendran Greene and Philip Smith. 2002. Cisco ISP Essentials. Cisco Press."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"crossref","unstructured":"T. Griffin and G. Huston. 2005. RFC 4264: BGP Wedgies. Technical Report.  T. Griffin and G. Huston. 2005. RFC 4264: BGP Wedgies . Technical Report.","DOI":"10.17487\/rfc4264"},{"key":"e_1_3_2_2_22_1","volume-title":"ACM SIGCOMM.","author":"Griffin Timothy G","unstructured":"Timothy G Griffin and Gordon Wilfong . 2002. On the Correctness of IBGP Configuration . In ACM SIGCOMM. Pittsburgh, PA, USA . Timothy G Griffin and Gordon Wilfong. 2002. On the Correctness of IBGP Configuration. In ACM SIGCOMM. Pittsburgh, PA, USA."},{"key":"e_1_3_2_2_23_1","volume-title":"Network Mergers and Migrations: Junos Design and Implementation","author":"Herrero Gonzalo Gomez","unstructured":"Gonzalo Gomez Herrero and Jan Ant\u00f3n Bernal Van der Ven . 2011. Network Mergers and Migrations: Junos Design and Implementation . Vol. 45 . John Wiley & Sons . Gonzalo Gomez Herrero and Jan Ant\u00f3n Bernal Van der Ven. 2011. Network Mergers and Migrations: Junos Design and Implementation. Vol. 45. John Wiley & Sons."},{"key":"e_1_3_2_2_24_1","volume-title":"Rohan Gandhi, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Jennifer Rexford, and Roger Wattenhofer.","author":"Jin Xin","year":"2014","unstructured":"Xin Jin , Hongqiang Harry Liu , Rohan Gandhi, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Jennifer Rexford, and Roger Wattenhofer. 2014 . Dynamic Scheduling of Network Updates. ACM SIGCOMM. Chicago, IL, USA. Xin Jin, Hongqiang Harry Liu, Rohan Gandhi, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Jennifer Rexford, and Roger Wattenhofer. 2014. Dynamic Scheduling of Network Updates. ACM SIGCOMM. Chicago, IL, USA."},{"key":"e_1_3_2_2_25_1","volume-title":"Consensus Routing: The Internet as a Distributed System. In USENIX NSDI.","author":"John John P","year":"2008","unstructured":"John P John , Ethan Katz-Bassett , Arvind Krishnamurthy , Thomas Anderson , and Arun Venkataramani . 2008 . Consensus Routing: The Internet as a Distributed System. In USENIX NSDI. San Francisco, CA, USA . John P John, Ethan Katz-Bassett, Arvind Krishnamurthy, Thomas Anderson, and Arun Venkataramani. 2008. Consensus Routing: The Internet as a Distributed System. In USENIX NSDI. San Francisco, CA, USA."},{"key":"e_1_3_2_2_26_1","volume-title":"USENIX NSDI.","author":"Kazemian Peyman","unstructured":"Peyman Kazemian , George Varghese , and Nick McKeown . 2012. Header Space Analysis: Static Checking for Networks . In USENIX NSDI. San Jose, CA, USA . Peyman Kazemian, George Varghese, and Nick McKeown. 2012. Header Space Analysis: Static Checking for Networks. In USENIX NSDI. San Jose, CA, USA."},{"key":"e_1_3_2_2_27_1","volume-title":"ACM IMC.","author":"Kim Hyojoon","unstructured":"Hyojoon Kim , Theophilus Benson , Aditya Akella , and Nick Feamster . 2011. The Evolution of Network Configuration: A Tale of Two Campuses . In ACM IMC. Berlin, Germany . Hyojoon Kim, Theophilus Benson, Aditya Akella, and Nick Feamster. 2011. The Evolution of Network Configuration: A Tale of Two Campuses. In ACM IMC. Berlin, Germany."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"e_1_3_2_2_29_1","volume-title":"ACM SelfDN.","author":"Liu Hongqiang Harry","unstructured":"Hongqiang Harry Liu , Xin Wu , Wei Zhou , Weiguo Chen , Tao Wang , Hui Xu , Lei Zhou , Qing Ma , and Ming Zhang . 2018. Automatic Life Cycle Management of Network Configurations . In ACM SelfDN. Budapest, Hungary . Hongqiang Harry Liu, Xin Wu, Wei Zhou, Weiguo Chen, Tao Wang, Hui Xu, Lei Zhou, Qing Ma, and Ming Zhang. 2018. Automatic Life Cycle Management of Network Configurations. In ACM SelfDN. Budapest, Hungary."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132759"},{"key":"e_1_3_2_2_31_1","volume-title":"ACM HotNets","author":"Mahajan Ratul","unstructured":"Ratul Mahajan and Roger Wattenhofer . 2013. On Consistent Updates in Software Defined Networks . In ACM HotNets . College Park , MD , USA. Ratul Mahajan and Roger Wattenhofer. 2013. On Consistent Updates in Software Defined Networks. In ACM HotNets. College Park, MD, USA."},{"key":"e_1_3_2_2_32_1","volume-title":"ACM PLDI.","author":"McClurg Jedidiah","unstructured":"Jedidiah McClurg , Hossein Hojjat , Pavol \u010cern\u1ef3 , and Nate Foster . 2015. Efficient Synthesis of Network Updates . In ACM PLDI. Portland, OR, USA . Jedidiah McClurg, Hossein Hojjat, Pavol \u010cern\u1ef3, and Nate Foster. 2015. Efficient Synthesis of Network Updates. In ACM PLDI. Portland, OR, USA."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2005.1541716"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2010.2097604"},{"key":"e_1_3_2_2_35_1","volume-title":"ACM PLDI.","author":"Regehr John","unstructured":"John Regehr , Yang Chen , Pascal Cuoq , Eric Eide , Chucky Ellison , and Xuejun Yang . 2012. Test-Case Reduction for C Compiler Bugs . In ACM PLDI. Beijing, China . John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, and Xuejun Yang. 2012. Test-Case Reduction for C Compiler Bugs. In ACM PLDI. Beijing, China."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787508"},{"key":"e_1_3_2_2_37_1","unstructured":"P. Smith. 2010. BGP Techniques for Internet Service Providers. NANOG50 Presentation. (2010).  P. Smith. 2010. BGP Techniques for Internet Service Providers. NANOG50 Presentation. (2010)."},{"key":"e_1_3_2_2_38_1","volume-title":"ACM SIGCOMM.","author":"Sun Peng","unstructured":"Peng Sun , Ratul Mahajan , Jennifer Rexford , Lihua Yuan , Ming Zhang , and Ahsan Arefin . 2014. A Network-State Management Service . In ACM SIGCOMM. Chicago, IL, USA . Peng Sun, Ratul Mahajan, Jennifer Rexford, Lihua Yuan, Ming Zhang, and Ahsan Arefin. 2014. A Network-State Management Service. In ACM SIGCOMM. Chicago, IL, USA."},{"key":"e_1_3_2_2_39_1","volume-title":"PAM.","author":"Eric Sung Yu-Wei","unstructured":"Yu-Wei Eric Sung , Sanjay Rao , Subhabrata Sen , and Stephen Leggett . 2009. Extracting Network-wide Correlated Changes from Longitudinal Configuration Data . In PAM. Seoul, Korea . Yu-Wei Eric Sung, Sanjay Rao, Subhabrata Sen, and Stephen Leggett. 2009. Extracting Network-wide Correlated Changes from Longitudinal Configuration Data. In PAM. Seoul, Korea."},{"key":"e_1_3_2_2_40_1","volume-title":"Starsky HY Wong, and Hongyi Zeng","author":"Eric Sung Yu-Wei","year":"2016","unstructured":"Yu-Wei Eric Sung , Xiaozheng Tie , Starsky HY Wong, and Hongyi Zeng . 2016 . Robotron : Top-down Network Management at Facebook Scale. In ACM SIGCOMM. Florianopolis, Brazil . Yu-Wei Eric Sung, Xiaozheng Tie, Starsky HY Wong, and Hongyi Zeng. 2016. Robotron: Top-down Network Management at Facebook Scale. In ACM SIGCOMM. Florianopolis, Brazil."},{"key":"e_1_3_2_2_41_1","unstructured":"The Linux Foundation. [n. d.]. FRRouting. https:\/\/frrouting.org\/. ([n. d.]). Accessed: 2021-01-23.  The Linux Foundation. [n. d.]. FRRouting. https:\/\/frrouting.org\/. ([n. d.]). Accessed: 2021-01-23."},{"key":"e_1_3_2_2_42_1","volume-title":"When the Cure is Worse than the Disease: The Impact of Graceful IGP Operations on BGP","author":"Vanbever Laurent","unstructured":"Laurent Vanbever , Stefano Vissicchio , Luca Cittadini , and Olivier Bonaventure . 2013. When the Cure is Worse than the Disease: The Impact of Graceful IGP Operations on BGP . In IEEE INFOCOM. Turin , Italy . Laurent Vanbever, Stefano Vissicchio, Luca Cittadini, and Olivier Bonaventure. 2013. When the Cure is Worse than the Disease: The Impact of Graceful IGP Operations on BGP. In IEEE INFOCOM. Turin, Italy."},{"key":"e_1_3_2_2_43_1","volume-title":"ACM SIGCOMM.","author":"Vanbever Laurent","unstructured":"Laurent Vanbever , Stefano Vissicchio , Cristel Pelsser , Pierre Francois , and Olivier Bonaventure . 2011. Seamless Network-Wide IGP Migrations . In ACM SIGCOMM. Toronto, Ontario , Canada . Laurent Vanbever, Stefano Vissicchio, Cristel Pelsser, Pierre Francois, and Olivier Bonaventure. 2011. Seamless Network-Wide IGP Migrations. In ACM SIGCOMM. Toronto, Ontario, Canada."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2012.2190767"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2012.2217506"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"SIGCOMM '21: ACM SIGCOMM 2021 Conference","location":"Virtual Event USA","acronym":"SIGCOMM '21","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 2021 ACM SIGCOMM 2021 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452296.3472915","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452296.3472915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:40Z","timestamp":1750191460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452296.3472915"}},"subtitle":["synthesizing network-wide configuration updates"],"short-title":[],"issued":{"date-parts":[[2021,8,9]]},"references-count":46,"alternative-id":["10.1145\/3452296.3472915","10.1145\/3452296"],"URL":"https:\/\/doi.org\/10.1145\/3452296.3472915","relation":{},"subject":[],"published":{"date-parts":[[2021,8,9]]},"assertion":[{"value":"2021-08-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}