{"id":"https://openalex.org/W2996714391","doi":"https://doi.org/10.1145/3371110","title":"Abstract interpretation of distributed network control planes","display_name":"Abstract interpretation of distributed network control planes","publication_year":2019,"publication_date":"2019-12-20","ids":{"openalex":"https://openalex.org/W2996714391","doi":"https://doi.org/10.1145/3371110","mag":"2996714391"},"language":"en","primary_location":{"id":"doi:10.1145/3371110","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3371110","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3371110","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3371110","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075133765","display_name":"Ryan Beckett","orcid":"https://orcid.org/0000-0001-7844-2026"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ryan Beckett","raw_affiliation_strings":["Microsoft Research, USA"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041231710","display_name":"Aarti Gupta","orcid":"https://orcid.org/0000-0001-6676-9400"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aarti Gupta","raw_affiliation_strings":["Princeton University, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013518229","display_name":"Ratul Mahajan","orcid":"https://orcid.org/0009-0005-8005-6948"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ratul Mahajan","raw_affiliation_strings":["University of Washington, USA / Intentionet, USA"],"affiliations":[{"raw_affiliation_string":"University of Washington, USA / Intentionet, USA","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049454219","display_name":"David Walker","orcid":"https://orcid.org/0000-0003-3681-149X"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Walker","raw_affiliation_strings":["Princeton University, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5075133765"],"corresponding_institution_ids":["https://openalex.org/I1290206253"],"apc_list":null,"apc_paid":null,"fwci":2.7854,"has_fulltext":true,"cited_by_count":41,"citation_normalized_percentile":{"value":0.91517581,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"4","issue":"POPL","first_page":"1","last_page":"27"},"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/T10138","display_name":"Network Traffic and Congestion Control","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.811784029006958},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7709438800811768},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5934505462646484},{"id":"https://openalex.org/keywords/border-gateway-protocol","display_name":"Border Gateway Protocol","score":0.5305253267288208},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.5003619194030762},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.49407413601875305},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.48171788454055786},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4679376482963562},{"id":"https://openalex.org/keywords/default-gateway","display_name":"Default gateway","score":0.4599567651748657},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.40133604407310486},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.2124599814414978},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2061757743358612}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.811784029006958},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7709438800811768},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5934505462646484},{"id":"https://openalex.org/C178086212","wikidata":"https://www.wikidata.org/wiki/Q11155","display_name":"Border Gateway Protocol","level":5,"score":0.5305253267288208},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.5003619194030762},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.49407413601875305},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.48171788454055786},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4679376482963562},{"id":"https://openalex.org/C187713609","wikidata":"https://www.wikidata.org/wiki/Q2465461","display_name":"Default gateway","level":2,"score":0.4599567651748657},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.40133604407310486},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.2124599814414978},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2061757743358612},{"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},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3371110","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3371110","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3371110","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3371110","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3371110","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3371110","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1696541877","display_name":null,"funder_award_id":"1837030","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2455771911","display_name":null,"funder_award_id":"FMitF 1837030","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"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/G53683994","display_name":null,"funder_award_id":"1704336 1837030","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5921281487","display_name":null,"funder_award_id":"number","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6139772940","display_name":null,"funder_award_id":"HR0011-17-C-0047","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G7320400478","display_name":null,"funder_award_id":"NeTS 1704336","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","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"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2996714391.pdf","grobid_xml":"https://content.openalex.org/works/W2996714391.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W60370665","https://openalex.org/W158224344","https://openalex.org/W1249296113","https://openalex.org/W1543794829","https://openalex.org/W1675033504","https://openalex.org/W1882012874","https://openalex.org/W1979603971","https://openalex.org/W2004993199","https://openalex.org/W2043100293","https://openalex.org/W2044304197","https://openalex.org/W2080267935","https://openalex.org/W2099236627","https://openalex.org/W2115526539","https://openalex.org/W2122695394","https://openalex.org/W2130210899","https://openalex.org/W2130531694","https://openalex.org/W2131210561","https://openalex.org/W2132661148","https://openalex.org/W2142065670","https://openalex.org/W2142481893","https://openalex.org/W2158395308","https://openalex.org/W2162284942","https://openalex.org/W2170736936","https://openalex.org/W2188073520","https://openalex.org/W2204503793","https://openalex.org/W2278179621","https://openalex.org/W2477023729","https://openalex.org/W2485543941","https://openalex.org/W2536639940","https://openalex.org/W2569507975","https://openalex.org/W2577367366","https://openalex.org/W2735966221","https://openalex.org/W2742515467","https://openalex.org/W2810006281","https://openalex.org/W2810860137","https://openalex.org/W2839252377","https://openalex.org/W2900333518","https://openalex.org/W2910041147","https://openalex.org/W2913846715","https://openalex.org/W2957285558","https://openalex.org/W4230033334","https://openalex.org/W4238465620"],"related_works":["https://openalex.org/W2182380586","https://openalex.org/W2535598766","https://openalex.org/W2066635411","https://openalex.org/W1558646768","https://openalex.org/W2030140188","https://openalex.org/W2128816990","https://openalex.org/W2204503793","https://openalex.org/W2113230746","https://openalex.org/W1534342069","https://openalex.org/W3145408402"],"abstract_inverted_index":{"The":[0],"control":[1,25,170],"plane":[2],"of":[3,23,70,90,109,151,168,183],"most":[4,156],"computer":[5],"networks":[6,112,153],"runs":[7],"distributed":[8],"routing":[9,203],"protocols":[10],"that":[11,81,165],"determine":[12],"if":[13],"and":[14,40,79,125,154],"how":[15],"traffic":[16],"is":[17],"forwarded.":[18],"Errors":[19],"in":[20,123,138],"the":[21,68,82,87,128,152,159,196,201],"configuration":[22,52],"network":[24,91,169],"planes":[26,171],"frequently":[27],"knock":[28],"down":[29],"critical":[30],"online":[31],"services,":[32],"leading":[33],"to":[34,73],"economic":[35],"damage":[36],"for":[37,43,62,103,146,149,155,158,195],"service":[38],"providers":[39],"significant":[41],"hardship":[42],"users.":[44],"Validation":[45],"via":[46],"ahead-of-time":[47],"simulation":[48],"can":[49,85],"help":[50],"find":[51,80,164],"errors":[53],"but":[54,178],"such":[55],"techniques":[56],"are":[57],"expensive":[58],"or":[59],"even":[60],"intractable":[61],"large":[63,115],"industrial":[64],"networks.":[65],"We":[66,162,185],"explore":[67],"use":[69],"abstract":[71,141,166],"interpretation":[72,167],"address":[74],"this":[75,95,187],"fundamental":[76],"scaling":[77],"challenge":[78],"right":[83],"abstractions":[84],"reduce":[86],"asymptotic":[88,121],"complexity":[89],"simulation.":[92],"Based":[93],"on":[94],"observation,":[96],"we":[97],"build":[98],"a":[99,107,114,135,190],"tool":[100],"called":[101],"ShapeShifter":[102,118],"reachability":[104,145],"analysis.":[105],"On":[106],"suite":[108],"127":[110],"production":[111],"from":[113],"cloud":[116],"provider,":[117],"provides":[119],"an":[120],"improvement":[122],"runtime":[124],"memory":[126],"over":[127],"state-of-the-art":[129],"simulator.":[130],"These":[131],"gains":[132],"come":[133],"with":[134],"minimal":[136],"loss":[137],"precision.":[139],"Our":[140],"analysis":[142,194],"accurately":[143],"predicts":[144],"all":[147],"destinations":[148,157],"95%":[150],"remaining":[160],"5%.":[161],"also":[163,179],"not":[172],"only":[173],"speeds":[174],"up":[175],"existing":[176],"analyses":[177],"facilitates":[180],"new":[181,191],"kinds":[182],"analyses.":[184],"illustrate":[186],"advantage":[188],"through":[189],"destination":[192],"\"hijacking\"":[193],"border":[197],"gateway":[198],"protocol":[199],"(BGP),":[200],"globally-deployed":[202],"protocol.":[204]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":6}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}