{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T01:44:14Z","timestamp":1770255854628,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T00:00:00Z","timestamp":1596067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1413972"],"award-info":[{"award-number":["1413972"]}],"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":["HR0011-17-C-0047"],"award-info":[{"award-number":["HR0011-17-C-0047"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,30]]},"DOI":"10.1145\/3387514.3405872","type":"proceedings-article","created":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T22:35:31Z","timestamp":1596148531000},"page":"329-343","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":49,"title":["Composing Dataplane Programs with \u03bcP4"],"prefix":"10.1145","author":[{"given":"Hardik","family":"Soni","sequence":"first","affiliation":[{"name":"Cornell University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Myriana","family":"Rifai","sequence":"additional","affiliation":[{"name":"Nokia Bell Labs"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Praveen","family":"Kumar","sequence":"additional","affiliation":[{"name":"Cornell University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Doenges","sequence":"additional","affiliation":[{"name":"Cornell University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nate","family":"Foster","sequence":"additional","affiliation":[{"name":"Cornell University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,7,30]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Barefoot Academy. 2019. Introduction to Data Plane Development with P416 Tofino and P4 Studio SDE. https:\/\/barefootnetworks.com\/barefoot-academy\/.  Barefoot Academy. 2019. Introduction to Data Plane Development with P416 Tofino and P4 Studio SDE. https:\/\/barefootnetworks.com\/barefoot-academy\/."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486011"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098823"},{"key":"e_1_3_2_2_6_1","unstructured":"The P4 Language Consortium. 2013. switch.p4 program. https:\/\/github.com\/p4lang\/switch\/.  The P4 Language Consortium. 2013. switch.p4 program. https:\/\/github.com\/p4lang\/switch\/."},{"key":"e_1_3_2_2_7_1","unstructured":"The P4 Language Consortium. 2018. P416 Language Specification. https:\/\/p4.org\/p4-spec\/docs\/P4-16-v1.1.0-spec.html.  The P4 Language Consortium. 2018. P416 Language Specification. https:\/\/p4.org\/p4-spec\/docs\/P4-16-v1.1.0-spec.html."},{"key":"e_1_3_2_2_8_1","unstructured":"The P4 Language Consortium. 2019. The BMv2 Simple Switch target. https:\/\/github.com\/p4lang\/behavioral-model\/blob\/master\/docs\/simple_switch.md.  The P4 Language Consortium. 2019. The BMv2 Simple Switch target. https:\/\/github.com\/p4lang\/behavioral-model\/blob\/master\/docs\/simple_switch.md."},{"key":"e_1_3_2_2_9_1","unstructured":"The P4 Language Consortium. 2019. P416 Reference Compiler. https:\/\/github.com\/p4lang\/p4c.  The P4 Language Consortium. 2019. P416 Reference Compiler. https:\/\/github.com\/p4lang\/p4c."},{"key":"e_1_3_2_2_10_1","unstructured":"The P4 Language Consortium. 2019. P416 Portable Switch Architecture (PSA). https:\/\/p4.org\/p4-spec\/docs\/PSA-v1.1.0.html.  The P4 Language Consortium. 2019. P416 Portable Switch Architecture (PSA). https:\/\/p4.org\/p4-spec\/docs\/PSA-v1.1.0.html."},{"key":"e_1_3_2_2_11_1","unstructured":"The P4 Language Consortium. 2019. v1model.p4 - Architecture for simple_switch. https:\/\/github.com\/p4lang\/p4c\/blob\/master\/p4include\/v1model.p4.  The P4 Language Consortium. 2019. v1model.p4 - Architecture for simple_switch. https:\/\/github.com\/p4lang\/p4c\/blob\/master\/p4include\/v1model.p4."},{"key":"e_1_3_2_2_12_1","volume-title":"Composing Heterogeneous SDN Controllers with Flowbricks. In IEEE 22nd International Conference on Network Protocols (ICNP '14)","author":"Dixit Advait","year":"2014","unstructured":"Advait Dixit , Kirill Kogan , and Patrick Eugster . 2014 . Composing Heterogeneous SDN Controllers with Flowbricks. In IEEE 22nd International Conference on Network Protocols (ICNP '14) . IEEE, Raleigh, NC, USA, 287--292. Advait Dixit, Kirill Kogan, and Patrick Eugster. 2014. Composing Heterogeneous SDN Controllers with Flowbricks. In IEEE 22nd International Conference on Network Protocols (ICNP '14). IEEE, Raleigh, NC, USA, 287--292."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1158288"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405879"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANCS.2013.6665172"},{"key":"e_1_3_2_2_18_1","volume-title":"Proceedings of the 12th International Conference on Emerging Networking EXperiments and Technologies (CoNEXT '16)","author":"Hancock David","unstructured":"David Hancock and Jacobus van der Merwe. 2016. HyPer4: Using P4 to Virtualize the Programmable Data Plane . In Proceedings of the 12th International Conference on Emerging Networking EXperiments and Technologies (CoNEXT '16) . ACM, Irvine, CA, USA, 35--49. David Hancock and Jacobus van der Merwe. 2016. HyPer4: Using P4 to Virtualize the Programmable Data Plane. In Proceedings of the 12th International Conference on Emerging Networking EXperiments and Technologies (CoNEXT '16). ACM, Irvine, CA, USA, 35--49."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3289602.3293924"},{"key":"e_1_3_2_2_20_1","unstructured":"Internet Engineering Task Force (IETF). 2019. IPv6 Segment Routing Header (SRH). https:\/\/tools.ietf.org\/html\/draft-ietf-6man-segment-routing-header-22.  Internet Engineering Task Force (IETF). 2019. IPv6 Segment Routing Header (SRH). https:\/\/tools.ietf.org\/html\/draft-ietf-6man-segment-routing-header-22."},{"key":"e_1_3_2_2_21_1","unstructured":"Internet Engineering Task Force (IETF). 2020. SRv6 Network Programming. https:\/\/tools.ietf.org\/html\/draft-ietf-spring-srv6-network-programming-15.  Internet Engineering Task Force (IETF). 2020. SRv6 Network Programming. https:\/\/tools.ietf.org\/html\/draft-ietf-spring-srv6-network-programming-15."},{"key":"e_1_3_2_2_22_1","volume-title":"CoVisor: A Compositional Hypervisor for Software-Defined Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI '15)","author":"Jin Xin","year":"2015","unstructured":"Xin Jin , Jennifer Gossels , Jennifer Rexford , and David Walker . 2015 . CoVisor: A Compositional Hypervisor for Software-Defined Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI '15) . USENIX Association, Oakland, CA, 87--101. Xin Jin, Jennifer Gossels, Jennifer Rexford, and David Walker. 2015. CoVisor: A Compositional Hypervisor for Software-Defined Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI '15). USENIX Association, Oakland, CA, 87--101."},{"key":"e_1_3_2_2_23_1","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI '15)","author":"Jose Lavanya","year":"2015","unstructured":"Lavanya Jose , Lisa Yan , George Varghese , and Nick McKeown . 2015 . Compiling Packet Programs to Reconfigurable Switches . In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI '15) . USENIX Association, Oakland, CA, 103--115. Lavanya Jose, Lisa Yan, George Varghese, and Nick McKeown. 2015. Compiling Packet Programs to Reconfigurable Switches. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI '15). USENIX Association, Oakland, CA, 103--115."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535795"},{"key":"e_1_3_2_2_26_1","volume-title":"Composing Software Defined Networks. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI '13)","author":"Monsanto Christopher","year":"2013","unstructured":"Christopher Monsanto , Joshua Reich , Nate Foster , Jennifer Rexford , and David Walker . 2013 . Composing Software Defined Networks. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI '13) . USENIX Association, Lombard, IL, USA, 1--13. Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, and David Walker. 2013. Composing Software Defined Networks. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI '13). USENIX Association, Lombard, IL, USA, 1--13."},{"key":"e_1_3_2_2_27_1","unstructured":"Barefoot Networks. 2019. Tofino. https:\/\/barefootnetworks.com\/products\/brief-tofino\/.  Barefoot Networks. 2019. Tofino. https:\/\/barefootnetworks.com\/products\/brief-tofino\/."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/7902.7904"},{"key":"e_1_3_2_2_29_1","unstructured":"Milad Sharif. 2018. Programmable Data Plane at Terabit Speeds. https:\/\/conferences.sigcomm.org\/sigcomm\/2018\/files\/slides\/p4\/P4Barefoot.pdf.  Milad Sharif. 2018. Programmable Data Plane at Terabit Speeds. https:\/\/conferences.sigcomm.org\/sigcomm\/2018\/files\/slides\/p4\/P4Barefoot.pdf."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934900"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934899"},{"key":"e_1_3_2_2_32_1","unstructured":"Hardik Soni Myriana Rifai Praveen Kumar Ryan Doenges and Nate Foster. 2020. μP4. https:\/\/github.com\/cornell-netlab\/MicroP4.  Hardik Soni Myriana Rifai Praveen Kumar Ryan Doenges and Nate Foster. 2020. μP4. https:\/\/github.com\/cornell-netlab\/MicroP4."},{"key":"e_1_3_2_2_33_1","volume-title":"P4Bricks: Enabling multiprocessing using linker-based network data plane architecture. (Feb","author":"Soni Hardik","year":"2018","unstructured":"Hardik Soni , Thierry Turletti , and Walid Dabbous . 2018. P4Bricks: Enabling multiprocessing using linker-based network data plane architecture. (Feb . 2018 ). https:\/\/hal.inria.fr\/hal-01632431 (working paper or preprint). Hardik Soni, Thierry Turletti, and Walid Dabbous. 2018. P4Bricks: Enabling multiprocessing using linker-based network data plane architecture. (Feb. 2018). https:\/\/hal.inria.fr\/hal-01632431 (working paper or preprint)."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230548"},{"key":"e_1_3_2_2_35_1","volume-title":"Multitenancy for Fast and Programmable Networks in the Cloud. In 12th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '20). USENIX Association, Virtual Conference, 8.","author":"Wang Tao","year":"2020","unstructured":"Tao Wang , Hang Zhu , Fabian Ruffy , Xin Jin , Anirudh Sivaraman , Dan RK Ports , and Aurojit Panda . 2020 . Multitenancy for Fast and Programmable Networks in the Cloud. In 12th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '20). USENIX Association, Virtual Conference, 8. Tao Wang, Hang Zhu, Fabian Ruffy, Xin Jin, Anirudh Sivaraman, Dan RK Ports, and Aurojit Panda. 2020. Multitenancy for Fast and Programmable Networks in the Cloud. In 12th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '20). USENIX Association, Virtual Conference, 8."},{"key":"e_1_3_2_2_36_1","volume-title":"Program Slicing. In Proceedings of the 5th International Conference on Software Engineering (ICSE '81)","author":"Weiser Mark","year":"1981","unstructured":"Mark Weiser . 1981 . Program Slicing. In Proceedings of the 5th International Conference on Software Engineering (ICSE '81) . IEEE Press, Piscataway, NJ, USA, 439--449. Mark Weiser. 1981. Program Slicing. In Proceedings of the 5th International Conference on Software Engineering (ICSE '81). IEEE Press, Piscataway, NJ, USA, 439--449."},{"key":"e_1_3_2_2_37_1","volume-title":"HyperV: A High Performance Hypervisor for Virtualization of the Programmable Data Plane. In 26th International Conference on Computer Communication and Networks (ICCCN 17)","author":"Zhang Cheng","year":"2017","unstructured":"Cheng Zhang , Jun Bi , Yu Zhou , Abdul Basit Dogar , and Jianping Wu . 2017 . HyperV: A High Performance Hypervisor for Virtualization of the Programmable Data Plane. In 26th International Conference on Computer Communication and Networks (ICCCN 17) . IEEE, Vancouver, BC, Canada, 1--9. Cheng Zhang, Jun Bi, Yu Zhou, Abdul Basit Dogar, and Jianping Wu. 2017. HyperV: A High Performance Hypervisor for Virtualization of the Programmable Data Plane. In 26th International Conference on Computer Communication and Networks (ICCCN 17). IEEE, Vancouver, BC, Canada, 1--9."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281436"}],"event":{"name":"SIGCOMM '20: Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication","location":"Virtual Event USA","acronym":"SIGCOMM '20","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-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"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387514.3405872","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387514.3405872","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387514.3405872","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:36Z","timestamp":1750200096000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387514.3405872"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,30]]},"references-count":38,"alternative-id":["10.1145\/3387514.3405872","10.1145\/3387514"],"URL":"https:\/\/doi.org\/10.1145\/3387514.3405872","relation":{},"subject":[],"published":{"date-parts":[[2020,7,30]]},"assertion":[{"value":"2020-07-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}