{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,11]],"date-time":"2026-08-11T19:28:13Z","timestamp":1786476493985,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,8,11]],"date-time":"2026-08-11T00:00:00Z","timestamp":1786406400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,8,17]]},"DOI":"10.1145\/3789240.3822363","type":"proceedings-article","created":{"date-parts":[[2026,8,11]],"date-time":"2026-08-11T18:33:22Z","timestamp":1786473202000},"page":"1851-1856","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["IntentP4: Bridging P4 Temporal Specifications and Executable Network Tests"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-8186-6560","authenticated-orcid":false,"given":"Ruonan","family":"Feng","sequence":"first","affiliation":[{"name":"School of Cybersecurity, Guangzhou University, Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5233-5158","authenticated-orcid":false,"given":"Mingming","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Guangzhou University, Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-1691-6640","authenticated-orcid":false,"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Guangzhou University, Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-3265-1218","authenticated-orcid":false,"given":"Shijie","family":"Gao","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Guangzhou University, Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-5890-5622","authenticated-orcid":false,"given":"Yaping","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Guangzhou University, Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2049-0783","authenticated-orcid":false,"given":"Shuo","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Guangzhou University, Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,8,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185499"},{"key":"e_1_3_2_1_4_1","volume-title":"ACM SIGCOMM","author":"Tian B.","year":"2021","unstructured":"B. Tian et al. Aquila: A practically usable verification system for production-scale programmable data planes. In ACM SIGCOMM, 2021."},{"key":"e_1_3_2_1_5_1","volume-title":"NSDI","author":"Zhang D.","year":"2025","unstructured":"D. Zhang, C. Ye, and F. He. On temporal verification of stateful P4 programs. In NSDI, 2025."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604834"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP61157.2025.00194"},{"key":"e_1_3_2_1_8_1","volume-title":"ACM SIGCOMM","author":"Zheng N.","year":"2022","unstructured":"N. Zheng et al. Meissa: Scalable network testing for programmable data planes. In ACM SIGCOMM, 2022."},{"key":"e_1_3_2_1_9_1","volume-title":"OSDI","author":"Ruffy F.","year":"2020","unstructured":"F. Ruffy, T. Wang, and A. Sivaraman. Gauntlet: Finding bugs in compilers for programmable packet processing. In OSDI, 2020."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434322"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405888"},{"key":"e_1_3_2_1_12_1","volume-title":"ACM SOSR","author":"Kumar K. S.","year":"2021","unstructured":"K. S. Kumar et al. DBVal: Validating P4 data plane runtime behavior. In ACM SOSR, 2021."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3718958.3750537"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2022.3215919"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA66935.2025.11315283"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3750022.3750456"},{"key":"e_1_3_2_1_17_1","volume-title":"ACM SIGCOMM","author":"Albab K. D.","year":"2022","unstructured":"K. D. Albab, J. DiLorenzo, S. Heule, et al. SwitchV: Automated SDN switch validation with P4 models. In ACM SIGCOMM, 2022."},{"key":"e_1_3_2_1_18_1","first-page":"1","article-title":"Foundational verification of stateful P4 packet processing. In ITP","volume":"268","author":"Wang Q.","year":"2023","unstructured":"Q. Wang, M. Pan, S. Wang, et al. Foundational verification of stateful P4 packet processing. In ITP, LIPIcs 268, 32:1\u201332:20, 2023.","journal-title":"LIPIcs"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3368208"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3695988"},{"key":"e_1_3_2_1_21_1","volume-title":"ICLR","author":"Yao S.","year":"2023","unstructured":"S. Yao, J. Zhao, D. Yu, et al. ReAct: Synergizing reasoning and acting in language models. In ICLR, 2023."}],"event":{"name":"SIGCOMM '26: ACM SIGCOMM 2026 Conference","location":"Colorado Convention Center Denver CO USA","acronym":"SIGCOMM '26","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the ACM SIGCOMM 2026 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3789240.3822363","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,11]],"date-time":"2026-08-11T18:47:08Z","timestamp":1786474028000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3789240.3822363"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8,11]]},"references-count":21,"alternative-id":["10.1145\/3789240.3822363","10.1145\/3789240"],"URL":"https:\/\/doi.org\/10.1145\/3789240.3822363","relation":{},"subject":[],"published":{"date-parts":[[2026,8,11]]},"assertion":[{"value":"2026-08-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}