{"id":"https://openalex.org/W7202188374","doi":"https://doi.org/10.1145/3789240.3822363","title":"IntentP4: Bridging P4 Temporal Specifications and Executable Network Tests","display_name":"IntentP4: Bridging P4 Temporal Specifications and Executable Network Tests","publication_year":2026,"publication_date":"2026-08-11","ids":{"openalex":"https://openalex.org/W7202188374","doi":"https://doi.org/10.1145/3789240.3822363"},"language":null,"primary_location":{"id":"doi:10.1145/3789240.3822363","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3789240.3822363","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2026 Conference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3789240.3822363","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5146555517","display_name":"Ruonan Feng","orcid":"https://orcid.org/0009-0006-8186-6560"},"institutions":[{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ruonan Feng","raw_affiliation_strings":["School of Cybersecurity, Guangzhou University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0009-0006-8186-6560","affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Guangzhou University, Guangzhou, China","institution_ids":["https://openalex.org/I37987034"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5146482401","display_name":"Mingming Zhang","orcid":"https://orcid.org/0009-0001-5233-5158"},"institutions":[{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingming Zhang","raw_affiliation_strings":["School of Cybersecurity, Guangzhou University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0009-0001-5233-5158","affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Guangzhou University, Guangzhou, China","institution_ids":["https://openalex.org/I37987034"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5146544318","display_name":"Yu Jiang","orcid":"https://orcid.org/0009-0005-1691-6640"},"institutions":[{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Jiang","raw_affiliation_strings":["School of Cybersecurity, Guangzhou University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0009-0005-1691-6640","affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Guangzhou University, Guangzhou, China","institution_ids":["https://openalex.org/I37987034"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5146559502","display_name":"Shijie Gao","orcid":"https://orcid.org/0009-0008-3265-1218"},"institutions":[{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shijie Gao","raw_affiliation_strings":["School of Cybersecurity, Guangzhou University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0009-0008-3265-1218","affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Guangzhou University, Guangzhou, China","institution_ids":["https://openalex.org/I37987034"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5146498674","display_name":"Yaping Liu","orcid":"https://orcid.org/0009-0002-5890-5622"},"institutions":[{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yaping Liu","raw_affiliation_strings":["School of Cybersecurity, Guangzhou University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0009-0002-5890-5622","affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Guangzhou University, Guangzhou, China","institution_ids":["https://openalex.org/I37987034"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029113180","display_name":"Shuo Zhang","orcid":"https://orcid.org/0000-0003-2049-0783"},"institutions":[{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuo Zhang","raw_affiliation_strings":["School of Cybersecurity, Guangzhou University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-2049-0783","affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Guangzhou University, Guangzhou, China","institution_ids":["https://openalex.org/I37987034"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I37987034"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1851","last_page":"1856"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.7139999866485596},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.5715000033378601},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2705000042915344},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.2694999873638153},{"id":"https://openalex.org/keywords/mode","display_name":"Mode (computer interface)","score":0.26460000872612}],"concepts":[{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.7139999866485596},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6614000201225281},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5715000033378601},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4153999984264374},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3625999987125397},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2705000042915344},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2558000087738037},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.24079999327659607}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3789240.3822363","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3789240.3822363","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2026 Conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3789240.3822363","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3789240.3822363","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2026 Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1994926493","https://openalex.org/W2791671434","https://openalex.org/W2816958343","https://openalex.org/W3046814036","https://openalex.org/W3113662992","https://openalex.org/W4312980540","https://openalex.org/W4385682849","https://openalex.org/W4391974543","https://openalex.org/W4402665833","https://openalex.org/W4411337220","https://openalex.org/W4413311692","https://openalex.org/W4413757586","https://openalex.org/W7118163500"],"related_works":[],"abstract_inverted_index":{"Stateful":[0],"P4":[1,98],"network":[2],"functions":[3],"introduce":[4],"operational":[5],"failures":[6,148],"that":[7,51,124],"emerge":[8],"only":[9],"under":[10,160],"temporally":[11],"ordered":[12],"packet":[13],"sequences":[14],"and":[15,37,65,89,108,119,136,141,154],"control-plane":[16,75,158],"states.":[17],"Existing":[18],"temporal":[19,35],"verifiers":[20],"(e.g.,":[21],"P4TV)":[22],"stop":[23],"at":[24],"logical":[25],"verdicts,":[26],"while":[27],"dynamic":[28],"testers":[29],"(P4Testgen,":[30],"CHIMERA)":[31],"execute":[32],"packets":[33],"without":[34],"specifications,":[36],"both":[38],"require":[39],"operators":[40],"to":[41],"hand-author":[42],"formal":[43],"specifications.":[44],"We":[45],"present":[46],"IntentP4,":[47],"a":[48,62,68,86,150,155],"formal-methods-aided":[49],"pipeline":[50],"closes":[52],"this":[53],"loop:":[54],"it":[55],"translates":[56],"an":[57,142],"operator's":[58],"natural-language":[59],"intent":[60],"into":[61,67],"P4LTL":[63],"specification":[64,131],"then":[66],"replayable":[69],"multi-packet":[70],"test":[71],"case":[72],"(packet":[73],"sequence,":[74],"rules,":[76],"external":[77],"operations,":[78],"oracles),":[79],"grounded":[80],"throughout":[81],"in":[82],"compiler":[83],"artifacts":[84],"via":[85],"tool-queryable":[87],"ProgramContext":[88],"gated":[90],"by":[91],"deterministic":[92],"per-stage":[93],"validators.":[94],"On":[95],"five":[96],"stateful":[97],"programs":[99],"spanning":[100],"access":[101],"control,":[102],"monitoring,":[103],"heavy-hitter":[104],"detection,":[105],"failure":[106],"recovery,":[107],"load":[109],"balancing,":[110],"the":[111],"P4LTL-to-test":[112],"generator":[113],"produces":[114],"10":[115],"scenarios,":[116],"89":[117],"packets,":[118],"110":[120],"unified":[121],"execution":[122],"operations":[123],"pass":[125,135],"eight":[126],"consistency":[127],"checks;":[128],"on":[129],"11":[130],"subtasks,":[132],"4":[133],"strictly":[134],"3":[137],"are":[138],"semantically":[139],"close;":[140],"integrated":[143],"BMv2/Mininet":[144],"loop":[145],"exposes":[146],"runtime":[147],"including":[149],"firewall":[151],"policy-bypass":[152],"manifestation":[153],"missing":[156],"multi-table":[157],"entry":[159],"controller":[161],"convergence.":[162]},"counts_by_year":[],"updated_date":"2026-08-13T07:04:57.449891","created_date":"2026-08-12T00:00:00"}