{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:05:48Z","timestamp":1756339548994,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","funder":[{"name":"UW FOCI"},{"name":"UW postdoc research award"},{"name":"eBPF foundation and Xilinx"},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2340748","2422076","2019302"],"award-info":[{"award-number":["2340748","2422076","2019302"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,8]]},"DOI":"10.1145\/3718958.3750484","type":"proceedings-article","created":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:54:11Z","timestamp":1756313651000},"page":"203-217","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ParserHawk: Hardware-aware parser generator using program synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1038-6539","authenticated-orcid":false,"given":"Xiangyu","family":"Gao","sequence":"first","affiliation":[{"name":"University of Washington, Seattle, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3548-2030","authenticated-orcid":false,"given":"Jiaqi","family":"Gao","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hang Zhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-2390-383X","authenticated-orcid":false,"given":"Karan Kumar","family":"G","sequence":"additional","affiliation":[{"name":"New York University, New York City, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1402-2115","authenticated-orcid":false,"given":"Muhammad","family":"Haseeb","sequence":"additional","affiliation":[{"name":"New York University, New York City, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4352-7497","authenticated-orcid":false,"given":"Ennan","family":"Zhai","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hang Zhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5081-9039","authenticated-orcid":false,"given":"Bili","family":"Dong","sequence":"additional","affiliation":[{"name":"Google, San Jose, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5692-3347","authenticated-orcid":false,"given":"Joseph","family":"Tassarotti","sequence":"additional","affiliation":[{"name":"New York University, New York City, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1128-477X","authenticated-orcid":false,"given":"Srinivas","family":"Narayana","sequence":"additional","affiliation":[{"name":"Rutgers University, New Brunswick, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5025-4234","authenticated-orcid":false,"given":"Anirudh","family":"Sivaraman","sequence":"additional","affiliation":[{"name":"New York University, New York City, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,8,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AMD Pensando Networking. https:\/\/www.amd.com\/en\/products\/accelerators\/pensando.html."},{"key":"e_1_3_2_1_2_1","unstructured":"BMV2 simulator tutorial. https:\/\/github.com\/p4lang\/tutorials."},{"key":"e_1_3_2_1_3_1","unstructured":"CME Group and Google Cloud Announce New Chicago Area Private Cloud Region and Co-location Facility for CME Group's Markets. https:\/\/www.cmegroup.com\/media-room\/press-releases\/2024\/6\/26\/cme_group_and_googlecloudannouncenewchicagoareaprivatecloudregio.html."},{"key":"e_1_3_2_1_4_1","unstructured":"Dash parser. https:\/\/github.com\/sonic-net\/DASH\/blob\/57e599c9d8e1f538ea01fad28781d8a0c2706ba5\/dash-pipeline\/bmv2\/dash_parser.p4."},{"key":"e_1_3_2_1_5_1","unstructured":"Employment cost index. https:\/\/www.bls.gov\/news.release\/pdf\/eci.pdf."},{"key":"e_1_3_2_1_6_1","unstructured":"Eval benchmarks. https:\/\/github.com\/ParserHawk\/ParserHawk\/tree\/main\/z3\/cegis_loop\/one_short_revision\/P4_examples."},{"key":"e_1_3_2_1_7_1","unstructured":"geneve: Generic Network Virtualization Encapsulation. https:\/\/datatracker.ietf.org\/doc\/html\/rfc8926."},{"key":"e_1_3_2_1_8_1","unstructured":"Intel\u00ae Infrastructure Processing Unit (Intel\u00ae IPU). https:\/\/www.intel.com\/content\/www\/us\/en\/products\/details\/network-io\/ipu.html."},{"key":"e_1_3_2_1_9_1","unstructured":"No parallel mode for z3 optimizer. https:\/\/github.com\/Z3Prover\/z3\/issues\/6642."},{"key":"e_1_3_2_1_10_1","unstructured":"NVIDIA BlueField-3 Networking Platform. https:\/\/resources.nvidia.com\/en-us-accelerated-networking-resource-library\/datasheet-nvidia-bluefield."},{"key":"e_1_3_2_1_11_1","unstructured":"P4 Compiler. https:\/\/github.com\/p4lang\/p4c."},{"key":"e_1_3_2_1_12_1","unstructured":"Parallel for finite domain (bit-vector) benchmarks. https:\/\/github.com\/Z3Prover\/z3\/issues\/1898."},{"key":"e_1_3_2_1_13_1","unstructured":"Parser Generator for Design Principles for Packet Parsers by Glen Gibb et al. https:\/\/github.com\/grg\/parser-gen."},{"key":"e_1_3_2_1_14_1","unstructured":"Product Brief Tofino Page | Barefoot. https:\/\/barefootnetworks.com\/products\/brief-tofino\/."},{"key":"e_1_3_2_1_15_1","unstructured":"Sai parser. https:\/\/github.com\/sonic-net\/sonic-pins\/blob\/c513dec77a93ca21b8a14e8ddb2d2d725df57815\/sai_p4\/fixed\/parser.p4."},{"key":"e_1_3_2_1_16_1","unstructured":"Scapy package. https:\/\/scapy.net\/."},{"key":"e_1_3_2_1_17_1","unstructured":"Switch.p4 program. https:\/\/github.com\/jafingerhut\/p4lang-tests\/blob\/master\/v1.0.3\/switch-2017-03-07\/out1\/switch-translated-to-p4-16.p4."},{"key":"e_1_3_2_1_18_1","unstructured":"The cost of computing and the productivity puzzle. https:\/\/www.bennettinstitute.cam.ac.uk\/blog\/cost-of-computing."},{"key":"e_1_3_2_1_19_1","unstructured":"Tofino compiler. https:\/\/github.com\/p4lang\/p4c\/tree\/main\/backends\/tofino."},{"key":"e_1_3_2_1_20_1","unstructured":"Trident 3 Generation of 10\/25\/100G Ethernet Switches. https:\/\/www.broadcom.com\/company\/news\/product-releases\/12056."},{"key":"e_1_3_2_1_21_1","unstructured":"Trident 4 \/ BCM56690 Series. https:\/\/www.broadcom.com\/products\/ethernet-connectivity\/switching\/strataxgs\/bcm56690."},{"key":"e_1_3_2_1_22_1","unstructured":"Trident 5 \/ BCM78800 Series. https:\/\/www.broadcom.com\/products\/ethernet-connectivity\/switching\/strataxgs\/bcm78800."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604878"},{"key":"e_1_3_2_1_24_1","volume-title":"37th European Conference on Object-Oriented Programming (ECOOP 2023","author":"Bhatia Sahil","year":"2023","unstructured":"Sahil Bhatia, Sumer Kohli, Sanjit A Seshia, and Alvin Cheung. Building code transpilers for domain-specific languages using program synthesis (experience paper). In 37th European Conference on Object-Oriented Programming (ECOOP 2023). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, 2023."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486011"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_27_1","volume-title":"ACM PLDI, page 950\u2013965","author":"Doenges Ryan","year":"2022","unstructured":"Ryan Doenges, Tobias Kapp\u00e9, John Sarracino, Nate Foster, and Greg Morrisett. Leapfrog: certified equivalence for protocol parsers. In ACM PLDI, page 950\u2013965, New York, NY, USA, 2022. Association for Computing Machinery."},{"key":"e_1_3_2_1_28_1","volume-title":"ACM APNet","author":"Du Xinle","year":"2024","unstructured":"Xinle Du, Jie Li, Yiyang Shao, Wei Wang, Shuihai Hu, Jingbin Zhou, and Kun Tan. Revisiting congestion control for wifi networks. In ACM APNet, 2024."},{"key":"e_1_3_2_1_29_1","volume-title":"ACM APNet","author":"Gao Xiangyu","year":"2024","unstructured":"Xiangyu Gao, Jiaqi Gao, Karan Kumar G, Ennan Zhai, Srinivas Narayana, and Anirudh Sivaraman. Cross-platform transpilation of packet-processing programs using program synthesis. In ACM APNet, 2024."},{"key":"e_1_3_2_1_30_1","volume-title":"ACM HotNets","author":"Gao Xiangyu","year":"2019","unstructured":"Xiangyu Gao, Taegyun Kim, Aatish Kishan Varma, Anirudh Sivaraman, and Srinivas Narayana. Autogenerating Fast Packet-Processing Code Using Program Synthesis. In ACM HotNets, 2019."},{"key":"e_1_3_2_1_31_1","volume-title":"USA","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. Switch code generation using program synthesis. In ACM SIGCOMM, page 44\u201361, New York, NY, USA, 2020."},{"key":"e_1_3_2_1_32_1","volume-title":"USA","author":"Gao Xiangyu","year":"2023","unstructured":"Xiangyu Gao, Divya Raghunathan, Ruijie Fang, Tao Wang, Xiaotong Zhu, Anirudh Sivaraman, Srinivas Narayana, and Aarti Gupta. Cat: A solver-aided compiler for packet-processing pipelines. In ACM ASPLOS, page 72\u201388, New York, NY, USA, 2023."},{"key":"e_1_3_2_1_33_1","first-page":"24","volume-title":"Architectures for Networking and Communications Systems","author":"Gibb Glen","unstructured":"Glen Gibb, George Varghese, Mark Horowitz, and Nick McKeown. Design principles for packet parsers. In Architectures for Networking and Communications Systems, pages 13\u201324. IEEE, 2013."},{"key":"e_1_3_2_1_34_1","volume-title":"ACM ASPLOS","author":"Kothari Akash","year":"2024","unstructured":"Akash Kothari, Abdul Rafae Noor, Muchen Xu, Hassam Uddin, Dhruv Baronia, Stefanos Baziotis, Vikram Adve, Charith Mendis, and Sudipta Sengupta. Hydride: A retargetable and extensible synthesis-based compiler for modern hardware architectures. In ACM ASPLOS, 2024."},{"key":"e_1_3_2_1_35_1","first-page":"9","volume-title":"2010 Proceedings IEEE INFOCOM","author":"Kozanitis Christos","year":"2010","unstructured":"Christos Kozanitis, John Huber, Sushil Singh, and George Varghese. Leaping multiple headers in a single bound: Wire-speed parsing using the kangaroo system. In 2010 Proceedings IEEE INFOCOM, pages 1\u20139, 2010."},{"key":"e_1_3_2_1_36_1","volume-title":"USENIX NSDI","author":"Lin Jiaxin","year":"2025","unstructured":"Jiaxin Lin, Zhiyuan Guo, Mihir Shah, Tao Ji, Yiying Zhang, Daehyeok Kim, and Aditya Akella. Portable and high-performance smartnic programs with alkali. In USENIX NSDI, 2025."},{"key":"e_1_3_2_1_37_1","volume-title":"ACM CoNEXT","author":"Mittal Sankalp","year":"2024","unstructured":"Sankalp Mittal, Harikrishnan V., Patel Heetkumar, and Praveen Tammana. iguard: Efficient isolation forest design for malicious traffic detection in programmable switches. In ACM CoNEXT, 2024."},{"key":"e_1_3_2_1_38_1","volume-title":"ACM HotNets","author":"Myers Andy","year":"2024","unstructured":"Andy Myers, Brian Nigito, and Nate Foster. Network design considerations for trading systems. In ACM HotNets, 2024."},{"key":"e_1_3_2_1_39_1","volume-title":"ACM HotNets","author":"Ruffy Fabian","year":"2024","unstructured":"Fabian Ruffy, Zhanghan Wang, Gianni Antichi, Aurojit Panda, and Anirudh Sivaraman. Incremental specialization of network programs. In ACM HotNets, 2024."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"}],"event":{"name":"SIGCOMM '25: ACM SIGCOMM 2025 Conference","location":"S\u00e3o Francisco Convent Coimbra Portugal","acronym":"SIGCOMM '25","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the ACM SIGCOMM 2025 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3718958.3750484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T17:00:39Z","timestamp":1756314039000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3718958.3750484"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,27]]},"references-count":40,"alternative-id":["10.1145\/3718958.3750484","10.1145\/3718958"],"URL":"https:\/\/doi.org\/10.1145\/3718958.3750484","relation":{},"subject":[],"published":{"date-parts":[[2025,8,27]]},"assertion":[{"value":"2025-08-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}