{"id":"https://openalex.org/W2044304197","doi":"https://doi.org/10.1145/2018436.2018510","title":"FSR","display_name":"FSR","publication_year":2011,"publication_date":"2011-08-15","ids":{"openalex":"https://openalex.org/W2044304197","doi":"https://doi.org/10.1145/2018436.2018510","mag":"2044304197"},"language":"en","primary_location":{"id":"doi:10.1145/2018436.2018510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2018436.2018510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2018436.2018510","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2011 conference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2018436.2018510","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089271847","display_name":"Yiqing Ren","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yiqing Ren","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101741069","display_name":"Wenchao Zhou","orcid":"https://orcid.org/0009-0002-2689-6020"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wenchao Zhou","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015395686","display_name":"Anduo Wang","orcid":"https://orcid.org/0000-0002-1078-107X"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anduo Wang","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087946116","display_name":"Limin Jia","orcid":"https://orcid.org/0000-0002-8160-349X"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Limin Jia","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA","Carnegie-Mellon University, Pittsburgh, Pa., USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie-Mellon University, Pittsburgh, Pa., USA#TAB#","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021917441","display_name":"Alexander J. T. Gurney","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander J.T. Gurney","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090052860","display_name":"Boon Thau Loo","orcid":"https://orcid.org/0000-0002-4757-1746"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Boon Thau Loo","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003914268","display_name":"Jennifer Rexford","orcid":"https://orcid.org/0000-0002-0231-8165"},"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":"Jennifer Rexford","raw_affiliation_strings":["Princeton University, Princeton, NJ, USA","Princeton University , Princeton, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"Princeton University , Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"440","last_page":"441"},"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.9995999932289124,"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.9995999932289124,"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.9962000250816345,"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/T10138","display_name":"Network Traffic and Congestion Control","score":0.9922000169754028,"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.7939894795417786},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.7033929228782654},{"id":"https://openalex.org/keywords/router","display_name":"Router","score":0.6795541048049927},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6583205461502075},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.6410002112388611},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.5395300984382629},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.512328028678894},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5107705593109131},{"id":"https://openalex.org/keywords/border-gateway-protocol","display_name":"Border Gateway Protocol","score":0.4763389229774475},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.45196256041526794},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4287390112876892},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42465826869010925},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.3786832392215729},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3451375961303711},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2842392325401306}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7939894795417786},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.7033929228782654},{"id":"https://openalex.org/C2775896111","wikidata":"https://www.wikidata.org/wiki/Q642560","display_name":"Router","level":2,"score":0.6795541048049927},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6583205461502075},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.6410002112388611},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.5395300984382629},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.512328028678894},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5107705593109131},{"id":"https://openalex.org/C178086212","wikidata":"https://www.wikidata.org/wiki/Q11155","display_name":"Border Gateway Protocol","level":5,"score":0.4763389229774475},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.45196256041526794},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4287390112876892},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42465826869010925},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.3786832392215729},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3451375961303711},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2842392325401306},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2018436.2018510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2018436.2018510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2018436.2018510","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2011 conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2018436.2018510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2018436.2018510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2018436.2018510","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2011 conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1654902865","display_name":"Collaborative Research:   Scalable Knowledge-based Middleware for Networked and Mobile Systems","funder_award_id":"0820208","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4115386999","display_name":null,"funder_award_id":"CNS-0830949","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4808308670","display_name":"Collaborative Research:   CT-M:   Privacy, Compliance and Information Risk in Complex Organizational Processes","funder_award_id":"0830949","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5706806854","display_name":null,"funder_award_id":"N00014-09-1-0770","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5962113195","display_name":"FIA: Collaborative Research: NEBULA: A Future Internet That Supports Trustworthy Cloud Computing","funder_award_id":"1040672","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6098521345","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6390668594","display_name":"CAREER: Towards a Unified Declarative Platform for Composable Verifiable Networks","funder_award_id":"0845552","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G696377509","display_name":null,"funder_award_id":"FA9550-08-1-0352","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G726992477","display_name":null,"funder_award_id":"CNS-0845552","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7370785086","display_name":"NGNI-Small: Declarative Secure Networked Information Systems","funder_award_id":"0812270","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"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"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2044304197.pdf","grobid_xml":"https://content.openalex.org/works/W2044304197.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W18307137","https://openalex.org/W1555220698","https://openalex.org/W1737660401","https://openalex.org/W1749713674","https://openalex.org/W1965343327","https://openalex.org/W1980507101","https://openalex.org/W2004993199","https://openalex.org/W2010365467","https://openalex.org/W2073904762","https://openalex.org/W2096186938","https://openalex.org/W2099236627","https://openalex.org/W2099795089","https://openalex.org/W2104941874","https://openalex.org/W2105170773","https://openalex.org/W2113402838","https://openalex.org/W2114852717","https://openalex.org/W2116116615","https://openalex.org/W2120514843","https://openalex.org/W2120848666","https://openalex.org/W2125258707","https://openalex.org/W2128511191","https://openalex.org/W2129358417","https://openalex.org/W2131314981","https://openalex.org/W2137736907","https://openalex.org/W2139616859","https://openalex.org/W2142065670","https://openalex.org/W2144537141","https://openalex.org/W2147081775","https://openalex.org/W2168618039","https://openalex.org/W2170082213","https://openalex.org/W2170735004","https://openalex.org/W2177058407","https://openalex.org/W2204503793","https://openalex.org/W2339351027","https://openalex.org/W2428827905","https://openalex.org/W3030428357","https://openalex.org/W4252996637","https://openalex.org/W4296313421"],"related_works":["https://openalex.org/W2182380586","https://openalex.org/W2535598766","https://openalex.org/W1558646768","https://openalex.org/W2884947896","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":{"We":[0,41],"present":[1],"the":[2,34],"demonstration":[3,70],"of":[4,30,38],"a":[5,47],"comprehensive":[6],"toolkit":[7,27],"for":[8,90],"analyzing":[9],"and":[10,62,74,93],"implementing":[11],"routing":[12,39,44],"policies,":[13],"ranging":[14],"from":[15,33],"high-level":[16],"guidelines":[17],"to":[18,51],"specific":[19],"router":[20],"configurations.":[21],"Our":[22,69],"Formally":[23],"Safe":[24],"Routing":[25],"(FSR)":[26],"performs":[28],"all":[29],"these":[31],"functions":[32],"same":[35],"algebraic":[36],"representation":[37],"policy.":[40],"show":[42],"that":[43],"algebra":[45],"has":[46],"very":[48],"natural":[49],"translation":[50],"both":[52],"integer":[53],"constraints":[54],"(to":[55,65],"perform":[56],"safety":[57],"analysis":[58],"using":[59],"SMT":[60],"solvers)":[61],"declarative":[63],"programs":[64],"generate":[66],"distributed":[67],"implementations).":[68],"with":[71],"realistic":[72],"topologies":[73],"policies":[75],"shows":[76],"how":[77],"FSR":[78],"can":[79],"detect":[80],"problems":[81],"in":[82],"an":[83],"AS's":[84],"iBGP":[85],"configuration,":[86],"prove":[87],"sufficient":[88],"conditions":[89],"BGP":[91],"safety,":[92],"empirically":[94],"evaluate":[95],"convergence":[96],"time.":[97]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2016-06-24T00:00:00"}