{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T22:21:03Z","timestamp":1770243663573,"version":"3.49.0"},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","license":[{"start":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T00:00:00Z","timestamp":1728345600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["FMiTF-1918396"],"award-info":[{"award-number":["FMiTF-1918396"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["HR001120C0107 and HR001124C0429"],"award-info":[{"award-number":["HR001120C0107 and HR001124C0429"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2024,10,8]]},"abstract":"<jats:p>\n                    Verifying network programs is challenging because of how they divide labor: the control plane computes high level routes through the network and compiles them to device configurations, while the data plane uses these configurations to realize the desired forwarding behavior. In practice, the correctness of the data plane often assumes that the configurations generated by the control plane will satisfy complex specifications. Consequently, validation tools such as program verifiers, runtime monitors, fuzzers, and test-case generators must be aware of these\n                    <jats:italic toggle=\"yes\">control interface specifications<\/jats:italic>\n                    (ci-specs) to avoid raising false alarms.\n                  <\/jats:p>\n                  <jats:p>\n                    In this paper, we propose the first algorithm for computing\n                    <jats:italic toggle=\"yes\">precise<\/jats:italic>\n                    ci-specs for network data planes. Our specifications are designed to be\n                    <jats:italic toggle=\"yes\">efficiently monitorable<\/jats:italic>\n                    \u2014concretely, checking that a fixed configuration satisfies a ci-spec can be done in polynomial time. Our algorithm, based on modular program instrumentation, quantifier elimination, and a path-based analysis, is more expressive than prior work, and is applicable to practical network programs. We describe an implementation and show that ci-specs computed by our tool are useful for finding real bugs in real-world data plane programs.\n                  <\/jats:p>","DOI":"10.1145\/3689743","type":"journal-article","created":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T03:23:04Z","timestamp":1728357784000},"page":"905-934","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Computing Precise Control Interface Specifications"],"prefix":"10.1145","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5954-2136","authenticated-orcid":false,"given":"Eric Hayden","family":"Campbell","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4743-8750","authenticated-orcid":false,"given":"Hossein","family":"Hojjat","sequence":"additional","affiliation":[{"name":"Tehran Institute for Advanced Studies, Tehran, Iran"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6557-684X","authenticated-orcid":false,"given":"Nate","family":"Foster","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,10,8]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_1_3_2","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/3544216.3544220","volume-title":"Proceedings of the ACM SIGCOMM 2022 Conference (Amsterdam, Netherlands) (SIGCOMM\u201922)","author":"Albab Kinan Dak","year":"2022","unstructured":"Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, and Minlan Yu. 2022. SwitchV: Automated SDN Switch Validation with P4 Models. In Proceedings of the ACM SIGCOMM 2022 Conference (Amsterdam, Netherlands) (SIGCOMM\u201922). Association for Computing Machinery, New York, NY, USA, 365\u2013379. https:\/\/doi.org\/10.1145\/3544216.3544220 10.1145\/3544216.3544220"},{"key":"e_1_3_1_4_2","first-page":"789","volume-title":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (St. Petersburg, FL, USA) (POPL\u201916)","author":"Albarghouthi Aws","year":"2016","unstructured":"Aws Albarghouthi, Isil Dillig, and Arie Gurfinkel. 2016. Maximal Specification Synthesis. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (St. Petersburg, FL, USA) (POPL\u201916). Association for Computing Machinery, New York, NY, USA, 789\u2013801. https:\/\/doi.org\/10.1145\/2837614.2837628 10.1145\/2837614.2837628"},{"key":"e_1_3_1_5_2","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/2535838.2535862","volume-title":"Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (San Diego, California, USA) (POPL\u201914)","author":"Anderson Carolyn Jane","year":"2014","unstructured":"Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. 2014. NetKAT: semantic foundations for networks. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (San Diego, California, USA) (POPL\u201914). Association for Computing Machinery, New York, NY, USA, 113\u2013126. https:\/\/doi.org\/10.1145\/2535838.2535862 10.1145\/2535838.2535862"},{"key":"e_1_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Peter Backeman Philipp Rummer and Aleksandar Zeljic. 2018. Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. In 2018 Formal Methods in Computer Aided Design (FMCAD). 1\u201310. https:\/\/doi.org\/10.23919\/FMCAD.2018.8603023 10.23919\/FMCAD.2018.8603023","DOI":"10.23919\/FMCAD.2018.8603023"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062367"},{"key":"e_1_3_1_8_2","unstructured":"R\u00fcdiger Birkner Dana Drachsler-Cohen Laurent Vanbever and Martin Vechev. 2020. Config2Spec: Mining network specifications from network configurations. In 17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20). 969\u2013984."},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486011"},{"key":"e_1_3_1_11_2","unstructured":"Eric Hayden Campbell. 2024. cornell-netlab\/capisce. https:\/\/doi.org\/10.5281\/zenodo.12785373 10.5281\/zenodo.12785373"},{"key":"e_1_3_1_12_2","unstructured":"Eric Hayden Campbell. 2024. cornell-netlab\/capisce: Control interface specifications for Dataplane Pipelines. https:\/\/github.com\/cornell-netlab\/capisce"},{"key":"e_1_3_1_13_2","first-page":"133","volume-title":"18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)","author":"Campbell Eric Hayden","year":"2021","unstructured":"Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soul\u00e9, and Nate Foster. 2021. Avenir: Managing Data Plane Diversity with Control Plane Synthesis. In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). USENIX Association, 133\u2013153. https:\/\/www.usenix.org\/conference\/nsdi21\/presentation\/campbell"},{"key":"e_1_3_1_14_2","unstructured":"P4 Language Consortium. 2021. P4 16 Language Specification v.1.2.2. https:\/\/p4.org\/p4-spec\/docs\/P4-16-v1.2.2.html."},{"key":"e_1_3_1_15_2","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-642-35873-9_10","volume-title":"International Workshop on Verification, Model Checking, and Abstract Interpretation","author":"Cousot Patrick","year":"2013","unstructured":"Patrick Cousot, Radhia Cousot, Manuel F\u00e4hndrich, and Francesco Logozzo. 2013. Automatic inference of necessary preconditions. In International Workshop on Verification, Model Checking, and Abstract Interpretation. Springer, 128\u2013148. https:\/\/doi.org\/10.1007\/978-3-642-35873-9_10 10.1007\/978-3-642-35873-9_10"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_1_18_2","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1007\/978-3-642-39799-8_46","volume-title":"International Conference on Computer Aided Verification","author":"Dillig Isil","year":"2013","unstructured":"Isil Dillig and Thomas Dillig. 2013. Explain: a tool for performing abductive inference. In International Conference on Computer Aided Verification. Springer, 684\u2013689. https:\/\/doi.org\/10.1007\/978-3-642-39799-8_46 10.1007\/978-3-642-39799-8_46"},{"issue":"10","key":"e_1_3_1_19_2","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1145\/2544173.2509511","article-title":"Inductive invariant generation via abductive inference","volume":"48","author":"Dillig Isil","year":"2013","unstructured":"Isil Dillig, Thomas Dillig, Boyang Li, and Ken McMillan. 2013. Inductive invariant generation via abductive inference. SIGPLAN Not. 48, 10 (oct 2013), 443\u2013456. https:\/\/doi.org\/10.1145\/2544173.2509511 10.1145\/2544173.2509511","journal-title":"SIGPLAN Not"},{"key":"e_1_3_1_20_2","first-page":"571","volume-title":"Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication (Virtual Event, USA) (SIGCOMM\u201920)","author":"Dumitrescu Dragos","year":"2020","unstructured":"Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, and Costin Raiciu. 2020. Bf4: Towards Bug-Free P4 Programs. In Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication (Virtual Event, USA) (SIGCOMM\u201920). Association for Computing Machinery, New York, NY, USA, 571\u2013585. https:\/\/doi.org\/10.1145\/3387514.3405888 10.1145\/3387514.3405888"},{"key":"e_1_3_1_21_2","volume-title":"33rd European Conference on Object-Oriented Programming (ECOOP 2019) (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 134)","author":"Eichholz Matthias","year":"2019","unstructured":"Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, and Mira Mezini. 2019. How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019) (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 134), Alastair F. Donaldson (Ed.). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 12:1\u201312:28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2019.12 10.4230\/LIPIcs.ECOOP.2019.12"},{"key":"e_1_3_1_22_2","first-page":"28","article-title":"Dependently-Typed Data Plane Programming","volume":"6","author":"Eichholz Matthias","year":"2022","unstructured":"Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, and Mira Mezini. 2022. Dependently-Typed Data Plane Programming. Proc. ACM Program. Lang. 6, POPL, Article 40 (jan 2022), 28 pages. https:\/\/doi.org\/10.1145\/3498701 10.1145\/3498701","journal-title":"Proc. ACM Program. Lang"},{"key":"e_1_3_1_23_2","first-page":"579","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)","author":"El-Hassany Ahmed","year":"2018","unstructured":"Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, and Martin Vechev. 2018. NetComplete: Practical Network Wide Configuration Synthesis with Autocompletion. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). USENIX Association, Renton, WA, 579\u2013594. https:\/\/www.usenix.org\/conference\/nsdi18\/presentation\/el-hassany"},{"key":"e_1_3_1_24_2","unstructured":"fabric.p4 source code 2022. fabric.p4 source code. https:\/\/github.com\/opennetworkinglab\/onos\/blob\/2.2.2\/pipelines\/fabric\/impl\/src\/main\/resources\/fabric.p4. Accessed 2022."},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/2602204.2602219"},{"issue":"3","key":"e_1_3_1_26_2","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/373243.360220","article-title":"Avoiding exponential explosion: generating compact verification conditions","volume":"36","author":"Flanagan Cormac","year":"2001","unstructured":"Cormac Flanagan and James B. Saxe. 2001. Avoiding exponential explosion: generating compact verification conditions. SIGPLAN Not. 36, 3, 193\u2013205. https:\/\/doi.org\/10.1145\/373243.360220 10.1145\/373243.360220","journal-title":"SIGPLAN Not"},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/3431832.3431842"},{"key":"e_1_3_1_28_2","unstructured":"P4.org Architecture Working Group. 2021. P4 16 Portable Switch Architecture (PSA). https:\/\/p4.org\/p4-spec\/docs\/PSA.html."},{"key":"e_1_3_1_29_2","first-page":"7","volume-title":"Proceedings of the Symposium on SDN Research (Los Angeles, CA, USA) (SOSR\u201918)","author":"Jepsen Theo","year":"2018","unstructured":"Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, and Robert Soul\u00e9. 2018. Life in the Fast Lane: A Line-Rate Linear Road. In Proceedings of the Symposium on SDN Research (Los Angeles, CA, USA) (SOSR\u201918). Association for Computing Machinery, New York, NY, USA, Article 10, 7 pages. https:\/\/doi.org\/10.1145\/3185467.3185494 10.1145\/3185467.3185494"},{"key":"e_1_3_1_30_2","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/3132747.3132764","volume-title":"Proceedings of the 26th Symposium on Operating Systems Principles (Shanghai, China) (SOSP\u201917)","author":"Jin Xin","year":"2017","unstructured":"Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soul\u00e9, Jeongkeun Lee, Nate Foster, Changhoon Kim, and Ion Stoica. 2017. NetCache: Balancing Key-Value Stores with Fast In-Network Caching. In Proceedings of the 26th Symposium on Operating Systems Principles (Shanghai, China) (SOSP\u201917). Association for Computing Machinery, New York, NY, USA, 121\u2013136. https:\/\/doi.org\/10.1145\/3132747.3132764 10.1145\/3132747.3132764"},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-015-9653-1"},{"issue":"2","key":"e_1_3_1_32_2","first-page":"29","article-title":"P4R-Type: A Verified API for P4 Control Plane Programs","volume":"7","author":"Larsen Jens Kanstrup","year":"2023","unstructured":"Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, and Alceste Scalas. 2023. P4R-Type: A Verified API for P4 Control Plane Programs. Proc. ACM Program. Lang. 7, OOPSLA2, Article 290 (oct 2023), 29 pages. https:\/\/doi.org\/10.1145\/3622866 10.1145\/3622866","journal-title":"Proc. ACM Program. Lang"},{"key":"e_1_3_1_33_2","first-page":"490","volume-title":"Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication (Budapest, Hungary) (SIGCOMM\u201918)","author":"Liu Jed","year":"2018","unstructured":"Jed Liu, William Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soul\u00e9, Han Wang, C\u0103lin Ca\u015fcaval, Nick McKeown, and Nate Foster. 2018. P4v: Practical Verification for Programmable Data Planes. In Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication (Budapest, Hungary) (SIGCOMM\u201918). Association for Computing Machinery, New York, NY, USA, 490\u2013503. https:\/\/doi.org\/10.1145\/3230543.3230582 10.1145\/3230543.3230582"},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3482898.3483358"},{"issue":"6","key":"e_1_3_1_35_2","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1145\/2813885.2737980","article-title":"Efficient synthesis of network updates","volume":"50","author":"McClurg Jedidiah","year":"2015","unstructured":"Jedidiah McClurg, Hossein Hojjat, Pavol \u010cern\u00fd, and Nate Foster. 2015. Efficient synthesis of network updates. SIGPLAN Not. 50, 6, 196\u2013207. https:\/\/doi.org\/10.1145\/2813885.2737980 10.1145\/2813885.2737980","journal-title":"SIGPLAN Not"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"issue":"2","key":"e_1_3_1_37_2","first-page":"30","article-title":"Synthesizing Specifications","volume":"7","author":"Park Kanghee","year":"2023","unstructured":"Kanghee Park, Loris D\u2019Antoni, and Thomas Reps. 2023. Synthesizing Specifications. Proc. ACM Program. Lang. 7, OOPSLA2, Article 285 (oct 2023), 30 pages. https:\/\/doi.org\/10.1145\/3622861 10.1145\/3622861","journal-title":"Proc. ACM Program. Lang"},{"key":"e_1_3_1_38_2","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1145\/3603269.3604834","volume-title":"Proceedings of the ACM SIGCOMM 2023 Conference (, New York, NY, USA, ) (ACM SIGCOMM\u201923)","author":"Ruffy Fabian","year":"2023","unstructured":"Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, and Nate Foster. 2023. P4Testgen: An Extensible Test Oracle For P4-16. In Proceedings of the ACM SIGCOMM 2023 Conference (, New York, NY, USA, ) (ACM SIGCOMM\u201923). Association for Computing Machinery, New York, NY, USA, 136\u2013151. https:\/\/doi.org\/10.1145\/3603269.3604834 10.1145\/3603269.3604834"},{"key":"e_1_3_1_39_2","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/3050220.3063772","volume-title":"Proceedings of the Symposium on SDN Research (Santa Clara, CA, USA) (SOSR\u201917)","author":"Sivaraman Vibhaalakshmi","year":"2017","unstructured":"Vibhaalakshmi Sivaraman, Srinivas Narayana, Ori Rottenstreich, S. Muthukrishnan, and Jennifer Rexford. 2017. Heavy Hitter Detection Entirely in the Data Plane. In Proceedings of the Symposium on SDN Research (Santa Clara, CA, USA) (SOSR\u201917). Association for Computing Machinery, New York, NY, USA, 164\u2013176. https:\/\/doi.org\/10.1145\/3050220.3063772 10.1145\/3050220.3063772"},{"key":"e_1_3_1_40_2","unstructured":"Smolka Steffen Ali Kheradmand and Antonin Bas. [n. d.]. p4lang\/p4-constraints: Constraints on P4 objects enforced at runtime. https:\/\/github.com\/p4lang\/p4-constraints"},{"key":"e_1_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230548"},{"key":"e_1_3_1_42_2","first-page":"572","volume-title":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Paris, France) (POPL\u201917)","author":"Subramanian Kausik","year":"2017","unstructured":"Kausik Subramanian, Loris D\u2019Antoni, and Aditya Akella. 2017. Genesis: synthesizing forwarding tables in multi-tenant networks. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Paris, France) (POPL\u201917). Association for Computing Machinery, New York, NY, USA, 572\u2013585. https:\/\/doi.org\/10.1145\/3009837.3009845 10.1145\/3009837.3009845"},{"key":"e_1_3_1_43_2","unstructured":"switch.p4 source code 2020. switch.p4 source code. https:\/\/github.com\/p4lang\/switch. Accessed Feb 2022."},{"key":"e_1_3_1_44_2","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/3452296.3472937","volume-title":"Proceedings of the 2021 ACM SIGCOMM 2021 Conference (Virtual Event, USA) (SIGCOMM\u201921)","author":"Tian Bingchuan","year":"2021","unstructured":"Bingchuan Tian, Jiaqi Gao, Mengqi Liu, Ennan Zhai, Yanqing Chen, Yu Zhou, Li Dai, Feng Yan, Mengjing Ma, Ming Tang, Jie Lu, Xionglie Wei, Hongqiang Harry Liu, Ming Zhang, Chen Tian, and Minlan Yu. 2021. Aquila: A Practically Usable Verification System for Production-Scale Programmable Data Planes. In Proceedings of the 2021 ACM SIGCOMM 2021 Conference (Virtual Event, USA) (SIGCOMM\u201921). Association for Computing Machinery, New York, NY, USA, 17\u201332. https:\/\/doi.org\/10.1145\/3452296.3472937 10.1145\/3452296.3472937"},{"key":"e_1_3_1_45_2","volume-title":"2nd USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services (Hot-ICE 12)","author":"Tootoonchian Amin","year":"2012","unstructured":"Amin Tootoonchian, Sergey Gorbunov, Yashar Ganjali, Martin Casado, and Rob Sherwood. 2012. On Controller Performance in Software-Defined Networks. In 2nd USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services (Hot-ICE 12). USENIX Association, San Jose, CA. https:\/\/www.usenix.org\/conference\/hot-ice12\/workshop-program\/presentation\/tootoonchian"},{"key":"e_1_3_1_46_2","unstructured":"2021. v1model.p4 source code. https:\/\/github.com\/p4lang\/p4c\/blob\/main\/p4include\/v1model.p4. (2021). Accessed Feb 2022."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689743","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689743","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T09:09:56Z","timestamp":1770196196000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689743"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,8]]},"references-count":45,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2024,10,8]]}},"alternative-id":["10.1145\/3689743"],"URL":"https:\/\/doi.org\/10.1145\/3689743","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,8]]},"assertion":[{"value":"2024-04-06","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-08-18","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-10-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}