{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T20:21:02Z","timestamp":1760473262352,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":79,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T00:00:00Z","timestamp":1731888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"RESTART Foundation","award":["D43C22003080001"],"award-info":[{"award-number":["D43C22003080001"]}]},{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2145471, 2340748, 2008048"],"award-info":[{"award-number":["2145471, 2340748, 2008048"]}],"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,11,18]]},"DOI":"10.1145\/3696348.3696870","type":"proceedings-article","created":{"date-parts":[[2024,11,11]],"date-time":"2024-11-11T00:20:52Z","timestamp":1731284452000},"page":"264-272","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Incremental Specialization of Network Programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1379-7277","authenticated-orcid":false,"given":"Fabian","family":"Ruffy","sequence":"first","affiliation":[{"name":"New York University"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3234-6155","authenticated-orcid":false,"given":"Zhanghan","family":"Wang","sequence":"additional","affiliation":[{"name":"New York University"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6063-4975","authenticated-orcid":false,"given":"Gianni","family":"Antichi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano and Queen, Mary University of London"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9664-4377","authenticated-orcid":false,"given":"Aurojit","family":"Panda","sequence":"additional","affiliation":[{"name":"New York University"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5025-4234","authenticated-orcid":false,"given":"Anirudh","family":"Sivaraman","sequence":"additional","affiliation":[{"name":"New York University"}]}],"member":"320","published-online":{"date-parts":[[2024,11,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ACM SOSR","author":"Abhashkumar Anubhavnidhi","year":"2017","unstructured":"Anubhavnidhi Abhashkumar, Jeongkeun Lee, Jean Tourrilhes, Sujata Banerjee, Wenfei Wu, Joon-Myung Kang, and Aditya Akella. P5: Policy-driven optimization of P4 pipeline. In ACM SOSR, 2017."},{"key":"e_1_3_2_1_2_1","volume-title":"ACM SIGCOMM","author":"Albab Kinan Dak","year":"2022","unstructured":"Kinan Dak Albab, Jonathan Dilorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Tirmazi, Jiaqi Gao, and Minlan Yu. SwitchV: Automated SDN switch validation with P4 models. In ACM SIGCOMM, 2022."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544263"},{"key":"e_1_3_2_1_4_1","unstructured":"AMD. AMD versal adaptive SoCs. https:\/\/www.amd.com\/en\/products\/adaptive-socs-and-fpgas\/versal.html. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_5_1","unstructured":"AMD. Content addressable memory (CAM). https:\/\/www.xilinx.com\/products\/intellectual-property\/ef-di-cam.html. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"e_1_3_2_1_7_1","volume-title":"The reference P4 software switch. https:\/\/github.com\/p4lang\/behavioral-model","author":"Bas Antonin","year":"2014","unstructured":"Antonin Bas. The reference P4 software switch. https:\/\/github.com\/p4lang\/behavioral-model, 2014. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.28"},{"volume-title":"Open, high-level language for developing feature-rich solutions for programmable networking platforms. https:\/\/nplang.org\/","year":"2019","key":"e_1_3_2_1_9_1","unstructured":"Broadcom. NPL: Open, high-level language for developing feature-rich solutions for programmable networking platforms. https:\/\/nplang.org\/, 2019. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_10_1","volume":"201","author":"Budiu Mihai","unstructured":"Mihai Budiu and Chris Dodd. The P416 programming language. ACM SIGOPS Operating Systems Review, 2017.","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854038.2854044"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405865"},{"key":"e_1_3_2_1_13_1","volume-title":"A tour of Tempo: a program specializer for the c language. Science of computer programming","author":"Consel Charles","year":"2004","unstructured":"Charles Consel, Julia L Lawall, and Anne-Fran\u00e7oise Le Meur. A tour of Tempo: a program specializer for the c language. Science of computer programming, 2004."},{"key":"e_1_3_2_1_14_1","volume-title":"December","author":"The","year":"2020","unstructured":"The P4.org consortium. The P4Runtime specification, version 1.3.0. https:\/\/p4.org\/p4-spec\/p4runtime\/v1.3.0\/P4Runtime-Spec.html, December 2020."},{"key":"e_1_3_2_1_15_1","volume-title":"May","author":"The","year":"2023","unstructured":"The P4.org consortium. The P416 language specification, version 1.2.4. https:\/\/p4.org\/p4-spec\/docs\/P4-16-v1.2.4.html, May 2023."},{"key":"e_1_3_2_1_16_1","unstructured":"Intel Corporation. Industry-first co-packaged optics Ethernet switch. https:\/\/www.intel.com\/content\/www\/us\/en\/products\/network-io\/programmable-ethernet-switch.html. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_17_1","unstructured":"Intel Corporation. Second-generation P4-programmable Ethernet switch ASIC that continues to deliver programmability without compromise. https:\/\/www.intel.com\/content\/www\/us\/en\/products\/network-io\/programmable-ethernet-switch\/tofino-2-series.html. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_18_1","volume-title":"The infrastructure processing unit (IPU). https:\/\/www.intel.de\/content\/www\/de\/de\/products\/network-io\/smartnic.html","author":"Intel Corporation","year":"2022","unstructured":"Intel Corporation. The infrastructure processing unit (IPU). https:\/\/www.intel.de\/content\/www\/de\/de\/products\/network-io\/smartnic.html, 2022. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604864"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73595-3_13"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485983.3494839"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373360.3380832"},{"key":"e_1_3_2_1_24_1","volume-title":"IETF Request For Comments","author":"Enns Rob","year":"2006","unstructured":"Rob Enns. NETCONF configuration protocol (RFC 4741). IETF Request For Comments, 2006."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446724"},{"key":"e_1_3_2_1_26_1","volume-title":"ACM SOSR","author":"Fattaholmanan Ali","year":"2021","unstructured":"Ali Fattaholmanan, Mario Baldi, Antonio Carzaniga, and Robert Soul\u00e9. P4 weaver: Supporting modular and incremental programming in P4. In ACM SOSR, 2021."},{"key":"e_1_3_2_1_27_1","volume-title":"USENIX OSDI","author":"Fayaz Seyed K","year":"2016","unstructured":"Seyed K Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd Millstein, Vyas Sekar, and George Varghese. Efficient network reachability analysis using a succinct control plane representation. In USENIX OSDI, 2016."},{"key":"e_1_3_2_1_28_1","volume-title":"USENIX NSDI","author":"Feng Yong","year":"2022","unstructured":"Yong Feng, Zhikang Chen, Haoyu Song, Wenquan Xu, Jiahao Li, Zijian Zhang, Tong Yun, Ying Wan, and Bin Liu. Enabling in-situ programmability in network data plane: From architecture to language. In USENIX NSDI, 2022."},{"key":"e_1_3_2_1_29_1","volume-title":"middleblock.p4. https:\/\/github.com\/sonic-net\/sonic-pins\/blob\/main\/sai_p4\/instantiations\/google\/middleblock.p4","author":"Foundation The Linux","year":"2021","unstructured":"The Linux Foundation. middleblock.p4. https:\/\/github.com\/sonic-net\/sonic-pins\/blob\/main\/sai_p4\/instantiations\/google\/middleblock.p4, 2021. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_30_1","volume-title":"eBPF: Introduction, tutorials & community resources. https:\/\/ebpf.io\/","author":"Foundation The Linux","year":"2022","unstructured":"The Linux Foundation. eBPF: Introduction, tutorials & community resources. https:\/\/ebpf.io\/, 2022. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_31_1","volume-title":"USENIX ATC","author":"Gallo Massimo","year":"2018","unstructured":"Massimo Gallo and Rafael Laufer. ClickNF: a modular stack for custom network functions. In USENIX ATC, 2018."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3582016.3582036"},{"key":"e_1_3_2_1_33_1","volume-title":"ACM SIGCOMM","author":"Guo Dong","year":"2022","unstructured":"Dong Guo, Shenshen Chen, Kai Gao, Qiao Xiang, Ying Zhang, and Y Richard Yang. Flash: fast, consistent data plane verification for large-scale network settings. In ACM SIGCOMM, 2022."},{"key":"e_1_3_2_1_34_1","volume-title":"SoftNIC: A software NIC to augment hardware. Technical report","author":"Han Sangjin","year":"2015","unstructured":"Sangjin Han, Keon Jang, Aurojit Panda, Shoumik Palkar, Dongsu Han, and Sylvia Ratnasamy. SoftNIC: A software NIC to augment hardware. Technical report, University of California at Berkeley, 2015."},{"key":"e_1_3_2_1_35_1","volume-title":"Jennifer Rexford, and David Walker. Automated optimization of parameterized data-plane programs with Parasol. arXiv preprint arXiv:2402.11155","author":"Hogan Mary","year":"2024","unstructured":"Mary Hogan, Devon Loehr, John Sonchack, Shir Landau Feibish, Jennifer Rexford, and David Walker. Automated optimization of parameterized data-plane programs with Parasol. arXiv preprint arXiv:2402.11155, 2024."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281443"},{"key":"e_1_3_2_1_37_1","volume-title":"ACM SIGCOMM","author":"Holterbach Thomas","year":"2017","unstructured":"Thomas Holterbach, Stefano Vissicchio, Alberto Dainotti, and Laurent Vanbever. SWIFT: Predictive fast reroute. In ACM SIGCOMM, 2017."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2775065"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491188"},{"key":"e_1_3_2_1_40_1","volume-title":"ACM SIGCOMM","author":"Jain Sushant","year":"2015","unstructured":"Sushant Jain, Alok Kumar, Subhasree Mandal, Joon Ong, Leon Poutievski, Arjun Singh, Subbaiah Venkata, Jim Wanderer, Junlan Zhou, Min Zhu, et al. B4: Experience with a globally-deployed software defined WAN. In ACM SIGCOMM, 2015."},{"key":"e_1_3_2_1_41_1","volume":"201","author":"Jin Xin","unstructured":"Xin Jin, Hongqiang Harry Liu, Rohan Gandhi, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Jennifer Rexford, and Roger Wattenhofer. Dynamic scheduling of network updates. ACM SIGCOMM Computer Communication Review, 2014.","journal-title":"ACM SIGCOMM Computer Communication Review"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/243439.243447"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45821-2_1"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604827"},{"key":"e_1_3_2_1_46_1","first-page":"4","volume-title":"Cetus: Releasing","author":"Li Yifan","year":"2022","unstructured":"Yifan Li, Jiaqi Gao, Ennan Zhai, Mengqi Liu, Kun Liu, and Hongqiang Harry Liu. Cetus: Releasing p4 programmers from the chore of trial and error compiling. In USENIX NSDI, 2022."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342221"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620666.3651387"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"e_1_3_2_1_50_1","volume":"200","author":"McKeown Nick","unstructured":"Nick McKeown, Tom Anderson, Hari Balakrishnan, Guru Parulkar, Larry Peterson, Jennifer Rexford, Scott Shenker, and Jonathan Turner. OpenFlow: Enabling innovation in campus networks. ACM SIGCOMM Computer Communication Review, 2008.","journal-title":"ACM SIGCOMM Computer Communication Review"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507769"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934887"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3627703.3629564"},{"volume-title":"A new way of thinking about next-gen cloud architectures. https:\/\/p4.org\/p4\/pensando-joins-p4.html","year":"2020","key":"e_1_3_2_1_54_1","unstructured":"Pensando. A new way of thinking about next-gen cloud architectures. https:\/\/p4.org\/p4\/pensando-joins-p4.html, 2020. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_55_1","volume-title":"USENIX NSDI","author":"Pfaff Ben","year":"2015","unstructured":"Ben Pfaff, Justin Pettit, Teemu Koponen, Ethan Jackson, Andy Zhou, Jarno Rajahalme, Jesse Gross, Alex Wang, Joe Stringer, Pravin Shelar, et al. The design and implementation of open vswitch. In USENIX NSDI, 2015."},{"key":"e_1_3_2_1_56_1","unstructured":"Open Compute Project. SAI: Switch abstraction interface. https:\/\/www.opencompute.org\/projects\/sai. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_57_1","volume-title":"Vector packet processing. https:\/\/github.com\/FDio\/vpp\/","author":"Projects LF","year":"2024","unstructured":"LF Projects. Vector packet processing. https:\/\/github.com\/FDio\/vpp\/, 2024. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_58_1","volume-title":"USENIX NSDI","author":"Qiu Yiming","year":"2023","unstructured":"Yiming Qiu, Ryan Beckett, and Ang Chen. Synthesizing runtime programmable switch updates. In USENIX NSDI, 2023."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158710"},{"key":"e_1_3_2_1_60_1","volume-title":"USENIX NSDI","author":"Rashelbach Alon","year":"2022","unstructured":"Alon Rashelbach, Ori Rottenstreich, and Mark Silberstein. Scaling open vswitch with a computational cache. In USENIX NSDI, 2022."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413185"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892226"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/502874.502887"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238160"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575727"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2775007"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472903"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405872"},{"key":"e_1_3_2_1_69_1","volume-title":"P4 as a single source of truth for sonic dash use cases on both softswitch and hardware. https:\/\/opennetworking.org\/2022-p4-workshop-gated\/","author":"Sudarshan Reshma","year":"2022","unstructured":"Reshma Sudarshan and Chris Sommers. P4 as a single source of truth for sonic dash use cases on both softswitch and hardware. https:\/\/opennetworking.org\/2022-p4-workshop-gated\/, 2022. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_70_1","unstructured":"New York University. ControlPlaneSmith: Generate control-plane configurations from P4 programs. https:\/\/github.com\/nyu-systems\/rtsmith. Accessed: 2024-10-22."},{"key":"e_1_3_2_1_71_1","volume-title":"19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)","author":"Wang Tao","year":"2022","unstructured":"Tao Wang, Xiangrui Yang, Gianni Antichi, Anirudh Sivaraman, and Aurojit Panda. Isolation mechanisms for high-speed packet-processing pipelines. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22), 2022."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3422604.3425941"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062381"},{"key":"e_1_3_2_1_74_1","volume-title":"USENIX NSDI","author":"Xing Jiarong","year":"2022","unstructured":"Jiarong Xing, Kuo-Feng Hsu, Matty Kadosh, Alan Lo, Yonatan Piasetzky, Arvind Krishnamurthy, and Ang Chen. Runtime programmable switches. In USENIX NSDI, 2022."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604882"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472929"},{"key":"e_1_3_2_1_77_1","volume-title":"Real-time verification of network properties using atomic predicates","author":"Yang Hongkun","year":"2015","unstructured":"Hongkun Yang and Simon S Lam. Real-time verification of network properties using atomic predicates. IEEE\/ACM Transactions on Networking, 2015."},{"key":"e_1_3_2_1_78_1","volume-title":"ACM SIGCOMM","author":"Yang Mingran","year":"2022","unstructured":"Mingran Yang, Alex Baban, Valery Kugel, Jeff Libby, Scott Mackie, Swamy Sadashivaiah Renu Kananda, Chang-Hong Wu, and Manya Ghobadi. Using Trio - Juniper networks' programmable chipset - for emerging in-network applications. In ACM SIGCOMM, 2022."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405870"}],"event":{"name":"HotNets '24: The 23rd ACM Workshop on Hot Topics in Networks","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Irvine CA USA","acronym":"HotNets '24"},"container-title":["Proceedings of the 23rd ACM Workshop on Hot Topics in Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696348.3696870","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696348.3696870","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T16:07:41Z","timestamp":1755878861000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696348.3696870"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,18]]},"references-count":79,"alternative-id":["10.1145\/3696348.3696870","10.1145\/3696348"],"URL":"https:\/\/doi.org\/10.1145\/3696348.3696870","relation":{},"subject":[],"published":{"date-parts":[[2024,11,18]]},"assertion":[{"value":"2024-11-18","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}