{"id":"https://openalex.org/W4414170318","doi":"https://doi.org/10.1109/iwqos65803.2025.11143513","title":"Polyx: Accelerating Verification of Traffic Migration in Large-Scale BGP Networks","display_name":"Polyx: Accelerating Verification of Traffic Migration in Large-Scale BGP Networks","publication_year":2025,"publication_date":"2025-07-02","ids":{"openalex":"https://openalex.org/W4414170318","doi":"https://doi.org/10.1109/iwqos65803.2025.11143513"},"language":"en","primary_location":{"id":"doi:10.1109/iwqos65803.2025.11143513","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwqos65803.2025.11143513","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM 33rd International Symposium on Quality of Service (IWQoS)","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/A5076402300","display_name":"Rongbang Wu","orcid":"https://orcid.org/0009-0007-3526-6350"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Rongbang Wu","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University,China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University,China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030891963","display_name":"Longlong Zhu","orcid":"https://orcid.org/0000-0001-6128-3065"},"institutions":[{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Longlong Zhu","raw_affiliation_strings":["College of Computer Science and Technology, Zhejiang University,China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University,China","institution_ids":["https://openalex.org/I168879160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052798964","display_name":"Jiashuo Yu","orcid":"https://orcid.org/0000-0002-3094-6687"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiashuo Yu","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University,China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University,China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101618925","display_name":"Dong Zhang","orcid":"https://orcid.org/0000-0001-6136-2775"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dong Zhang","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University,China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University,China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040307358","display_name":"Hongyan Liu","orcid":"https://orcid.org/0000-0001-7753-0294"},"institutions":[{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongyan Liu","raw_affiliation_strings":["College of Computer Science and Technology, Zhejiang University,China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University,China","institution_ids":["https://openalex.org/I168879160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101722154","display_name":"Chuan Lin","orcid":"https://orcid.org/0000-0003-1779-1753"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chuan Lin","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University,China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University,China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100351928","display_name":"Zhihong Lin","orcid":"https://orcid.org/0000-0003-2007-8983"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zongye Lin","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University,China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University,China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021554615","display_name":"Junjie Lin","orcid":"https://orcid.org/0000-0001-7741-869X"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junjie Lin","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University,China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University,China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028795724","display_name":"Lida Liao","orcid":null},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lida Liao","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University,China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University,China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011791240","display_name":"Xiang Chen","orcid":"https://orcid.org/0000-0002-0249-9664"},"institutions":[{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Chen","raw_affiliation_strings":["College of Computer Science and Technology, Zhejiang University,China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University,China","institution_ids":["https://openalex.org/I168879160"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078198240","display_name":"Chunming Wu","orcid":"https://orcid.org/0000-0001-7958-9687"},"institutions":[{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunming Wu","raw_affiliation_strings":["College of Computer Science and Technology, Zhejiang University,China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University,China","institution_ids":["https://openalex.org/I168879160"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":11,"corresponding_author_ids":["https://openalex.org/A5076402300"],"corresponding_institution_ids":["https://openalex.org/I80947539"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.27448189,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10138","display_name":"Network Traffic and Congestion Control","score":0.9937000274658203,"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/T10138","display_name":"Network Traffic and Congestion Control","score":0.9937000274658203,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9932000041007996,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.977400004863739,"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/serialization","display_name":"Serialization","score":0.743399977684021},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7046999931335449},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5656999945640564},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.43970000743865967},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4189000129699707},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4133000075817108},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.3774000108242035}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8195000290870667},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.743399977684021},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7046999931335449},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5656999945640564},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5277000069618225},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.43970000743865967},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4189000129699707},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.41780000925064087},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4133000075817108},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.3774000108242035},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.34869998693466187},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.30820000171661377},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.28299999237060547},{"id":"https://openalex.org/C65714651","wikidata":"https://www.wikidata.org/wiki/Q1662626","display_name":"Multihoming","level":4,"score":0.27900001406669617},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.27070000767707825},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.2628999948501587},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2583000063896179},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.25609999895095825}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iwqos65803.2025.11143513","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwqos65803.2025.11143513","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM 33rd International Symposium on Quality of Service (IWQoS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8569679628","display_name":null,"funder_award_id":"2023YFB2904000","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1979081194","https://openalex.org/W4210258659","https://openalex.org/W4386385177","https://openalex.org/W4400920428","https://openalex.org/W4401176476"],"related_works":[],"abstract_inverted_index":{"In":[0,28],"BGP":[1,44],"networks,":[2],"traffic":[3,40],"migration":[4,41],"verification":[5,38,97],"ensures":[6],"the":[7,12,66],"scalability":[8,23],"and":[9,24,69,93],"reliability":[10],"of":[11,39],"network":[13],"during":[14],"configuration":[15],"changes.":[16],"However,":[17],"previous":[18],"approaches":[19],"suffer":[20],"from":[21],"low":[22],"high":[25],"computational":[26],"overhead.":[27],"this":[29],"poster,":[30],"we":[31],"propose":[32],"Polyx,":[33],"a":[34,55],"framework":[35],"for":[36],"accelerating":[37],"in":[42,89,95],"large-scale":[43],"networks.":[45],"Its":[46],"key":[47],"idea":[48],"is":[49],"to":[50,59,84],"leverage":[51],"hardware":[52],"parallelism":[53],"with":[54,98],"deterministic":[56],"serialization":[57],"algorithm":[58],"enhance":[60],"state":[61,90],"machine":[62,91],"techniques.":[63],"We":[64],"implement":[65],"Polyx":[67,81],"prototype":[68],"evaluate":[70],"it":[71],"on":[72],"our":[73],"built":[74],"testbed.":[75],"The":[76],"experimental":[77],"results":[78],"demonstrate":[79],"that":[80],"achieves":[82],"up":[83],"46\u00d7":[85],"overall":[86],"speedup,":[87],"36\u00d7":[88],"construction,":[92],"131\u00d7":[94],"equivalence":[96],"minimal":[99],"FPGA":[100],"resource":[101],"usage.":[102]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}