{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T07:31:35Z","timestamp":1769844695793,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":44,"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":[{"name":"NSF","award":["CNS1413978"],"award-info":[{"award-number":["CNS1413978"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,30]]},"DOI":"10.1145\/3387514.3405879","type":"proceedings-article","created":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T22:35:31Z","timestamp":1596148531000},"page":"435-450","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":67,"title":["Lyra"],"prefix":"10.1145","author":[{"given":"Jiaqi","family":"Gao","sequence":"first","affiliation":[{"name":"Alibaba Group and Harvard University"}]},{"given":"Ennan","family":"Zhai","sequence":"additional","affiliation":[{"name":"Alibaba Group"}]},{"given":"Hongqiang Harry","family":"Liu","sequence":"additional","affiliation":[{"name":"Alibaba Group"}]},{"given":"Rui","family":"Miao","sequence":"additional","affiliation":[{"name":"Alibaba Group"}]},{"given":"Yu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Alibaba Group and Tsinghua University"}]},{"given":"Bingchuan","family":"Tian","sequence":"additional","affiliation":[{"name":"Alibaba Group and Nanjing University"}]},{"given":"Chen","family":"Sun","sequence":"additional","affiliation":[{"name":"Alibaba Group"}]},{"given":"Dennis","family":"Cai","sequence":"additional","affiliation":[{"name":"Alibaba Group"}]},{"given":"Ming","family":"Zhang","sequence":"additional","affiliation":[{"name":"Alibaba Group"}]},{"given":"Minlan","family":"Yu","sequence":"additional","affiliation":[{"name":"Harvard University"}]}],"member":"320","published-online":{"date-parts":[[2020,7,30]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2019. Broadcom's new Trident 4 and Jericho 2 switch devices offer programmability at scale. https:\/\/www.broadcom.com\/blog\/trident4-and-jericho2-offer-programmability-at-scale.  2019. Broadcom's new Trident 4 and Jericho 2 switch devices offer programmability at scale. https:\/\/www.broadcom.com\/blog\/trident4-and-jericho2-offer-programmability-at-scale."},{"key":"e_1_3_2_2_2_1","unstructured":"2019. In-band Network Telemetry (INT) Dataplane Specification. https:\/\/github.com\/p4lang\/p4-applications\/blob\/master\/docs\/INT.pdf.  2019. In-band Network Telemetry (INT) Dataplane Specification. https:\/\/github.com\/p4lang\/p4-applications\/blob\/master\/docs\/INT.pdf."},{"key":"e_1_3_2_2_3_1","unstructured":"2019. NPL 1.3 Specification. https:\/\/github.com\/nplang\/NPL-Spec.  2019. NPL 1.3 Specification. https:\/\/github.com\/nplang\/NPL-Spec."},{"key":"e_1_3_2_2_4_1","unstructured":"2019. ONE Silicon ONE Experience MULTIPLE Roles. https:\/\/blogs.cisco.com\/sp\/one-silicon-one-experience-multiple-roles.  2019. ONE Silicon ONE Experience MULTIPLE Roles. https:\/\/blogs.cisco.com\/sp\/one-silicon-one-experience-multiple-roles."},{"key":"e_1_3_2_2_5_1","unstructured":"2019. p4c a reference compiler for P4 programming language. https:\/\/github.com\/p4lang\/p4c.  2019. p4c a reference compiler for P4 programming language. https:\/\/github.com\/p4lang\/p4c."},{"key":"e_1_3_2_2_6_1","unstructured":"2020. Barefoot Tofino. https:\/\/www.barefootnetworks.com\/products\/brief-tofino.  2020. Barefoot Tofino. https:\/\/www.barefootnetworks.com\/products\/brief-tofino."},{"key":"e_1_3_2_2_7_1","unstructured":"2020. Barefoot Tofino's 32Q-model and 64Q-model. https:\/\/www.arista.com\/en\/products\/7170-series.  2020. Barefoot Tofino's 32Q-model and 64Q-model. https:\/\/www.arista.com\/en\/products\/7170-series."},{"key":"e_1_3_2_2_8_1","unstructured":"2020. Netcope P4 - Flexible FPGA Programming. https:\/\/www.netcope.com\/en\/products\/netcopep4.  2020. Netcope P4 - Flexible FPGA Programming. https:\/\/www.netcope.com\/en\/products\/netcopep4."},{"key":"e_1_3_2_2_9_1","unstructured":"2020. Netronome P4. https:\/\/www.netronome.com\/technology\/p4\/.  2020. Netronome P4. https:\/\/www.netronome.com\/technology\/p4\/."},{"key":"e_1_3_2_2_10_1","unstructured":"2020. P4Runtime. https:\/\/p4.org\/p4-runtime\/.  2020. P4Runtime. https:\/\/p4.org\/p4-runtime\/."},{"key":"e_1_3_2_2_11_1","unstructured":"2020. Pensando Expands What SmartNIC Offloads Can Do. https:\/\/pivotnine.com\/2020\/05\/18\/pensando-expands-what-smartnic-offloads-can-do\/.  2020. Pensando Expands What SmartNIC Offloads Can Do. https:\/\/pivotnine.com\/2020\/05\/18\/pensando-expands-what-smartnic-offloads-can-do\/."},{"key":"e_1_3_2_2_12_1","volume-title":"Francis Matus, Rong Pan, Navindra Yadav, and George Varghese.","author":"Alizadeh Mohammad","year":"2014","unstructured":"Mohammad Alizadeh , Tom Edsall , Sarang Dharmapurikar , Ramanan Vaidyanathan , Kevin Chu , Andy Fingerhut , Vinh The Lam , Francis Matus, Rong Pan, Navindra Yadav, and George Varghese. 2014 . CONGA: distributed congestion-aware load balancing for datacenters. In ACM SIGCOMM (SIGCOMM) . Mohammad Alizadeh, Tom Edsall, Sarang Dharmapurikar, Ramanan Vaidyanathan, Kevin Chu, Andy Fingerhut, Vinh The Lam, Francis Matus, Rong Pan, Navindra Yadav, and George Varghese. 2014. CONGA: distributed congestion-aware load balancing for datacenters. In ACM SIGCOMM (SIGCOMM)."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934892"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"crossref","unstructured":"Pat Bosshart Glen Gibb Hun-Seok Kim George Varghese Nick McKeown Martin Izzard Fernando A. Mujica and Mark Horowitz. 2013. Forwarding metamorphosis: fast programmable match-action processing in hardware for SDN. In ACM SIGCOMM (SIGCOMM).  Pat Bosshart Glen Gibb Hun-Seok Kim George Varghese Nick McKeown Martin Izzard Fernando A. Mujica and Mark Horowitz. 2013. Forwarding metamorphosis: fast programmable match-action processing in hardware for SDN. In ACM SIGCOMM (SIGCOMM).","DOI":"10.1145\/2486001.2486011"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486011"},{"key":"e_1_3_2_2_18_1","volume-title":"14th Tools and Algorithms for the Construction and Analysis of Systems (TACAS).","author":"de Moura Leonardo Mendon\u00e7a","unstructured":"Leonardo Mendon\u00e7a de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An efficient SMT solver . In 14th Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Leonardo Mendon\u00e7a de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In 14th Tools and Algorithms for the Construction and Analysis of Systems (TACAS)."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365609.3365858"},{"key":"e_1_3_2_2_21_1","volume-title":"Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, and Aarti Gupta.","author":"Gao Xiangyu","year":"2020","unstructured":"Xiangyu Gao , Taegyun Kim , Michael D. Wong , Divya Raghunathan , Aatish Kishan Varma , Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, and Aarti Gupta. 2020 . Switch code generation using program synthesis. In ACM SIGCOMM (SIGCOMM) . Xiangyu Gao, Taegyun Kim, Michael D. Wong, Divya Raghunathan, Aatish Kishan Varma, Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, and Aarti Gupta. 2020. Switch code generation using program synthesis. In ACM SIGCOMM (SIGCOMM)."},{"key":"e_1_3_2_2_22_1","unstructured":"Arpit Gupta Rob Harrison Marco Canini Nick Feamster Jennifer Rexford and Walter Willinger. 2018. Sonata: query-driven streaming network telemetry. In ACM SIGCOMM (SIGCOMM).  Arpit Gupta Rob Harrison Marco Canini Nick Feamster Jennifer Rexford and Walter Willinger. 2018. Sonata: query-driven streaming network telemetry. In ACM SIGCOMM (SIGCOMM)."},{"key":"e_1_3_2_2_23_1","volume-title":"12th International Conference on emerging Networking EXperiments and Technologies (CoNEXT).","author":"Hancock David","unstructured":"David Hancock and Jacobus E . van der Merwe. 2016. HyPer4: Using P4 to virtualize the programmable data plane . In 12th International Conference on emerging Networking EXperiments and Technologies (CoNEXT). David Hancock and Jacobus E. van der Merwe. 2016. HyPer4: Using P4 to virtualize the programmable data plane. In 12th International Conference on emerging Networking EXperiments and Technologies (CoNEXT)."},{"key":"e_1_3_2_2_24_1","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation (NSDI).","author":"Jin Xin","year":"2018","unstructured":"Xin Jin , Xiaozhou Li , Haoyu Zhang , Nate Foster , Jeongkeun Lee , Robert Soul\u00e9 , Changhoon Kim , and Ion Stoica . 2018 . NetChain: Scale-free sub-RTT coordination . In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI). Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soul\u00e9, Changhoon Kim, and Ion Stoica. 2018. NetChain: Scale-free sub-RTT coordination. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI)."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132764"},{"key":"e_1_3_2_2_26_1","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI).","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). 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)."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890968"},{"key":"e_1_3_2_2_28_1","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI).","author":"Li Jialin","unstructured":"Jialin Li , Ellis Michael , Naveen Kr. Sharma , Adriana Szekeres , and Dan R. K. Ports . 2016. Just say NO to Paxos overhead: Replacing consensus with network ordering . In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI). Jialin Li, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, and Dan R. K. Ports. 2016. Just say NO to Paxos overhead: Replacing consensus with network ordering. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_2_29_1","volume-title":"Yan Zhuang, Fei Feng, Lingbo Tang, Zheng Cao, Ming Zhang, Frank Kelly, Mohammad Alizadeh, and Minlan Yu.","author":"Li Yuliang","year":"2019","unstructured":"Yuliang Li , Rui Miao , Hongqiang Harry Liu , Yan Zhuang, Fei Feng, Lingbo Tang, Zheng Cao, Ming Zhang, Frank Kelly, Mohammad Alizadeh, and Minlan Yu. 2019 . HPCC : High precision congestion control. In ACM SIGCOMM (SIGCOMM) . Yuliang Li, Rui Miao, Hongqiang Harry Liu, Yan Zhuang, Fei Feng, Lingbo Tang, Zheng Cao, Ming Zhang, Frank Kelly, Mohammad Alizadeh, and Minlan Yu. 2019. HPCC: High precision congestion control. In ACM SIGCOMM (SIGCOMM)."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132759"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908097"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"crossref","unstructured":"Rui Miao Hongyi Zeng Changhoon Kim Jeongkeun Lee and Minlan Yu. 2017. SilkRoad: Making stateful layer-4 load balancing fast and cheap using switching ASICs. In ACM SIGCOMM (SIGCOMM).  Rui Miao Hongyi Zeng Changhoon Kim Jeongkeun Lee and Minlan Yu. 2017. SilkRoad: Making stateful layer-4 load balancing fast and cheap using switching ASICs. In ACM SIGCOMM (SIGCOMM).","DOI":"10.1145\/3098822.3098824"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103685"},{"key":"e_1_3_2_2_34_1","volume-title":"10th USENIX Symposium on Networked Systems Design and Implementation (NSDI).","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). 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)."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"crossref","unstructured":"Srinivas Narayana Anirudh Sivaraman Vikram Nathan Prateesh Goyal Venkat Arun Mohammad Alizadeh Vimalkumar Jeyakumar and Changhoon Kim. 2017. Language-directed hardware design for network performance monitoring. In ACM SIGCOMM (SIGCOMM).  Srinivas Narayana Anirudh Sivaraman Vikram Nathan Prateesh Goyal Venkat Arun Mohammad Alizadeh Vimalkumar Jeyakumar and Changhoon Kim. 2017. Language-directed hardware design for network performance monitoring. In ACM SIGCOMM (SIGCOMM).","DOI":"10.1145\/3098822.3098829"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"crossref","unstructured":"Arjun Singh Joon Ong Amit Agarwal Glen Anderson Ashby Armistead Roy Bannon Seb Boving Gaurav Desai Bob Felderman Paulie Germano Anand Kanagala Jeff Provost Jason Simmons Eiichi Tanda Jim Wanderer Urs H\u00f6lzle Stephen Stuart and Amin Vahdat. 2015. Jupiter rising: A decade of Clos topologies and centralized control in Google's datacenter network. In ACM SIGCOMM (SIGCOMM).  Arjun Singh Joon Ong Amit Agarwal Glen Anderson Ashby Armistead Roy Bannon Seb Boving Gaurav Desai Bob Felderman Paulie Germano Anand Kanagala Jeff Provost Jason Simmons Eiichi Tanda Jim Wanderer Urs H\u00f6lzle Stephen Stuart and Amin Vahdat. 2015. Jupiter rising: A decade of Clos topologies and centralized control in Google's datacenter network. In ACM SIGCOMM (SIGCOMM).","DOI":"10.1145\/2785956.2787508"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"crossref","unstructured":"Anirudh Sivaraman Alvin Cheung Mihai Budiu Changhoon Kim Mohammad Alizadeh Hari Balakrishnan George Varghese Nick McKeown and Steve Licking. 2016. Packet transactions: High-level programming for line-rate switches. In ACM SIGCOMM (SIGCOMM).  Anirudh Sivaraman Alvin Cheung Mihai Budiu Changhoon Kim Mohammad Alizadeh Hari Balakrishnan George Varghese Nick McKeown and Steve Licking. 2016. Packet transactions: High-level programming for line-rate switches. In ACM SIGCOMM (SIGCOMM).","DOI":"10.1145\/2934872.2934900"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3390251.3390257"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"crossref","unstructured":"Hardik Soni Myriana Rifai Praveen Kumar Ryan Doenges and Nate Foster. 2020. Composing dataplane programs with μP4. In ACM SIGCOMM (SIGCOMM).  Hardik Soni Myriana Rifai Praveen Kumar Ryan Doenges and Nate Foster. 2020. Composing dataplane programs with μP4. In ACM SIGCOMM (SIGCOMM).","DOI":"10.1145\/3387514.3405872"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365609.3365849"},{"key":"e_1_3_2_2_41_1","volume-title":"ACM SIGCOMM Workshopon Networking and Programming Languages (NetPL).","author":"Yang Yang Richard","year":"2019","unstructured":"Yang Richard Yang , Kai Gao , Kerim Gokarslan , Dong Guo , and Christopher Leet . 2019 . Magellan: Toward high-level programming and analysis of SDN using flow algebra . In ACM SIGCOMM Workshopon Networking and Programming Languages (NetPL). Yang Richard Yang, Kai Gao, Kerim Gokarslan, Dong Guo, and Christopher Leet. 2019. Magellan: Toward high-level programming and analysis of SDN using flow algebra. In ACM SIGCOMM Workshopon Networking and Programming Languages (NetPL)."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2017.8038396"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2019.2894308"},{"key":"e_1_3_2_2_44_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.3405879","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387514.3405879","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387514.3405879","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.3405879"}},"subtitle":["A Cross-Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs"],"short-title":[],"issued":{"date-parts":[[2020,7,30]]},"references-count":44,"alternative-id":["10.1145\/3387514.3405879","10.1145\/3387514"],"URL":"https:\/\/doi.org\/10.1145\/3387514.3405879","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"}}]}}