{"id":"https://openalex.org/W4406753975","doi":"https://doi.org/10.1109/jsac.2025.3528808","title":"AutoSRv6: Configuration Synthesis for Segment Routing Over IPv6","display_name":"AutoSRv6: Configuration Synthesis for Segment Routing Over IPv6","publication_year":2025,"publication_date":"2025-01-23","ids":{"openalex":"https://openalex.org/W4406753975","doi":"https://doi.org/10.1109/jsac.2025.3528808"},"language":"en","primary_location":{"id":"doi:10.1109/jsac.2025.3528808","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsac.2025.3528808","pdf_url":null,"source":{"id":"https://openalex.org/S90422530","display_name":"IEEE Journal on Selected Areas in Communications","issn_l":"0733-8716","issn":["0733-8716","1558-0008"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Journal on Selected Areas in Communications","raw_type":"journal-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/A5101683479","display_name":"Bocheng Liang","orcid":"https://orcid.org/0000-0003-3101-4555"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bocheng Liang","raw_affiliation_strings":["Department of Computer Science and Engineering, Northeastern University, Shenyang, China","Northeastern University, Shenyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]},{"raw_affiliation_string":"Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083598234","display_name":"Fuliang Li","orcid":"https://orcid.org/0000-0001-9782-0053"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fuliang Li","raw_affiliation_strings":["Department of Computer Science and Engineering, Northeastern University, Shenyang, China","Northeastern University, Shenyang, China"],"raw_orcid":"https://orcid.org/0000-0001-9782-0053","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]},{"raw_affiliation_string":"Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011672757","display_name":"Naigong Zheng","orcid":null},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Naigong Zheng","raw_affiliation_strings":["Department of Computer Science and Engineering, Northeastern University, Shenyang, China","Northeastern University, Shenyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]},{"raw_affiliation_string":"Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100326915","display_name":"Xingwei Wang","orcid":"https://orcid.org/0000-0003-2856-4716"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingwei Wang","raw_affiliation_strings":["Department of Computer Science and Engineering, Northeastern University, Shenyang, China","Northeastern University, Shenyang, China"],"raw_orcid":"https://orcid.org/0000-0003-2856-4716","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]},{"raw_affiliation_string":"Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100740023","display_name":"Jiannong Cao","orcid":"https://orcid.org/0000-0002-2725-2529"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Jiannong Cao","raw_affiliation_strings":["Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong","The Hong Kong Polytechnic University, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-2725-2529","affiliations":[{"raw_affiliation_string":"Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I14243506"]},{"raw_affiliation_string":"The Hong Kong Polytechnic University, Hong Kong, China","institution_ids":["https://openalex.org/I14243506"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":1.7196,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.82660856,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"43","issue":"2","first_page":"473","last_page":"483"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.9556999802589417,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.9556999802589417,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8333836793899536},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.5604819655418396},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5424550175666809},{"id":"https://openalex.org/keywords/ipv6","display_name":"IPv6","score":0.4206942021846771},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.4116246998310089},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36888715624809265},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.3158056139945984},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.1966094672679901},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.11610999703407288}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8333836793899536},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.5604819655418396},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5424550175666809},{"id":"https://openalex.org/C84555802","wikidata":"https://www.wikidata.org/wiki/Q2551624","display_name":"IPv6","level":3,"score":0.4206942021846771},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.4116246998310089},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36888715624809265},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.3158056139945984},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.1966094672679901},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.11610999703407288}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/jsac.2025.3528808","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsac.2025.3528808","pdf_url":null,"source":{"id":"https://openalex.org/S90422530","display_name":"IEEE Journal on Selected Areas in Communications","issn_l":"0733-8716","issn":["0733-8716","1558-0008"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Journal on Selected Areas in Communications","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1671140559","display_name":null,"funder_award_id":"92267206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2390495701","display_name":"\u57fa\u4e8e\u610f\u56fe\u7684\u7f51\u7edc\u914d\u7f6e\u7efc\u5408\u7cfb\u7edf\u5173\u952e\u6280\u672f\u7814\u7a76","funder_award_id":"62072091","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2551476765","display_name":null,"funder_award_id":"62032013","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6760061280","display_name":null,"funder_award_id":"U22B2005","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1936354298","https://openalex.org/W2015177237","https://openalex.org/W2021234005","https://openalex.org/W2067738619","https://openalex.org/W2118404561","https://openalex.org/W2132022337","https://openalex.org/W2136930733","https://openalex.org/W2186094394","https://openalex.org/W2488197787","https://openalex.org/W2552298303","https://openalex.org/W2725434906","https://openalex.org/W3012605227","https://openalex.org/W3216987180","https://openalex.org/W4214634120","https://openalex.org/W4233126987","https://openalex.org/W4234222550","https://openalex.org/W4247540870","https://openalex.org/W4319430366","https://openalex.org/W4319867088","https://openalex.org/W4391088286"],"related_works":["https://openalex.org/W2033347526","https://openalex.org/W2588358127","https://openalex.org/W2154478511","https://openalex.org/W4234451713","https://openalex.org/W2521264178","https://openalex.org/W3037906321","https://openalex.org/W2061699822","https://openalex.org/W3099995967","https://openalex.org/W2563040182","https://openalex.org/W4327926374"],"abstract_inverted_index":{"Segment":[0],"Routing":[1],"over":[2],"IPv6":[3],"(SRv6)":[4],"is":[5,44,188,201],"an":[6,57],"innovative":[7],"and":[8,35,63,75,103,110,117,155,194],"adaptable":[9],"source":[10],"routing":[11],"technique":[12],"that":[13,121,172],"enhances":[14],"interconnection":[15],"services.":[16],"It":[17],"plays":[18],"a":[19,86,129,143,151],"pivotal":[20],"role":[21],"in":[22,53],"next-generation":[23],"networking":[24],"technologies,":[25],"providing":[26],"crucial":[27],"support":[28],"for":[29,93],"network":[30,59,101,124,160,167,177],"telemetry,":[31],"computing":[32],"power":[33],"networks,":[34],"related":[36],"technologies.":[37],"The":[38,169],"end-to-end":[39,140],"connectivity":[40],"capability":[41],"of":[42,71,100,153,185,197],"SRv6":[43,58,91],"highly":[45],"regarded":[46],"by":[47,136,203],"ISPs,":[48],"driving":[49],"its":[50,163],"widespread":[51],"deployment":[52],"networks.":[54],"However,":[55],"configuring":[56],"can":[60,174],"be":[61],"challenging":[62],"prone":[64],"to":[65,68,89,113,131,142],"errors":[66],"due":[67],"the":[69,133,139,176,180,182,191,195,198],"complexity":[70],"low-level":[72],"configuration":[73,119,178],"languages":[74],"numerous":[76],"protocol":[77,115],"parameters.":[78],"To":[79],"address":[80],"this":[81],"issue,":[82],"we":[83],"present":[84],"AutoSRv6,":[85],"system":[87],"designed":[88],"synthesize":[90],"configurations":[92],"large,":[94],"evolving":[95],"networks":[96],"using":[97],"high-level":[98],"abstractions":[99],"topology":[102],"policies.":[104,125,168],"AutoSRv6":[105,127,154],"leverages":[106],"formal":[107],"constraint-solving":[108],"techniques":[109],"SMT":[111],"solvers":[112],"compute":[114],"parameters":[116],"generate":[118,175],"files":[120],"align":[122],"with":[123,165],"Furthermore,":[126],"incorporates":[128],"mechanism":[130],"overcome":[132],"constraints":[134],"imposed":[135],"hardware,":[137],"mapping":[138],"path":[141],"SID":[144],"(Segment":[145],"Identifier)":[146],"sequence.":[147],"We":[148],"have":[149],"developed":[150],"prototype":[152],"conducted":[156],"experiments":[157],"on":[158],"diverse":[159],"topologies,":[161],"evaluating":[162],"performance":[164],"various":[166],"results":[170],"show":[171],"autoSRv6":[173],"satisfying":[179],"policy,":[181],"time":[183],"cost":[184],"IGP":[186],"synthesis":[187],"better":[189],"than":[190,205],"existing":[192],"method,":[193],"length":[196],"segment":[199],"list":[200],"optimized":[202],"more":[204],"2":[206],"times.":[207]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":3}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}