{"id":"https://openalex.org/W4386378087","doi":"https://doi.org/10.1145/3603269.3604843","title":"Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification","display_name":"Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification","publication_year":2023,"publication_date":"2023-09-01","ids":{"openalex":"https://openalex.org/W4386378087","doi":"https://doi.org/10.1145/3603269.3604843"},"language":"en","primary_location":{"id":"doi:10.1145/3603269.3604843","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3603269.3604843","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2023 Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015404751","display_name":"Qiao Xiang","orcid":"https://orcid.org/0000-0002-3394-6279"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiao Xiang","raw_affiliation_strings":["Xiamen University, Xiamen, China"],"raw_orcid":"https://orcid.org/0000-0002-3394-6279","affiliations":[{"raw_affiliation_string":"Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Chenyang Huang","orcid":"https://orcid.org/0000-0003-4368-9701"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chenyang Huang","raw_affiliation_strings":["Xiamen University, Xiamen, China"],"raw_orcid":"https://orcid.org/0000-0003-4368-9701","affiliations":[{"raw_affiliation_string":"Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041907854","display_name":"Ridi Wen","orcid":"https://orcid.org/0000-0002-8851-9725"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ridi Wen","raw_affiliation_strings":["Xiamen University, Xiamen, China"],"raw_orcid":"https://orcid.org/0000-0002-8851-9725","affiliations":[{"raw_affiliation_string":"Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068380000","display_name":"Yuxin Wang","orcid":"https://orcid.org/0000-0002-7980-0689"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxin Wang","raw_affiliation_strings":["Xiamen University, Xiamen, China"],"raw_orcid":"https://orcid.org/0000-0002-7980-0689","affiliations":[{"raw_affiliation_string":"Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039605642","display_name":"Xiwen Fan","orcid":"https://orcid.org/0009-0001-5546-1774"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiwen Fan","raw_affiliation_strings":["Xiamen University, Xiamen, China"],"raw_orcid":"https://orcid.org/0009-0001-5546-1774","affiliations":[{"raw_affiliation_string":"Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015818714","display_name":"Zaoxing Liu","orcid":"https://orcid.org/0000-0002-9119-1679"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zaoxing Liu","raw_affiliation_strings":["University of Maryland, College Park, MD, United States of America"],"raw_orcid":"https://orcid.org/0000-0002-9119-1679","affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, MD, United States of America","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072308822","display_name":"Linghe Kong","orcid":"https://orcid.org/0000-0001-9266-3044"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Linghe Kong","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0001-9266-3044","affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087680058","display_name":"D. Duan","orcid":"https://orcid.org/0000-0002-6304-9448"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dennis Duan","raw_affiliation_strings":["Yale University, New Haven, CT, United States of America"],"raw_orcid":"https://orcid.org/0000-0002-6304-9448","affiliations":[{"raw_affiliation_string":"Yale University, New Haven, CT, United States of America","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057170324","display_name":"Franck Le","orcid":"https://orcid.org/0000-0002-0372-5045"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Franck Le","raw_affiliation_strings":["IBM Research, Yorktown Heights, United States of America"],"raw_orcid":"https://orcid.org/0000-0002-0372-5045","affiliations":[{"raw_affiliation_string":"IBM Research, Yorktown Heights, United States of America","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006833332","display_name":"Wei Sun","orcid":"https://orcid.org/0009-0006-4273-9737"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wei Sun","raw_affiliation_strings":["University of Texas at Austin, Austin, UT, USA"],"raw_orcid":"https://orcid.org/0009-0006-4273-9737","affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, UT, USA","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.5267,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.93318069,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"152","last_page":"166"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.836699366569519},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7447330355644226},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.6576410531997681},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5560250282287598},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4951595366001129},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.485385537147522},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.4334371089935303},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.2876472473144531},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1471870243549347},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12242451310157776}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.836699366569519},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7447330355644226},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.6576410531997681},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5560250282287598},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4951595366001129},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.485385537147522},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.4334371089935303},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2876472473144531},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1471870243549347},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12242451310157776},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3603269.3604843","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3603269.3604843","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2023 Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1411223098","display_name":null,"funder_award_id":"2022QA0AB05","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4263355572","display_name":null,"funder_award_id":"62141220","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4466665818","display_name":null,"funder_award_id":"62172345","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4599507694","display_name":"\u8f66\u8054\u7f51\u5927\u6570\u636e\u4f20\u8f93\u6280\u672f\u7814\u7a76","funder_award_id":"61972253","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8471520140","display_name":null,"funder_award_id":"U1908212","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321106","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1972121713","https://openalex.org/W2023662470","https://openalex.org/W2080267935","https://openalex.org/W2118404561","https://openalex.org/W2126822952","https://openalex.org/W2130210899","https://openalex.org/W2131754091","https://openalex.org/W2146077028","https://openalex.org/W2204503793","https://openalex.org/W2237196758","https://openalex.org/W2324910104","https://openalex.org/W2485543941","https://openalex.org/W2488197787","https://openalex.org/W2531684888","https://openalex.org/W2536639940","https://openalex.org/W2734979301","https://openalex.org/W2736741942","https://openalex.org/W2742515467","https://openalex.org/W2744406816","https://openalex.org/W2762286066","https://openalex.org/W2764015261","https://openalex.org/W2770728219","https://openalex.org/W2816958343","https://openalex.org/W2819252821","https://openalex.org/W2829007944","https://openalex.org/W2890519302","https://openalex.org/W2968149030","https://openalex.org/W2982608089","https://openalex.org/W3046445220","https://openalex.org/W3046814036","https://openalex.org/W3212038671","https://openalex.org/W4229697989","https://openalex.org/W4231393247","https://openalex.org/W4300490703","https://openalex.org/W4308966194"],"related_works":["https://openalex.org/W2595172197","https://openalex.org/W2084856301","https://openalex.org/W2011430815","https://openalex.org/W4321606653","https://openalex.org/W2064720525","https://openalex.org/W2111125783","https://openalex.org/W1862835629","https://openalex.org/W2136799148","https://openalex.org/W2897533804","https://openalex.org/W2890506991"],"abstract_inverted_index":{"Centralized":[0],"data":[1,75,104],"plane":[2,76],"verification":[3,111,119,192],"(DPV)":[4],"faces":[5],"significant":[6],"scalability":[7,33],"issues":[8],"in":[9,78,165],"large":[10,163],"networks":[11,79],"(i.e.,":[12],"the":[13,135,149],"verifier":[14],"being":[15],"a":[16,26,38,53,57,92,98,102,117,139,161],"performance":[17],"bottleneck":[18],"and":[19,24,83,137,179],"single":[20],"point":[21],"of":[22,80,90,148,177,190],"failure":[23],"requiring":[25],"reliable":[27],"management":[28],"network).":[29],"We":[30],"tackle":[31],"this":[32,86],"challenge":[34],"by":[35],"introducing":[36],"Tulkun,":[37],"distributed,":[39],"on-device":[40,113,126],"DPV":[41,48],"framework.":[42],"Our":[43],"key":[44],"insight":[45],"is":[46],"that":[47,100,123,158],"can":[49,62],"be":[50,63],"transformed":[51],"into":[52,66,112],"counting":[54,114],"problem":[55],"on":[56,187,196],"directed":[58],"acyclic":[59],"graph,":[60],"which":[61],"naturally":[64],"decomposed":[65],"lightweight":[67],"tasks":[68],"executed":[69],"at":[70],"network":[71,198],"devices,":[72],"enabling":[73],"fast":[74],"checking":[77],"various":[81],"scales":[82],"types.":[84],"With":[85],"insight,":[87],"Tulkun":[88,159],"consists":[89],"(1)":[91],"declarative":[93],"invariant":[94,143],"specification":[95],"language,":[96],"(2)":[97],"planner":[99],"employs":[101],"novel":[103],"structure":[105],"DPVNet":[106],"to":[107,132,141,175,183],"systematically":[108],"decompose":[109],"global":[110],"tasks,":[115],"(3)":[116],"distributed":[118],"messaging":[120],"(DVM)":[121],"protocol":[122],"specifies":[124],"how":[125],"verifiers":[127],"efficiently":[128],"communicate":[129],"task":[130],"results":[131],"jointly":[133],"verify":[134,142],"invariants,":[136],"(4)":[138],"mechanism":[140],"fault-tolerance":[144],"with":[145,153,193],"minimal":[146],"involvement":[147],"planner.":[150],"Extensive":[151],"experiments":[152],"real-world":[154],"datasets":[155],"(WAN/LAN/DC)":[156],"show":[157],"verifies":[160],"real,":[162],"DC":[164],"41":[166],"seconds":[167],"while":[168],"others":[169],"tools":[170],"need":[171],"minutes":[172],"or":[173],"up":[174,182,186],"tens":[176],"hours,":[178],"shows":[180],"an":[181],"2355\u00d7":[184],"speed":[185],"80%":[188],"quantile":[189],"incremental":[191],"small":[194],"overhead":[195],"commodity":[197],"devices.":[199]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":5}],"updated_date":"2026-07-04T07:58:01.006859","created_date":"2025-10-10T00:00:00"}