{"id":"https://openalex.org/W2725434906","doi":"https://doi.org/10.1145/3062341.3062367","title":"Network configuration synthesis with abstract topologies","display_name":"Network configuration synthesis with abstract topologies","publication_year":2017,"publication_date":"2017-06-14","ids":{"openalex":"https://openalex.org/W2725434906","doi":"https://doi.org/10.1145/3062341.3062367","mag":"2725434906"},"language":"en","primary_location":{"id":"doi:10.1145/3062341.3062367","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3062341.3062367","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3062367&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3062367&type=pdf","any_repository_has_fulltext":null},"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/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ryan Beckett","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/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":false,"raw_author_name":"Ratul Mahajan","raw_affiliation_strings":["Intentionet, USA / Microsoft, USA"],"affiliations":[{"raw_affiliation_string":"Intentionet, USA / Microsoft, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014067492","display_name":"Todd Millstein","orcid":"https://orcid.org/0000-0002-2031-1514"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Todd Millstein","raw_affiliation_strings":["Intentionet, USA / University of California at Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"Intentionet, USA / University of California at Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112001300","display_name":"Jitendra Padhye","orcid":null},"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":false,"raw_author_name":"Jitendra Padhye","raw_affiliation_strings":["Microsoft, USA"],"affiliations":[{"raw_affiliation_string":"Microsoft, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"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":5,"corresponding_author_ids":["https://openalex.org/A5075133765"],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":5.5478,"has_fulltext":true,"cited_by_count":52,"citation_normalized_percentile":{"value":0.97086261,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"437","last_page":"451"},"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.9990000128746033,"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.9990000128746033,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9986000061035156,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9984999895095825,"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/network-topology","display_name":"Network topology","score":0.9161469340324402},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.759893536567688},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6198717951774597},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.5678666234016418},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.5606717467308044},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.5544005036354065},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.5495367646217346},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.47346511483192444},{"id":"https://openalex.org/keywords/border-gateway-protocol","display_name":"Border Gateway Protocol","score":0.4217965006828308},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.37365618348121643},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.21162912249565125},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1323552429676056},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12676066160202026}],"concepts":[{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.9161469340324402},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.759893536567688},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6198717951774597},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5678666234016418},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.5606717467308044},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.5544005036354065},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.5495367646217346},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.47346511483192444},{"id":"https://openalex.org/C178086212","wikidata":"https://www.wikidata.org/wiki/Q11155","display_name":"Border Gateway Protocol","level":5,"score":0.4217965006828308},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.37365618348121643},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.21162912249565125},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1323552429676056},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12676066160202026},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3062341.3062367","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3062341.3062367","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3062367&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3062341.3062367","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3062341.3062367","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3062367&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2308217265","display_name":null,"funder_award_id":"CNS-1161595","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5331550965","display_name":null,"funder_award_id":"677002","funder_id":"https://openalex.org/F4320307791","funder_display_name":"Cisco Systems"},{"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/F4320307791","display_name":"Cisco Systems","ror":"https://ror.org/03yt1ez60"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2725434906.pdf","grobid_xml":"https://content.openalex.org/works/W2725434906.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W602497127","https://openalex.org/W1249296113","https://openalex.org/W1543942291","https://openalex.org/W1675033504","https://openalex.org/W1882012874","https://openalex.org/W1965343327","https://openalex.org/W1967656199","https://openalex.org/W2004993199","https://openalex.org/W2007089612","https://openalex.org/W2021234005","https://openalex.org/W2025177582","https://openalex.org/W2026309357","https://openalex.org/W2047406992","https://openalex.org/W2064595734","https://openalex.org/W2096811399","https://openalex.org/W2115526539","https://openalex.org/W2124430419","https://openalex.org/W2126210439","https://openalex.org/W2126969025","https://openalex.org/W2130531694","https://openalex.org/W2133496820","https://openalex.org/W2143065961","https://openalex.org/W2151517515","https://openalex.org/W2157614013","https://openalex.org/W2485543941","https://openalex.org/W2488197787","https://openalex.org/W2536639940","https://openalex.org/W2577367366","https://openalex.org/W2952969985","https://openalex.org/W4238465620","https://openalex.org/W4256524787","https://openalex.org/W6632490965"],"related_works":["https://openalex.org/W2182380586","https://openalex.org/W2535598766","https://openalex.org/W2066635411","https://openalex.org/W2030140188","https://openalex.org/W2128816990","https://openalex.org/W2204503793","https://openalex.org/W2113230746","https://openalex.org/W1534342069","https://openalex.org/W3145408402","https://openalex.org/W3128506234"],"abstract_inverted_index":{"We":[0,62],"develop":[1],"Propane/AT,":[2],"a":[3],"system":[4],"to":[5,43,88,98],"synthesize":[6],"provably-correct":[7],"BGP":[8],"(border":[9],"gateway":[10],"protocol)":[11],"configurations":[12,91,127],"for":[13,33,72,122],"large,":[14],"evolving":[15],"networks":[16],"from":[17],"high-level":[18],"specifications":[19],"of":[20,47,76,130],"topology,":[21],"routing":[22,50],"policy,":[23],"and":[24,38,41,49,103,110,116,120],"fault-tolerance":[25],"requirements.":[26],"Propane/AT":[27,81,125],"is":[28],"based":[29],"on":[30,52,59,137],"new":[31],"abstractions":[32,115],"capturing":[34],"parameterized":[35],"network":[36,96],"topologies":[37,109],"their":[39],"evolution,":[40],"algorithms":[42,56,117],"analyze":[44],"the":[45,65,77,95],"impact":[46],"topology":[48],"policy":[51],"fault":[53],"tolerance.":[54],"Our":[55,105],"operate":[57,136],"entirely":[58],"abstract":[60,79],"topologies.":[61,139],"prove":[63],"that":[64,84,113,135],"properties":[66],"established":[67],"by":[68],"our":[69,114],"analyses":[70],"hold":[71],"every":[73],"concrete":[74,138],"instantiation":[75],"given":[78],"topology.":[80],"also":[82],"guarantees":[83],"only":[85],"incremental":[86],"changes":[87],"existing":[89],"device":[90],"are":[92,118],"required":[93],"when":[94],"evolves":[97],"add":[99],"or":[100],"remove":[101],"devices":[102],"links.":[104],"experiments":[106],"with":[107],"real-world":[108],"policies":[111],"show":[112],"effective,":[119],"that,":[121],"large":[123],"networks,":[124],"synthesizes":[126],"two":[128],"orders":[129],"magnitude":[131],"faster":[132],"than":[133],"systems":[134]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}