{"id":"https://openalex.org/W4400236514","doi":"https://doi.org/10.1145/3663408.3663420","title":"Scaling Data Plane Verification via Parallelization","display_name":"Scaling Data Plane Verification via Parallelization","publication_year":2024,"publication_date":"2024-07-02","ids":{"openalex":"https://openalex.org/W4400236514","doi":"https://doi.org/10.1145/3663408.3663420"},"language":"en","primary_location":{"id":"doi:10.1145/3663408.3663420","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3663408.3663420","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th Asia-Pacific Workshop on Networking","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/A5087451159","display_name":"Sisi Wen","orcid":"https://orcid.org/0009-0004-6381-7728"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Sisi Wen","raw_affiliation_strings":["ByteDance Inc, China"],"raw_orcid":"https://orcid.org/0009-0004-6381-7728","affiliations":[{"raw_affiliation_string":"ByteDance Inc, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003462614","display_name":"Anubhavnidhi Abhashkumar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Anubhavnidhi Abhashkumar","raw_affiliation_strings":["ByteDance Inc, USA"],"raw_orcid":"https://orcid.org/0009-0005-1705-873X","affiliations":[{"raw_affiliation_string":"ByteDance Inc, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015079554","display_name":"Chenyang Zhao","orcid":"https://orcid.org/0009-0000-2550-756X"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chenyang Zhao","raw_affiliation_strings":["Beijing University of Posts and Telecommunications, China"],"raw_orcid":"https://orcid.org/0009-0000-2550-756X","affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019507310","display_name":"Weirong Jiang","orcid":"https://orcid.org/0000-0002-4884-0848"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weirong Jiang","raw_affiliation_strings":["ByteDance Inc, USA"],"raw_orcid":"https://orcid.org/0000-0002-4884-0848","affiliations":[{"raw_affiliation_string":"ByteDance Inc, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5087451159"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3507,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.89227516,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"81","last_page":"87"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10481","display_name":"Computer Graphics and Visualization Techniques","score":0.9847999811172485,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.7588980197906494},{"id":"https://openalex.org/keywords/scaling","display_name":"Scaling","score":0.6800966858863831},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6176632642745972},{"id":"https://openalex.org/keywords/automatic-parallelization","display_name":"Automatic parallelization","score":0.4640454649925232},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.3705071806907654},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14308524131774902},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.10819372534751892},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08653807640075684}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7588980197906494},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.6800966858863831},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6176632642745972},{"id":"https://openalex.org/C164833996","wikidata":"https://www.wikidata.org/wiki/Q2323839","display_name":"Automatic parallelization","level":3,"score":0.4640454649925232},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.3705071806907654},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14308524131774902},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.10819372534751892},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08653807640075684},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3663408.3663420","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3663408.3663420","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th Asia-Pacific Workshop on Networking","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W73507577","https://openalex.org/W95608104","https://openalex.org/W2968149030","https://openalex.org/W3206576546","https://openalex.org/W4290991152","https://openalex.org/W4386378087","https://openalex.org/W4386385024"],"related_works":["https://openalex.org/W2555203579","https://openalex.org/W1842571235","https://openalex.org/W2994999011","https://openalex.org/W3024114208","https://openalex.org/W1985416522","https://openalex.org/W2911340114","https://openalex.org/W4233032676","https://openalex.org/W1819272977","https://openalex.org/W2158244147","https://openalex.org/W4230665044"],"abstract_inverted_index":{"The":[0,94],"data":[1,33,47,59,69],"plane":[2,34,70],"verification":[3,116],"of":[4,17,56,106,128],"networks":[5,168],"in":[6,68,126,134,148,167],"hyperscale":[7],"environments":[8],"is":[9],"challenging":[10],"due":[11],"to":[12,88,185,191],"the":[13,53,79,104,115,164],"complexity":[14],"and":[15,84,113,130,140,162,188,196],"size":[16],"modern":[18],"networks.":[19],"In":[20],"this":[21],"paper,":[22],"we":[23,43,73,109,170],"introduce":[24],"Medusa,":[25],"a":[26,45,89,135,179],"novel":[27],"verifier":[28],"that":[29,121,169],"efficiently":[30],"analyzes":[31],"large":[32],"models":[35],"using":[36],"parallel":[37],"processing":[38,76],"on":[39],"multi-core":[40,75,107],"CPUs.":[41],"First,":[42],"propose":[44],"new":[46],"structure":[48],"called":[49],"RANGESET,":[50],"which":[51],"overcomes":[52],"parallelism":[54],"limitations":[55],"existing":[57,124],"popular":[58],"structures":[60],"such":[61],"as":[62],"Binary":[63],"Decision":[64],"Diagrams":[65],"(BDD)":[66],"used":[67],"verifiers.":[71],"Next,":[72],"leverage":[74],"by":[77],"dividing":[78],"network":[80,136],"into":[81],"distinct":[82],"groups":[83],"assigning":[85],"each":[86],"group":[87],"separate":[90],"thread":[91],"for":[92,99],"computation.":[93],"results":[95,119],"are":[96],"then":[97],"integrated":[98],"comprehensive":[100],"verification.":[101],"By":[102],"optimizing":[103],"use":[105],"systems,":[108],"enhance":[110],"computational":[111],"efficiency":[112],"accelerate":[114],"process.":[117],"Experimental":[118],"demonstrate":[120],"Medusa":[122,144,177],"outperforms":[123],"tools":[125],"terms":[127],"speed":[129],"memory.":[131],"For":[132],"instance,":[133],"with":[137,173,182],"O(10K)":[138],"devices":[139],"O(1M)":[141],"forwarding":[142],"rules,":[143],"can":[145],"detect":[146],"loops":[147],"approximately":[149],"5":[150],"seconds,":[151],"outperforming":[152],"other":[153,174],"Data":[154],"Plane":[155],"Verifiers":[156],"(DPVs)":[157],"where":[158],"some":[159],"cannot":[160],"model":[161],"analyze":[163],"network.":[165],"Moreover,":[166],"could":[171],"compare":[172],"state-of-the-art":[175],"DPVs,":[176],"provides":[178],"substantial":[180],"improvement,":[181],"speedups":[183],"up":[184],"600X,":[186],"4000X,":[187],"800X":[189],"compared":[190],"alternatives":[192],"like":[193],"Flash,":[194],"APKeep,":[195],"Tulkun,":[197],"respectively.":[198]},"counts_by_year":[{"year":2025,"cited_by_count":5}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}