{"id":"https://openalex.org/W4413887437","doi":"https://doi.org/10.1109/tc.2025.3603712","title":"NetKG: Synthesizing Interpretable Network Router Configurations With Knowledge Graph","display_name":"NetKG: Synthesizing Interpretable Network Router Configurations With Knowledge Graph","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4413887437","doi":"https://doi.org/10.1109/tc.2025.3603712"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2025.3603712","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2025.3603712","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"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 Transactions on Computers","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/A5055733006","display_name":"Zhenbei Guo","orcid":"https://orcid.org/0000-0002-0599-5225"},"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":"Zhenbei Guo","raw_affiliation_strings":["Northeastern University, Shenyang, China"],"raw_orcid":"https://orcid.org/0000-0002-0599-5225","affiliations":[{"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":["Northeastern University, Shenyang, China"],"raw_orcid":"https://orcid.org/0000-0001-9782-0053","affiliations":[{"raw_affiliation_string":"Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101949155","display_name":"Peng Zhang","orcid":"https://orcid.org/0000-0001-7721-2675"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peng Zhang","raw_affiliation_strings":["MOE Key Laboratory for Intelligent Networks and Network Security, School of Computer Science and Technology, Xi’an Jiaotong University, Xi’an, China"],"raw_orcid":"https://orcid.org/0000-0001-7721-2675","affiliations":[{"raw_affiliation_string":"MOE Key Laboratory for Intelligent Networks and Network Security, School of Computer Science and Technology, Xi’an Jiaotong University, Xi’an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"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":["Northeastern University, Shenyang, China"],"raw_orcid":"https://orcid.org/0000-0003-2856-4716","affiliations":[{"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":["Hong Kong Polytechnic University, Hong Kong, China","Hong Kong Polytechnic University, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-2725-2529","affiliations":[{"raw_affiliation_string":"Hong Kong Polytechnic University, Hong Kong, China","institution_ids":["https://openalex.org/I14243506"]},{"raw_affiliation_string":"Hong Kong Polytechnic University, Hong Kong","institution_ids":["https://openalex.org/I14243506"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":0.5872,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.72140144,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"74","issue":"11","first_page":"3722","last_page":"3735"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9828000068664551,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9828000068664551,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.9778000116348267,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9713000059127808,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6921730041503906},{"id":"https://openalex.org/keywords/router","display_name":"Router","score":0.6104902029037476},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.42382875084877014},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35053905844688416},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.31769663095474243},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.2975435256958008}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6921730041503906},{"id":"https://openalex.org/C2775896111","wikidata":"https://www.wikidata.org/wiki/Q642560","display_name":"Router","level":2,"score":0.6104902029037476},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.42382875084877014},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35053905844688416},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31769663095474243},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2975435256958008}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.2025.3603712","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2025.3603712","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"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 Transactions on Computers","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W2115526539","https://openalex.org/W2118404561","https://openalex.org/W2485543941","https://openalex.org/W2488197787","https://openalex.org/W2552298303","https://openalex.org/W2561068234","https://openalex.org/W2742515467","https://openalex.org/W2762286066","https://openalex.org/W2910041147","https://openalex.org/W2962858109","https://openalex.org/W2968168257","https://openalex.org/W3033892090","https://openalex.org/W3108015722","https://openalex.org/W3187890719","https://openalex.org/W3190656508","https://openalex.org/W4251246057","https://openalex.org/W4388629193","https://openalex.org/W4399629579","https://openalex.org/W4401327356"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2122026593","https://openalex.org/W2582203024","https://openalex.org/W1588358165","https://openalex.org/W4237683758","https://openalex.org/W2370711413","https://openalex.org/W2052038519","https://openalex.org/W2375932043"],"abstract_inverted_index":{"Advanced":[0],"router":[1],"configuration":[2,57,73,78,98,117,122,154],"synthesizers":[3],"aim":[4],"to":[5,92,134,179],"prevent":[6],"network":[7,85,176],"outages":[8],"by":[9],"automatically":[10,34,138],"synthesizing":[11],"configurations":[12,28,36,141,170],"that":[13,90,130,167],"implement":[14],"routing":[15,40],"protocols.":[16],"However,":[17],"the":[18,33,45,66,72,96,110,114,121,151,187],"lack":[19],"of":[20,48],"interpretability":[21],"makes":[22],"operators":[23],"uncertain":[24],"about":[25],"how":[26],"low-level":[27],"are":[29],"synthesized":[30],"and":[31,105,113,118,127,137,146,155],"whether":[32],"generated":[35],"correctly":[37],"align":[38],"with":[39,177],"intents.":[41],"This":[42],"limitation":[43],"restricts":[44],"practical":[46],"deployment":[47],"synthesizers.In":[49],"this":[50,101],"paper,":[51],"we":[52],"present":[53],"NetKG,":[54],"an":[55],"interpretable":[56],"synthesis":[58,74,111],"tool.(i)":[59],"NetKG":[60,83,108,131,168],"leverages":[61],"a":[62,77,161,175],"knowledge":[63,79,103,123],"graph":[64],"as":[65,76,87],"intermediate":[67],"representation":[68],"for":[69,142,174],"configurations,":[70],"reformulating":[71],"problem":[75],"completion":[80],"task;":[81],"(ii)":[82],"regards":[84],"intents":[86],"query":[88],"tasks":[89],"need":[91],"be":[93],"satisfied":[94],"in":[95,125,171],"current":[97],"space,":[99],"achieving":[100],"through":[102,120,160],"reasoning":[104,126],"completion;":[106],"(iii)":[107],"explains":[109],"process":[112],"consistency":[115,152],"between":[116,153],"intent":[119,156],"involved":[124],"completion.We":[128],"show":[129],"can":[132,149],"scale":[133],"realistic":[135],"networks":[136],"synthesize":[139],"intent-compliant":[140],"static":[143],"routes,":[144],"OSPF,":[145],"BGP.":[147],"It":[148],"explain":[150],"at":[157],"different":[158],"granularities":[159],"visual":[162],"interface.":[163],"Experimental":[164],"results":[165],"indicate":[166],"synthesizes":[169],"2":[172],"minutes":[173],"up":[178],"197":[180],"routers,":[181],"which":[182],"is":[183],"7.37x":[184],"faster":[185],"than":[186],"SMT-based":[188],"synthesizer.":[189]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}