{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T12:45:29Z","timestamp":1756385129668,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T00:00:00Z","timestamp":1713744000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CNS-2420309, CNS-2345339, CNS-2214272, CNS-2106338, CCRI-2016727"],"award-info":[{"award-number":["CNS-2420309, CNS-2345339, CNS-2214272, CNS-2106338, CCRI-2016727"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"VMware","doi-asserted-by":"publisher","award":["VMware Early Career Faculty"],"award-info":[{"award-number":["VMware Early Career Faculty"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Google","doi-asserted-by":"publisher","award":["Google PhD Fellowship"],"award-info":[{"award-number":["Google PhD Fellowship"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,22]]},"DOI":"10.1145\/3627703.3650086","type":"proceedings-article","created":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T06:28:28Z","timestamp":1713421708000},"page":"148-162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Occam: A Programming System for Reliable Network Management"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-6163-0569","authenticated-orcid":false,"given":"Jiarong","family":"Xing","sequence":"first","affiliation":[{"name":"Rice University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-9957-398X","authenticated-orcid":false,"given":"Kuo-Feng","family":"Hsu","sequence":"additional","affiliation":[{"name":"Meta"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2981-1459","authenticated-orcid":false,"given":"Yiting","family":"Xia","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Informatics"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-4825-4228","authenticated-orcid":false,"given":"Yan","family":"Cai","sequence":"additional","affiliation":[{"name":"Meta"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-6677-1768","authenticated-orcid":false,"given":"Yanping","family":"Li","sequence":"additional","affiliation":[{"name":"Meta"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2736-5694","authenticated-orcid":false,"given":"Ying","family":"Zhang","sequence":"additional","affiliation":[{"name":"Meta"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8326-8124","authenticated-orcid":false,"given":"Ang","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Michigan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670518.2673883"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359664"},{"key":"e_1_3_2_1_3_1","volume-title":"https:\/\/kubernetes.io\/","author":"Authors The Kubernetes","year":"2024","unstructured":"The Kubernetes Authors. 2024. [Kubernetes] Production-Grade Container Orchestration. (2024). https:\/\/kubernetes.io\/."},{"key":"e_1_3_2_1_4_1","unstructured":"The OpenTofu Authors. 2024. OpenTofu: The open source infrastructure as code tool. (2024). https:\/\/opentofu.org\/."},{"key":"e_1_3_2_1_5_1","volume-title":"Pulumi: Infrastructure as code in any programming language.","author":"Authors The Pulumi","year":"2024","unstructured":"The Pulumi Authors. 2024. Pulumi: Infrastructure as code in any programming language. (2024). https:\/\/www.pulumi.com\/."},{"key":"e_1_3_2_1_6_1","unstructured":"The Terraform Authors. 2024. Terraform by Hashicorp. (2024). https:\/\/www.terraform.io\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1282427.1282404"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"volume-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein Philip A.","key":"e_1_3_2_1_9_1","unstructured":"Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. 1987. Concurrency Control and Recovery in Database Systems. Addison-Wesley."},{"key":"e_1_3_2_1_10_1","volume-title":"On the intersection of regex languages with regular languages. Theoretical Computer Science","author":"C\u00e2mpeanua Cezar","year":"2009","unstructured":"Cezar C\u00e2mpeanua and Nicolae Santeanb. 2009. On the intersection of regex languages with regular languages. Theoretical Computer Science (2009)."},{"volume-title":"Proc. CoNEXT.","author":"Chen Xu","key":"e_1_3_2_1_11_1","unstructured":"Xu Chen, Yun Mao, Z. Morley Mao, and Kobus van der Merwe. 2010. Declarative Configuration Management for Complex and Dynamic Networks. In Proc. CoNEXT."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1658939.1658971"},{"key":"e_1_3_2_1_13_1","volume-title":"DB-Net: Leveraging DBMS for Network Automation. arXiv preprint arXiv:2308.15780","author":"Chuppala Rithvik","year":"2023","unstructured":"Rithvik Chuppala, Silvery Fu, and Sylvia Ratnasamy. 2023. DB-Net: Leveraging DBMS for Network Automation. arXiv preprint arXiv:2308.15780 (2023)."},{"key":"e_1_3_2_1_14_1","unstructured":"Mininet Project Contributors. 2023. Mininet. (2023). http:\/\/mininet.org\/."},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. OSDI.","author":"Dean Jeffrey","year":"2004","unstructured":"Jeffrey Dean and Sanjay Ghemawat. 2004. MapReduce: simplified data processing on large clusters. In Proc. OSDI."},{"key":"e_1_3_2_1_16_1","unstructured":"Tamer Eldeeb and Phil Bernstein. 2016. Transactions for Distributed Actors in the Cloud. Technical Report: MSR-TR-2016-1001 (2016)."},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. USENIX ATC.","author":"Enck William","year":"2007","unstructured":"William Enck, Thomas Moyer, Patrick McDaniel, Subhabrata Sen, Panagiotis Sebos, Sylke Spoerel, Albert Greenberg, Yu-Wei Eric Sung, Sanjay Rao, and William Aiello. 2007. Configuration management at massive scale: System design and experience. In Proc. USENIX ATC."},{"key":"e_1_3_2_1_18_1","volume-title":"https:\/\/airflow.apache.org\/","author":"Software Foundation The Apache","year":"2023","unstructured":"The Apache Software Foundation. 2023. Apache Airflow. (2023). https:\/\/airflow.apache.org\/."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483559"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934891"},{"volume-title":"Proc. VLDB.","author":"Gray J.","key":"e_1_3_2_1_21_1","unstructured":"J. Gray, R. Lorie, and G. Putzolu. 1975. Granularity of Locks in a Shared Data Base. In Proc. VLDB."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486012"},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. NSDI.","author":"Hsu Kuo-Feng","year":"2020","unstructured":"Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, and David Walker. 2020. Contra: A Programmable System for Performance-aware Routing. In Proc. NSDI."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2740070.2626307"},{"key":"e_1_3_2_1_25_1","unstructured":"Bikash Koley. 2016. The zero touch network. (2016)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486005"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3229584.3229585"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472901"},{"key":"e_1_3_2_1_29_1","volume-title":"Proc. NSDI.","author":"Mogul Jeffrey C","year":"2020","unstructured":"Jeffrey C Mogul, Drago Goricanec, Martin Pool, Anees Shaikh, Douglas Turk, Bikash Koley, and Xiaoxue Zhao. 2020. Experiences with modeling network topologies at multiple levels of abstraction. In Proc. NSDI."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/128765.128770"},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. OSDI.","author":"Moritz Philipp","year":"2018","unstructured":"Philipp Moritz, Robert Nishihara, Stephanie Wang, Alexey Tumanov, Richard Liaw, Eric Liang, Melih Elibol, Zongheng Yang, William Paul, Michael I Jordan, et al. 2018. Ray: A distributed framework for emerging AI applications. In Proc. OSDI."},{"key":"e_1_3_2_1_32_1","unstructured":"p4lang. 2023. P4 behavioral model. (2023). https:\/\/github.com\/p4lang\/behavioral-model."},{"volume-title":"https:\/\/p4.org\/p4-runtime\/","year":"2023","key":"e_1_3_2_1_33_1","unstructured":"p4lang. 2023. P4Runtime. (2023). https:\/\/p4.org\/p4-runtime\/."},{"key":"e_1_3_2_1_34_1","volume-title":"https:\/\/github.com\/qntm\/greenery","author":"Regex","year":"2023","unstructured":"qntm. 2023. FSM\/Regex conversion library. (2023). https:\/\/github.com\/qntm\/greenery."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070562.2070569"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674989"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626298"},{"key":"e_1_3_2_1_39_1","volume-title":"Proc. SIGCOMM.","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 Proc. SIGCOMM."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3187009.3177740"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342088"},{"key":"e_1_3_2_1_42_1","unstructured":"Jiarong Xing Kuo-Feng Hsu Yiting Xia Yan Cai Yanping Li Ying Zhang and Ang Chen. 2024. Occam open-source release. (2024). https:\/\/github.com\/jiarong0907\/Occam."},{"key":"e_1_3_2_1_43_1","volume-title":"Isaac Ackerman, Steven D. Gribble, Arvind Krishnamurthy, and Henry M. Levy.","author":"Zhang Irene","year":"2014","unstructured":"Irene Zhang, Adriana Szekeres, Dana Van Aken, Isaac Ackerman, Steven D. Gribble, Arvind Krishnamurthy, and Henry M. Levy. 2014. Customizable and Extensible Deployment for Mobile\/Cloud Applications. In Proc. OSDI."}],"event":{"name":"EuroSys '24: Nineteenth European Conference on Computer Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Athens Greece","acronym":"EuroSys '24"},"container-title":["Proceedings of the Nineteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627703.3650086","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3627703.3650086","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T01:08:34Z","timestamp":1755824914000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627703.3650086"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,22]]},"references-count":43,"alternative-id":["10.1145\/3627703.3650086","10.1145\/3627703"],"URL":"https:\/\/doi.org\/10.1145\/3627703.3650086","relation":{},"subject":[],"published":{"date-parts":[[2024,4,22]]},"assertion":[{"value":"2024-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}