{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T15:40:11Z","timestamp":1759938011079,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,4]],"date-time":"2020-11-04T00:00:00Z","timestamp":1604448000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Maryland Procurement Office","award":["H98230-18-D-0007"],"award-info":[{"award-number":["H98230-18-D-0007"]}]},{"name":"National Science Foundation","award":["CNS-1513906"],"award-info":[{"award-number":["CNS-1513906"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,4]]},"DOI":"10.1145\/3422604.3425949","type":"proceedings-article","created":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T00:50:36Z","timestamp":1604019036000},"page":"96-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Towards Verified Self-Driving Infrastructure"],"prefix":"10.1145","author":[{"given":"Bingzhe","family":"Liu","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}]},{"given":"Ali","family":"Kheradmand","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}]},{"given":"Matthew","family":"Caesar","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}]},{"given":"P. Brighten","family":"Godfrey","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign & VMware, Urbana, IL, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"201","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020","author":"Abhashkumar A.","year":"2020","unstructured":"A. Abhashkumar , A. Gember-Jacobson , and A. Akella . Tiramisu: Fast multilayer network verification. In R. Bhagwan and G. Porter, editors , 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020 , Santa Clara, CA, USA , February 25-27, 2020 , pages 201 -- 219 . USENIX Association, 2020. A. Abhashkumar, A. Gember-Jacobson, and A. Akella. Tiramisu: Fast multilayer network verification. In R. Bhagwan and G. Porter, editors, 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020, pages 201--219. USENIX Association, 2020."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3143361.3143380"},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_3_1","unstructured":"Amazon. Aws post-event summaries. https:\/\/aws.amazon.com\/cn\/premiumsupport\/technology\/pes\/ , June 2020 . Amazon. Aws post-event summaries. https:\/\/aws.amazon.com\/cn\/premiumsupport\/technology\/pes\/, June 2020."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_1_5_1","first-page":"127","volume-title":"Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012","author":"Canini M.","year":"2012","unstructured":"M. Canini , D. Venzano , P. Peres'i ni, D. Kostic , and J. Rexford . A NICE way to test openflow applications. In S. D. Gribble and D. Katabi, editors , Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012 , San Jose, CA, USA , April 25-27, 2012 , pages 127 -- 140 . USENIX Association, 2012. M. Canini, D. Venzano, P. Peres'i ni, D. Kostic, and J. Rexford. A NICE way to test openflow applications. In S. D. Gribble and D. Katabi, editors, Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012, San Jose, CA, USA, April 25-27, 2012, pages 127--140. USENIX Association, 2012."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_22"},{"volume-title":"August","year":"2018","key":"e_1_3_2_1_7_1","unstructured":"Cisco. Cisco automated fault management. https:\/\/www.cisco.com\/c\/dam\/en\/us\/services\/collateral\/services\/bcs-afm-aag.pdf , August 2018 . Cisco. Cisco automated fault management. https:\/\/www.cisco.com\/c\/dam\/en\/us\/services\/collateral\/services\/bcs-afm-aag.pdf, August 2018."},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_8_1","unstructured":"CloudFormation. Aws cloud: formation model and provision all your cloud infrastructure resources. https:\/\/aws.amazon.com\/cloudformation\/ , June 2020 . CloudFormation. Aws cloud: formation model and provision all your cloud infrastructure resources. https:\/\/aws.amazon.com\/cloudformation\/, June 2020."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192400"},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_10_1","unstructured":"Github. Github of kubernete descheduler. https:\/\/github.com\/kubernetes-sigs\/descheduler , June 2020 . Github. Github of kubernete descheduler. https:\/\/github.com\/kubernetes-sigs\/descheduler, June 2020."},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_11_1","unstructured":"Github. Hpa v2 scales up deployment during rolling updates #90461. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/90461 , June 2020 . Github. Hpa v2 scales up deployment during rolling updates #90461. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/90461, June 2020."},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_12_1","unstructured":"Github. Replicaset controller bug: continuously creating pod to tainted nodes #75913. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/75913 , June 2020 . Github. Replicaset controller bug: continuously creating pod to tainted nodes #75913. https:\/\/github.com\/kubernetes\/kubernetes\/issues\/75913, June 2020."},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_13_1","unstructured":"Google. Google cloud incident reports. https:\/\/status.cloud.google.com\/summary , June 2020 . Google. Google cloud incident reports. https:\/\/status.cloud.google.com\/summary, June 2020."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815428"},{"key":"e_1_3_2_1_15_1","first-page":"735","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017","author":"Horn A.","year":"2017","unstructured":"A. Horn , A. Kheradmand , and M. R. Prasad . Delta-net: Real-time network verification using atoms. In A. Akella and J. Howell, editors , 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017 , Boston, MA, USA , March 27-29, 2017 , pages 735 -- 749 . USENIX Association, 2017. A. Horn, A. Kheradmand, and M. R. Prasad. Delta-net: Real-time network verification using atoms. In A. Akella and J. Howell, editors, 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017, Boston, MA, USA, March 27-29, 2017, pages 735--749. USENIX Association, 2017."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2019.8888144"},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_17_1","unstructured":"Istio. Istio: connect, secure, control, and observe services. https:\/\/istio.io\/ , June 2020 . Istio. Istio: connect, secure, control, and observe services. https:\/\/istio.io\/, June 2020."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"e_1_3_2_1_19_1","volume-title":"Quantitative network analysis. Technical report","author":"Juniwal G.","year":"2016","unstructured":"G. Juniwal , N. Bjorner , R. Mahajan , S. Seshia , and G. Varghese . Quantitative network analysis. Technical report , 2016 . G. Juniwal, N. Bjorner, R. Mahajan, S. Seshia, and G. Varghese. Quantitative network analysis. Technical report, 2016."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373360.3380831"},{"key":"e_1_3_2_1_21_1","volume-title":"Case study implementation details. https:\/\/github.com\/kheradmand\/verdict-hotnets20","author":"Kheradmand A.","year":"2020","unstructured":"A. Kheradmand . Case study implementation details. https:\/\/github.com\/kheradmand\/verdict-hotnets20 , 2020 . A. Kheradmand. Case study implementation details. https:\/\/github.com\/kheradmand\/verdict-hotnets20, 2020."},{"key":"e_1_3_2_1_22_1","volume-title":"P4K: A formal semantics of P4 and applications. CoRR, abs\/1804.01468","author":"Kheradmand A.","year":"2018","unstructured":"A. Kheradmand and G. Rosu . P4K: A formal semantics of P4 and applications. CoRR, abs\/1804.01468 , 2018 . A. Kheradmand and G. Rosu. P4K: A formal semantics of P4 and applications. CoRR, abs\/1804.01468, 2018."},{"key":"e_1_3_2_1_23_1","first-page":"59","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 15","author":"Kim H.","year":"2015","unstructured":"H. Kim , J. Reich , A. Gupta , M. Shahbaz , N. Feamster , and R. J. Clark . Kinetic: Verifiable dynamic network control . In 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 15 , Oakland, CA, USA , May 4-6, 2015 , pages 59 -- 72 . USENIX Association, 2015. H. Kim, J. Reich, A. Gupta, M. Shahbaz, N. Feamster, and R. J. Clark. Kinetic: Verifiable dynamic network control. In 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 15, Oakland, CA, USA, May 4-6, 2015, pages 59--72. USENIX Association, 2015."},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_24_1","unstructured":"Kubernetes. Kubernetes: Production-grade container orchestration. https:\/\/kubernetes.io\/ , June 2020 . Kubernetes. Kubernetes: Production-grade container orchestration. https:\/\/kubernetes.io\/, June 2020."},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_25_1","unstructured":"Kubernetes-sigs. Descheduler. https:\/\/github.com\/kubernetes-sigs\/descheduler , June 2020 . Kubernetes-sigs. Descheduler. https:\/\/github.com\/kubernetes-sigs\/descheduler, June 2020."},{"key":"e_1_3_2_1_26_1","first-page":"631","volume-title":"Proceedings of the 2018 International Conference on Management of Data, SIGMOD Conference 2018","author":"Ma L.","year":"2018","unstructured":"L. Ma , D. V. Aken , A. Hefny , G. Mezerhane , A. Pavlo , and G. J. Gordon . Query-based workload forecasting for self-driving database management systems. In G. Das, C. M. Jermaine, and P. A. Bernstein, editors , Proceedings of the 2018 International Conference on Management of Data, SIGMOD Conference 2018 , Houston, TX, USA , June 10-15, 2018 , pages 631 -- 645 . ACM, 2018. L. Ma, D. V. Aken, A. Hefny, G. Mezerhane, A. Pavlo, and G. J. Gordon. Query-based workload forecasting for self-driving database management systems. In G. Das, C. M. Jermaine, and P. A. Bernstein, editors, Proceedings of the 2018 International Conference on Management of Data, SIGMOD Conference 2018, Houston, TX, USA, June 10-15, 2018, pages 631--645. ACM, 2018."},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_27_1","unstructured":"mboxGoogle. Google bigquery incident #18037. https:\/\/status.cloud.google.com\/incident\/bigquery\/18037 , June 2020 . mboxGoogle. Google bigquery incident #18037. https:\/\/status.cloud.google.com\/incident\/bigquery\/18037, June 2020."},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_28_1","unstructured":"mboxGoogle. Google operations incident #19007. https:\/\/status.cloud.google.com\/incident\/google-stackdriver\/19007 , June 2020 . mboxGoogle. Google operations incident #19007. https:\/\/status.cloud.google.com\/incident\/google-stackdriver\/19007, June 2020."},{"key":"e_1_3_2_1_29_1","first-page":"699","volume-title":"16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019","author":"Moon S.","year":"2019","unstructured":"S. Moon , J. Helt , Y. Yuan , Y. Bieri , S. Banerjee , V. Sekar , W. Wu , M. Yannakakis , and Y. Zhang . Alembic: Automated model inference for stateful network functions. In J. R. Lorch and M. Yu, editors , 16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019 , Boston, MA , February 26-28, 2019 , pages 699 -- 718 . USENIX Association, 2019. S. Moon, J. Helt, Y. Yuan, Y. Bieri, S. Banerjee, V. Sekar, W. Wu, M. Yannakakis, and Y. Zhang. Alembic: Automated model inference for stateful network functions. In J. R. Lorch and M. Yu, editors, 16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019, Boston, MA, February 26-28, 2019, pages 699--718. USENIX Association, 2019."},{"key":"e_1_3_2_1_30_1","volume-title":"CIDR 2017, 8th Biennial Conference on Innovative Data Systems Research, Chaminade, CA, USA, January 8-11, 2017, Online Proceedings. www.cidrdb.org","author":"Pavlo A.","year":"2017","unstructured":"A. Pavlo , G. Angulo , J. Arulraj , H. Lin , J. Lin , L. Ma , P. Menon , T. C. Mowry , M. Perron , I. Quah , S. Santurkar , A. Tomasic , S. Toor , D. V. Aken , Z. Wang , Y. Wu , R. Xian , and T. Zhang . Self-driving database management systems . In CIDR 2017, 8th Biennial Conference on Innovative Data Systems Research, Chaminade, CA, USA, January 8-11, 2017, Online Proceedings. www.cidrdb.org , 2017 . A. Pavlo, G. Angulo, J. Arulraj, H. Lin, J. Lin, L. Ma, P. Menon, T. C. Mowry, M. Perron, I. Quah, S. Santurkar, A. Tomasic, S. Toor, D. V. Aken, Z. Wang, Y. Wu, R. Xian, and T. Zhang. Self-driving database management systems. In CIDR 2017, 8th Biennial Conference on Innovative Data Systems Research, Chaminade, CA, USA, January 8-11, 2017, Online Proceedings. www.cidrdb.org, 2017."},{"key":"e_1_3_2_1_31_1","first-page":"953","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020","author":"Prabhu S.","year":"2020","unstructured":"S. Prabhu , K. Chou , A. Kheradmand , B. Godfrey , and M. Caesar . Plankton: Scalable network configuration verification through model checking. In R. Bhagwan and G. Porter, editors , 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020 , Santa Clara, CA, USA , February 25-27, 2020 , pages 953 -- 967 . USENIX Association, 2020. S. Prabhu, K. Chou, A. Kheradmand, B. Godfrey, and M. Caesar. Plankton: Scalable network configuration verification through model checking. In R. Bhagwan and G. Porter, editors, 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020, pages 953--967. USENIX Association, 2020."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106989.3106991"},{"key":"e_1_3_2_1_33_1","volume-title":"June","author":"Research E.","year":"2019","unstructured":"E. Research . A look at automated fault management with machine learning. https:\/\/www.ericsson.com\/en\/blog\/2019\/6\/automated-fault-management-machine-learning , June 2019 . E. Research. A look at automated fault management with machine learning. https:\/\/www.ericsson.com\/en\/blog\/2019\/6\/automated-fault-management-machine-learning, June 2019."},{"key":"e_1_3_2_1_34_1","first-page":"416","volume-title":"Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016","author":"Shambaugh R.","year":"2016","unstructured":"R. Shambaugh , A. Weiss , and A. Guha . Rehearsal: a configuration verification tool for puppet. In C. Krintz and E. Berger, editors , Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016 , Santa Barbara, CA, USA , June 13-17, 2016 , pages 416 -- 430 . ACM, 2016. R. Shambaugh, A. Weiss, and A. Guha. Rehearsal: a configuration verification tool for puppet. In C. Krintz and E. Berger, editors, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, pages 416--430. ACM, 2016."},{"key":"e_1_3_2_1_35_1","first-page":"557","volume-title":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017","author":"Smolka S.","year":"2017","unstructured":"S. Smolka , P. Kumar , N. Foster , D. Kozen , and A. Silva . Cantor meets scott: semantic foundations for probabilistic networks. In G. Castagna and A. D. Gordon, editors , Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 , Paris, France , January 18-20, 2017 , pages 557 -- 571 . ACM, 2017. S. Smolka, P. Kumar, N. Foster, D. Kozen, and A. Silva. Cantor meets scott: semantic foundations for probabilistic networks. In G. Castagna and A. D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pages 557--571. ACM, 2017."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385976"},{"key":"e_1_3_2_1_37_1","volume-title":"June","author":"Swarm D.","year":"2020","unstructured":"D. Swarm . Docker swarm: Swarm mode overview. https:\/\/docs.docker.com\/engine\/swarm\/ , June 2020 . D. Swarm. Docker swarm: Swarm mode overview. https:\/\/docs.docker.com\/engine\/swarm\/, June 2020."},{"volume-title":"June","year":"2020","key":"e_1_3_2_1_38_1","unstructured":"Terraform. Terraform: use infrastructure as code to provision and manage any cloud, infrastructure, or service. https:\/\/www.terraform.io\/ , June 2020 . Terraform. Terraform: use infrastructure as code to provision and manage any cloud, infrastructure, or service. https:\/\/www.terraform.io\/, June 2020."},{"key":"e_1_3_2_1_39_1","first-page":"719","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017","author":"Wu Y.","year":"2017","unstructured":"Y. Wu , A. Chen , A. Haeberlen , W. Zhou , and B. T. Loo . Automated bug removal for software-defined networks. In A. Akella and J. Howell, editors , 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017 , Boston, MA, USA , March 27-29, 2017 , pages 719 -- 733 . USENIX Association, 2017. Y. Wu, A. Chen, A. Haeberlen, W. Zhou, and B. T. Loo. Automated bug removal for software-defined networks. In A. Akella and J. Howell, editors, 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017, Boston, MA, USA, March 27-29, 2017, pages 719--733. USENIX Association, 2017."},{"key":"e_1_3_2_1_40_1","first-page":"257","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020","author":"Yousefi F.","year":"2020","unstructured":"F. Yousefi , A. Abhashkumar , K. Subramanian , K. Hans , S. Ghorbani , and A. Akella . Liveness verification of stateful network functions. In R. Bhagwan and G. Porter, editors , 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020 , Santa Clara, CA, USA , February 25-27, 2020 , pages 257 -- 272 . USENIX Association, 2020. F. Yousefi, A. Abhashkumar, K. Subramanian, K. Hans, S. Ghorbani, and A. Akella. Liveness verification of stateful network functions. In R. Bhagwan and G. Porter, editors, 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020, pages 257--272. USENIX Association, 2020."},{"key":"e_1_3_2_1_41_1","first-page":"181","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020","author":"Yuan Y.","year":"2020","unstructured":"Y. Yuan , S. Moon , S. Uppal , L. Jia , and V. Sekar . Netsmc: A custom symbolic model checker for stateful network verification. In R. Bhagwan and G. Porter, editors , 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020 , Santa Clara, CA, USA , February 25-27, 2020 , pages 181 -- 200 . USENIX Association, 2020. Y. Yuan, S. Moon, S. Uppal, L. Jia, and V. Sekar. Netsmc: A custom symbolic model checker for stateful network verification. In R. Bhagwan and G. Porter, editors, 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020, pages 181--200. USENIX Association, 2020."},{"key":"e_1_3_2_1_42_1","first-page":"1","volume-title":"2017 IEEE Conference on Computer Communications, INFOCOM 2017","author":"Zhang Y.","year":"2017","unstructured":"Y. Zhang , W. Wu , S. Banerjee , J. Kang , and M. A. S\u00e1 nchez. Sla-verifier: Stateful and quantitative verification for service chaining . In 2017 IEEE Conference on Computer Communications, INFOCOM 2017 , Atlanta, GA, USA , May 1-4, 2017 , pages 1 -- 9 . IEEE, 2017. Y. Zhang, W. Wu, S. Banerjee, J. Kang, and M. A. S\u00e1 nchez. Sla-verifier: Stateful and quantitative verification for service chaining. In 2017 IEEE Conference on Computer Communications, INFOCOM 2017, Atlanta, GA, USA, May 1-4, 2017, pages 1--9. IEEE, 2017."},{"key":"e_1_3_2_1_43_1","first-page":"595","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2018","author":"Zhou W.","year":"2018","unstructured":"W. Zhou , J. Croft , B. Liu , E. Ang , and M. Caesar . Automatically correcting networks with NEAt. In S. Banerjee and S. Seshan, editors , 15th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2018 , Renton, WA, USA , April 9-11, 2018 , pages 595 -- 608 . USENIX Association, 2018. W. Zhou, J. Croft, B. Liu, E. Ang, and M. Caesar. Automatically correcting networks with NEAt. In S. Banerjee and S. Seshan, editors, 15th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2018, Renton, WA, USA, April 9-11, 2018, pages 595--608. USENIX Association, 2018."}],"event":{"name":"HotNets '20: The 19th ACM Workshop on Hot Topics in Networks","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Virtual Event USA","acronym":"HotNets '20"},"container-title":["Proceedings of the 19th ACM Workshop on Hot Topics in Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3422604.3425949","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3422604.3425949","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3422604.3425949","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:29Z","timestamp":1750195889000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3422604.3425949"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,4]]},"references-count":43,"alternative-id":["10.1145\/3422604.3425949","10.1145\/3422604"],"URL":"https:\/\/doi.org\/10.1145\/3422604.3425949","relation":{},"subject":[],"published":{"date-parts":[[2020,11,4]]},"assertion":[{"value":"2020-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}