{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T00:42:53Z","timestamp":1760056973601,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,8]]},"DOI":"10.1145\/3750022.3750456","type":"proceedings-article","created":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T13:46:39Z","timestamp":1755611199000},"page":"7-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["LTL-based Specifications for P4 Program Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-3405-541X","authenticated-orcid":false,"given":"Lorenzo","family":"Theunissen","sequence":"first","affiliation":[{"name":"Delft University of Technology"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0915-8034","authenticated-orcid":false,"given":"Sebastijan","family":"Duman\u010di\u0107","sequence":"additional","affiliation":[{"name":"Delft University of Technology"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6686-8350","authenticated-orcid":false,"given":"Fernando","family":"Kuipers","sequence":"additional","affiliation":[{"name":"Delft University of Technology"}]}],"member":"320","published-online":{"date-parts":[[2025,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/NetSoft54395.2022.9844035"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062367"},{"key":"e_1_3_2_1_3_1","volume-title":"CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Lecture Notes in Computer Science","volume":"8559","author":"Biere Armin","year":"2014","unstructured":"Armin Biere and Roderick Bloem (Eds.). 2014. Computer Aided Verification -26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Lecture Notes in Computer Science, Vol. 8559. Springer."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Roberto Cavada Alessandro Cimatti Michele Dorigatti Alberto Griggio Alessandro Mariotti Andrea Micheli Sergio Mover Marco Roveri and Stefano Tonetta. 2014. The nuXmv Symbolic Model Checker. In CAV. 334--342.","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3232565.3234462"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2022.3208551"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563647.3563650"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/0-8176-4404-0_23"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_14"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365609.3365858"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405852"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000010"},{"key":"e_1_3_2_1_14_1","volume-title":"Modular Switch Programming Under Resource Constraints. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)","author":"Hogan Mary","year":"2022","unstructured":"Mary Hogan, Shir Landau-Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, and David Walker. 2022. Modular Switch Programming Under Resource Constraints. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). USENIX Association, Renton, WA, 193--207. https:\/\/www.usenix.org\/conference\/nsdi22\/presentation\/hogan"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281421"},{"key":"e_1_3_2_1_17_1","volume-title":"20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)","author":"Qiu Yiming","year":"2023","unstructured":"Yiming Qiu, Ryan Beckett, and Ang Chen. 2023. Synthesizing runtime programmable switch updates. In 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). 613--628."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2019.8806662"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ITP.2023.32"},{"key":"e_1_3_2_1_20_1","volume-title":"Appel","author":"Wang Shengyi","year":"2024","unstructured":"Shengyi Wang, Mengying Pan, and Andrew W. Appel. 2024. Comprehensive Verification of Packet Processing. (2024). arXiv:cs.PL\/2412.19908 https:\/\/arxiv.org\/abs\/2412.19908"},{"key":"e_1_3_2_1_21_1","unstructured":"P. Wochner J. de Jong B. Swinkels T. Hinnerichs N. Filat R. Gardos Reid P. Cicho\u0144 I. Hanou T. Margirescu L. Janji\u0107 L. Theunissen I. Bozhinov and S. Dumancic. [n. d.]. Herb.jl. ([n. d.]). https:\/\/github.com\/Herb-AI"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM52122.2024.10621366"}],"event":{"name":"SIGCOMM '25: ACM SIGCOMM 2025 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Coimbra Portugal","acronym":"SIGCOMM '25"},"container-title":["Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3750022.3750456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T14:11:45Z","timestamp":1760019105000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3750022.3750456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"references-count":22,"alternative-id":["10.1145\/3750022.3750456","10.1145\/3750022"],"URL":"https:\/\/doi.org\/10.1145\/3750022.3750456","relation":{},"subject":[],"published":{"date-parts":[[2025,9,8]]},"assertion":[{"value":"2025-09-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}