{"id":"https://openalex.org/W3190656508","doi":"https://doi.org/10.1145/3452296.3472925","title":"Campion","display_name":"Campion","publication_year":2021,"publication_date":"2021-08-09","ids":{"openalex":"https://openalex.org/W3190656508","doi":"https://doi.org/10.1145/3452296.3472925","mag":"3190656508"},"language":"en","primary_location":{"id":"doi:10.1145/3452296.3472925","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3452296.3472925","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3452296.3472925","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 2021 ACM SIGCOMM 2021 Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3452296.3472925","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043386615","display_name":"Alan Tang","orcid":"https://orcid.org/0009-0000-9696-2914"},"institutions":[{"id":"https://openalex.org/I2799798094","display_name":"UCLA Health","ror":"https://ror.org/01d88se56","country_code":"US","type":"funder","lineage":["https://openalex.org/I2799798094"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alan Tang","raw_affiliation_strings":["UCLA","UCLA / Intentionet"],"affiliations":[{"raw_affiliation_string":"UCLA","institution_ids":["https://openalex.org/I2799798094"]},{"raw_affiliation_string":"UCLA / Intentionet","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077950054","display_name":"Siva Kesava Reddy Kakarla","orcid":"https://orcid.org/0009-0006-2694-4685"},"institutions":[{"id":"https://openalex.org/I2799798094","display_name":"UCLA Health","ror":"https://ror.org/01d88se56","country_code":"US","type":"funder","lineage":["https://openalex.org/I2799798094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Siva Kesava Reddy Kakarla","raw_affiliation_strings":["UCLA","UCLA / Intentionet"],"affiliations":[{"raw_affiliation_string":"UCLA","institution_ids":["https://openalex.org/I2799798094"]},{"raw_affiliation_string":"UCLA / Intentionet","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075133765","display_name":"Ryan Beckett","orcid":"https://orcid.org/0000-0001-7844-2026"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ryan Beckett","raw_affiliation_strings":["Microsoft Research"],"affiliations":[{"raw_affiliation_string":"Microsoft Research","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108657726","display_name":"Ennan Zhai","orcid":null},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ennan Zhai","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041175384","display_name":"Matt Brown","orcid":"https://orcid.org/0009-0000-5232-7302"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Matt Brown","raw_affiliation_strings":["Intentionet, Inc"],"affiliations":[{"raw_affiliation_string":"Intentionet, Inc","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014067492","display_name":"Todd Millstein","orcid":"https://orcid.org/0000-0002-2031-1514"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Todd Millstein","raw_affiliation_strings":["UCLA / Intentionet"],"affiliations":[{"raw_affiliation_string":"UCLA / Intentionet","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076257646","display_name":"Yuval Tamir","orcid":"https://orcid.org/0009-0008-9977-4714"},"institutions":[{"id":"https://openalex.org/I2799798094","display_name":"UCLA Health","ror":"https://ror.org/01d88se56","country_code":"US","type":"funder","lineage":["https://openalex.org/I2799798094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuval Tamir","raw_affiliation_strings":["UCLA","UCLA / Intentionet"],"affiliations":[{"raw_affiliation_string":"UCLA","institution_ids":["https://openalex.org/I2799798094"]},{"raw_affiliation_string":"UCLA / Intentionet","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102730096","display_name":"George Varghese","orcid":"https://orcid.org/0000-0002-8218-5701"},"institutions":[{"id":"https://openalex.org/I2799798094","display_name":"UCLA Health","ror":"https://ror.org/01d88se56","country_code":"US","type":"funder","lineage":["https://openalex.org/I2799798094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"George Varghese","raw_affiliation_strings":["UCLA","UCLA / Intentionet"],"affiliations":[{"raw_affiliation_string":"UCLA","institution_ids":["https://openalex.org/I2799798094"]},{"raw_affiliation_string":"UCLA / Intentionet","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5043386615"],"corresponding_institution_ids":["https://openalex.org/I2799798094"],"apc_list":null,"apc_paid":null,"fwci":1.9203,"has_fulltext":true,"cited_by_count":21,"citation_normalized_percentile":{"value":0.86513549,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"748","last_page":"761"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9994000196456909,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.7675352096557617},{"id":"https://openalex.org/keywords/router","display_name":"Router","score":0.7382959127426147},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7073632478713989},{"id":"https://openalex.org/keywords/backup","display_name":"Backup","score":0.6262942552566528},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5518994331359863},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5035399794578552},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4589470624923706},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.35674160718917847}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7675352096557617},{"id":"https://openalex.org/C2775896111","wikidata":"https://www.wikidata.org/wiki/Q642560","display_name":"Router","level":2,"score":0.7382959127426147},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7073632478713989},{"id":"https://openalex.org/C2780945871","wikidata":"https://www.wikidata.org/wiki/Q194274","display_name":"Backup","level":2,"score":0.6262942552566528},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5518994331359863},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5035399794578552},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4589470624923706},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.35674160718917847}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3452296.3472925","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3452296.3472925","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3452296.3472925","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 2021 ACM SIGCOMM 2021 Conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3452296.3472925","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3452296.3472925","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3452296.3472925","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 2021 ACM SIGCOMM 2021 Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3069132530","display_name":"NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment","funder_award_id":"1704336","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3301206683","display_name":null,"funder_award_id":"CNS-1704336 and CNS-1901510","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3190656508.pdf","grobid_xml":"https://content.openalex.org/works/W3190656508.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W72463235","https://openalex.org/W95608104","https://openalex.org/W1707144927","https://openalex.org/W1882012874","https://openalex.org/W1965343327","https://openalex.org/W2111828771","https://openalex.org/W2115526539","https://openalex.org/W2130210899","https://openalex.org/W2188073520","https://openalex.org/W2324910104","https://openalex.org/W2465388983","https://openalex.org/W2468070113","https://openalex.org/W2485543941","https://openalex.org/W2577367366","https://openalex.org/W2742515467","https://openalex.org/W2810860137","https://openalex.org/W2912516925","https://openalex.org/W2920584172","https://openalex.org/W2968149030","https://openalex.org/W2968168257","https://openalex.org/W3010639102","https://openalex.org/W3014010732","https://openalex.org/W3017350605","https://openalex.org/W3046445220","https://openalex.org/W4233458882","https://openalex.org/W4247833568","https://openalex.org/W4254605472","https://openalex.org/W4301422519"],"related_works":["https://openalex.org/W2955195711","https://openalex.org/W2354454611","https://openalex.org/W2993266126","https://openalex.org/W2392283887","https://openalex.org/W2351388597","https://openalex.org/W2939925694","https://openalex.org/W2829881200","https://openalex.org/W4241986464","https://openalex.org/W2184647741","https://openalex.org/W2354924268"],"abstract_inverted_index":{"We":[0,102],"present":[1],"a":[2,39,135,146,154,169],"new":[3],"approach":[4,34,78,105],"for":[5,62,72,175],"debugging":[6,114],"two":[7],"router":[8,18,53,132],"configurations":[9],"that":[10,55,150,184],"are":[11],"intended":[12],"to":[13,29,84,113,192],"be":[14,85],"behaviorally":[15],"equivalent.":[16],"Existing":[17],"verification":[19],"techniques":[20],"cannot":[21],"identify":[22],"all":[23,52],"differences":[24,28,161,183],"or":[25],"localize":[26],"those":[27],"relevant":[30],"configuration":[31,48,61,74,143],"lines.":[32],"Our":[33],"addresses":[35],"these":[36],"limitations":[37],"through":[38],"_modular_":[40],"analysis,":[41],"which":[42],"separately":[43],"analyzes":[44],"pairs":[45,115],"of":[46,90,116,125],"corresponding":[47],"components.":[49],"It":[50],"handles":[51],"components":[54,75],"affect":[56],"routing":[57],"and":[58,69,99,110,122,139,178],"forwarding,":[59],"including":[60,145],"BGP,":[63],"OSPF,":[64],"static":[65],"routes,":[66],"route":[67,147],"maps":[68],"ACLs.":[70],"Further,":[71],"many":[73],"our":[76],"modular":[77,93],"enables":[79],"simple":[80],"_structural":[81],"equivalence_":[82],"checks":[83],"used":[86],"without":[87],"additional":[88],"loss":[89],"precision":[91],"versus":[92],"semantic":[94,182],"checks,":[95],"aiding":[96],"both":[97],"efficiency":[98],"error":[100],"localization.":[101],"implemented":[103],"this":[104],"in":[106,134,168],"the":[107,185,197],"tool":[108],"Campion":[109,128,157],"applied":[111],"it":[112],"backup":[117,163],"routers":[118,164],"from":[119,165],"different":[120,166],"manufacturers":[121],"validating":[123],"replacement":[124],"critical":[126],"routers.":[127],"analyzed":[129],"30":[130],"proposed":[131],"replacements":[133],"production":[136],"cloud":[137],"network":[138],"proactively":[140],"detected":[141],"four":[142],"bugs,":[144],"reflector":[148],"bug":[149],"could":[151],"have":[152],"caused":[153],"severe":[155],"outage.":[156],"also":[158],"found":[159],"multiple":[160],"between":[162],"vendors":[167],"university":[170],"network.":[171],"These":[172],"were":[173,189],"undetected":[174],"three":[176],"years,":[177],"depended":[179],"on":[180],"subtle":[181],"operators":[186],"said":[187],"they":[188],"\"highly":[190],"unlikely\"":[191],"detect":[193],"by":[194],"\"just":[195],"eyeballing":[196],"configs.\"":[198]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2021-08-16T00:00:00"}