{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T20:41:42Z","timestamp":1775680902631,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,14]],"date-time":"2017-10-14T00:00:00Z","timestamp":1507939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,14]]},"DOI":"10.1145\/3132747.3132759","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"599-613","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":71,"title":["CrystalNet"],"prefix":"10.1145","author":[{"given":"Hongqiang Harry","family":"Liu","sequence":"first","affiliation":[{"name":"Microsoft"}]},{"given":"Yibo","family":"Zhu","sequence":"additional","affiliation":[{"name":"Microsoft"}]},{"given":"Jitu","family":"Padhye","sequence":"additional","affiliation":[{"name":"Microsoft"}]},{"given":"Jiaxin","family":"Cao","sequence":"additional","affiliation":[{"name":"Microsoft"}]},{"given":"Sri","family":"Tallapragada","sequence":"additional","affiliation":[{"name":"Microsoft"}]},{"given":"Nuno P.","family":"Lopes","sequence":"additional","affiliation":[{"name":"Microsoft"}]},{"given":"Andrey","family":"Rybalchenko","sequence":"additional","affiliation":[{"name":"Microsoft"}]},{"given":"Guohan","family":"Lu","sequence":"additional","affiliation":[{"name":"Microsoft"}]},{"given":"Lihua","family":"Yuan","sequence":"additional","affiliation":[{"name":"Microsoft"}]}],"member":"320","published-online":{"date-parts":[[2017,10,14]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Cloudlab. https:\/\/www.cloudlab.us\/.  Cloudlab. https:\/\/www.cloudlab.us\/."},{"key":"e_1_3_2_2_2_1","unstructured":"Emulab. https:\/\/www.emulab.net\/.  Emulab. https:\/\/www.emulab.net\/."},{"key":"e_1_3_2_2_3_1","unstructured":"GNS3. https:\/\/www.gns3.com\/.  GNS3. https:\/\/www.gns3.com\/."},{"key":"e_1_3_2_2_4_1","unstructured":"Introducing Data Center Fabric the Next-Generation Facebook Data Center Network. https:\/\/code.facebook.com\/posts\/360346274145943\/introducing-data-center-fabric-the-next-generation-facebook\\-data-center-network\/.  Introducing Data Center Fabric the Next-Generation Facebook Data Center Network. https:\/\/code.facebook.com\/posts\/360346274145943\/introducing-data-center-fabric-the-next-generation-facebook\\-data-center-network\/."},{"key":"e_1_3_2_2_5_1","unstructured":"Routing Design for Large Scale Datacenters: BGP is a better IGP! https:\/\/www.nanog.org\/meetings\/nanog55\/presentations\/Monday\/Lapukhov.pdf.  Routing Design for Large Scale Datacenters: BGP is a better IGP! https:\/\/www.nanog.org\/meetings\/nanog55\/presentations\/Monday\/Lapukhov.pdf."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1402946.1402967"},{"key":"e_1_3_2_2_7_1","unstructured":"Barefoot. P4 Software Switch. https:\/\/github.com\/p4lang\/behavioral-model\/.  Barefoot. P4 Software Switch. https:\/\/github.com\/p4lang\/behavioral-model\/."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_2_2_11_1","first-page":"217","volume-title":"OSDI","author":"Fayaz S. K.","year":"2016","unstructured":"Fayaz , S. K. , Sharma , T. , Fogel , A. , Mahajan , R. , Millstein , T. , Sekar , V. , and Varghese , G . Efficient Network Reachability Analysis using a Succinct Control Plane Representation . In OSDI ( 2016 ), USENIX Association , pp. 217 -- 232 . Fayaz, S. K., Sharma, T., Fogel, A., Mahajan, R., Millstein, T., Sekar, V., and Varghese, G. Efficient Network Reachability Analysis using a Succinct Control Plane Representation. In OSDI (2016), USENIX Association, pp. 217--232."},{"key":"e_1_3_2_2_12_1","unstructured":"Feamster N. and Balakrishnan H. Verifying the Correctness of Wide-Area Internet Routing.  Feamster N. and Balakrishnan H. Verifying the Correctness of Wide-Area Internet Routing."},{"key":"e_1_3_2_2_13_1","first-page":"469","volume-title":"NSDI","author":"Fogel A.","year":"2015","unstructured":"Fogel , A. , Fung , S. , Pedrosa , L. , Walraed-Sullivan , M. , Govindan , R. , Mahajan , R. , and Millstein , T. D . A General Approach to Network Configuration Analysis . In NSDI ( 2015 ), pp. 469 -- 483 . Fogel, A., Fung, S., Pedrosa, L., Walraed-Sullivan, M., Govindan, R., Mahajan, R., and Millstein, T. D. A General Approach to Network Configuration Analysis. In NSDI (2015), pp. 469--483."},{"key":"e_1_3_2_2_14_1","first-page":"179","volume-title":"Peer-to-Peer Communication Across Network Address Translators. In ATC","author":"Ford B.","year":"2005","unstructured":"Ford , B. , Srisuresh , P. , and Kegel , D . Peer-to-Peer Communication Across Network Address Translators. In ATC ( 2005 ), pp. 179 -- 192 . Ford, B., Srisuresh, P., and Kegel, D. Peer-to-Peer Communication Across Network Address Translators. In ATC (2005), pp. 179--192."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_2_16_1","unstructured":"Google. Google Compute Engine Incident NO.16007. Connectivity issues in all regions. https:\/\/status.cloud.google.com\/incident\/compute\/16007.  Google. Google Compute Engine Incident NO.16007. Connectivity issues in all regions. https:\/\/status.cloud.google.com\/incident\/compute\/16007."},{"key":"e_1_3_2_2_17_1","volume-title":"The Stable Paths Problem and Interdomain Routing","author":"Griffin T. G.","year":"2002","unstructured":"Griffin , T. G. , Shepherd , F. B. , and Wilfong , G . The Stable Paths Problem and Interdomain Routing . IEEE\/ACM Transactions on Networking (ToN) 10, 2 ( 2002 ), 232--243. Griffin, T. G., Shepherd, F. B., and Wilfong, G. The Stable Paths Problem and Interdomain Routing. IEEE\/ACM Transactions on Networking (ToN) 10, 2 (2002), 232--243."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413206"},{"key":"e_1_3_2_2_19_1","volume-title":"Delta-net: Real-time Network Verification Using Atoms. arXiv preprint arXiv:1702.07375","author":"Horn A.","year":"2017","unstructured":"Horn , A. , Kheradmand , A. , and Prasad , M. R . Delta-net: Real-time Network Verification Using Atoms. arXiv preprint arXiv:1702.07375 ( 2017 ). Horn, A., Kheradmand, A., and Prasad, M. R. Delta-net: Real-time Network Verification Using Atoms. arXiv preprint arXiv:1702.07375 (2017)."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3094405.3094410"},{"key":"e_1_3_2_2_21_1","first-page":"113","volume-title":"NSDI","volume":"12","author":"Kazemian P.","year":"2012","unstructured":"Kazemian , P. , Varghese , G. , and McKeown , N. Header Space Analysis: Static Checking for Networks . In NSDI ( 2012 ), vol. 12 , pp. 113 -- 126 . Kazemian, P., Varghese, G., and McKeown, N. Header Space Analysis: Static Checking for Networks. In NSDI (2012), vol. 12, pp. 113--126."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377766"},{"key":"e_1_3_2_2_23_1","first-page":"499","volume-title":"Checking Beliefs in Dynamic Networks. In NSDI","author":"Lopes N. P.","year":"2015","unstructured":"Lopes , N. P. , Bj\u00f8rner , N. , Godefroid , P. , Jayaraman , K. , and Varghese , G . Checking Beliefs in Dynamic Networks. In NSDI ( 2015 ), pp. 499 -- 512 . Lopes, N. P., Bj\u00f8rner, N., Godefroid, P., Jayaraman, K., and Varghese, G. Checking Beliefs in Dynamic Networks. In NSDI (2015), pp. 499--512."},{"key":"e_1_3_2_2_24_1","volume-title":"OSPF: Anatomy of an Internet Routing Protocol","author":"Moy J. T.","year":"1998","unstructured":"Moy , J. T. OSPF: Anatomy of an Internet Routing Protocol . Addison-Wesley Professional , 1998 . Moy, J. T. OSPF: Anatomy of an Internet Routing Protocol. Addison-Wesley Professional, 1998."},{"key":"e_1_3_2_2_25_1","first-page":"438","volume-title":"NSDI","author":"Ousterhout A.","year":"2017","unstructured":"Ousterhout , A. , Perry , J. , Balakrishnan , H. , and Lapukhov , P . Flexplane: An experimentation platform for resource management in datacenters . In NSDI ( 2017 ), pp. 438 -- 451 . Ousterhout, A., Perry, J., Balakrishnan, H., and Lapukhov, P. Flexplane: An experimentation platform for resource management in datacenters. In NSDI (2017), pp. 438-- 451."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837657"},{"key":"e_1_3_2_2_27_1","volume":"7938","author":"Premji A.","unstructured":"Premji , A. , Lapukhov , P. , and Mitchell , J. RFC 7938 : Use of BGP for Routing in Large-Scale Data Centers, 2016. Premji, A., Lapukhov, P., and Mitchell, J. RFC 7938: Use of BGP for Routing in Large-Scale Data Centers, 2016.","journal-title":"J. RFC"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934874"},{"key":"e_1_3_2_2_29_1","first-page":"1","volume-title":"Maxinet: Distributed Emulation of Software-Defined Networks. In Networking Conference, 2014","author":"Wette P.","year":"2014","unstructured":"Wette , P. , Draxler , M. , Schwabe , A. , Wallaschek , F. , Zahraee , M. H. , and Karl , H . Maxinet: Distributed Emulation of Software-Defined Networks. In Networking Conference, 2014 IFIP ( 2014 ), IEEE, pp. 1 -- 9 . Wette, P., Draxler, M., Schwabe, A., Wallaschek, F., Zahraee, M. H., and Karl, H. Maxinet: Distributed Emulation of Software-Defined Networks. In Networking Conference, 2014 IFIP (2014), IEEE, pp. 1--9."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.16"},{"key":"e_1_3_2_2_31_1","first-page":"317","volume-title":"OSDI","author":"Zhai E.","year":"2014","unstructured":"Zhai , E. , Chen , R. , Wolinsky , D. I. , and Ford , B . Heading Off Correlated Failures through Independence-as-a-Service . In OSDI ( 2014 ), pp. 317 -- 334 . Zhai, E., Chen, R., Wolinsky, D. I., and Ford, B. Heading Off Correlated Failures through Independence-as-a-Service. In OSDI (2014), pp. 317--334."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2829988.2787483"}],"event":{"name":"SOSP '17: ACM SIGOPS 26th Symposium on Operating Systems Principles","location":"Shanghai China","acronym":"SOSP '17","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"]},"container-title":["Proceedings of the 26th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132747.3132759","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3132747.3132759","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:10:57Z","timestamp":1750212657000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132747.3132759"}},"subtitle":["Faithfully Emulating Large Production Networks"],"short-title":[],"issued":{"date-parts":[[2017,10,14]]},"references-count":32,"alternative-id":["10.1145\/3132747.3132759","10.1145\/3132747"],"URL":"https:\/\/doi.org\/10.1145\/3132747.3132759","relation":{},"subject":[],"published":{"date-parts":[[2017,10,14]]},"assertion":[{"value":"2017-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}