{"id":"https://openalex.org/W4404239633","doi":"https://doi.org/10.1145/3696348.3696888","title":"Localized Explanations for Automatically Synthesized Network Configurations","display_name":"Localized Explanations for Automatically Synthesized Network Configurations","publication_year":2024,"publication_date":"2024-11-11","ids":{"openalex":"https://openalex.org/W4404239633","doi":"https://doi.org/10.1145/3696348.3696888"},"language":"en","primary_location":{"id":"doi:10.1145/3696348.3696888","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3696348.3696888","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3696348.3696888","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101891067","display_name":"Amirmohammad Nazari","orcid":"https://orcid.org/0009-0000-5675-247X"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Amirmohammad Nazari","raw_affiliation_strings":["University of Southern California, Los Angeles, California, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, California, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067208562","display_name":"Y.R. Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongzheng Zhang","raw_affiliation_strings":["ShanghaiTech University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"ShanghaiTech University, Shanghai, China","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024988696","display_name":"Mukund Raghothaman","orcid":"https://orcid.org/0000-0003-2879-0932"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mukund Raghothaman","raw_affiliation_strings":["University of Southern California, Los Angeles, California, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, California, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001082353","display_name":"Haoxian Chen","orcid":"https://orcid.org/0000-0002-8574-2120"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haoxian Chen","raw_affiliation_strings":["ShanghaiTech University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"ShanghaiTech University, Shanghai, China","institution_ids":["https://openalex.org/I30809798"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101891067"],"corresponding_institution_ids":["https://openalex.org/I1174212"],"apc_list":null,"apc_paid":null,"fwci":0.698,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.73447716,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"52","last_page":"59"},"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.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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9980000257492065,"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/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.6696802973747253}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6696802973747253}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3696348.3696888","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3696348.3696888","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3696348.3696888","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3696348.3696888","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W146475325","https://openalex.org/W2112582917","https://openalex.org/W2170646878","https://openalex.org/W2294152467","https://openalex.org/W2488197787","https://openalex.org/W2491693446","https://openalex.org/W2552298303","https://openalex.org/W2725434906","https://openalex.org/W2742515467","https://openalex.org/W3005038143","https://openalex.org/W3046445220","https://openalex.org/W3101248335","https://openalex.org/W3108015722","https://openalex.org/W3162444510","https://openalex.org/W4283705032","https://openalex.org/W4290991530","https://openalex.org/W4323033814","https://openalex.org/W4386385142","https://openalex.org/W4386385177","https://openalex.org/W4387667071","https://openalex.org/W4388629193"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Network":[0],"synthesis":[1,28],"simplifies":[2],"network":[3,16,55,83,90],"management":[4],"by":[5,101],"automatically":[6],"generating":[7],"distributed":[8],"configurations":[9,38,61],"that":[10],"fulfill":[11],"high-level":[12],"intents.":[13,42,110],"However,":[14],"typical":[15],"synthesizers":[17,100],"operate":[18],"as":[19,49],"monolithic":[20],"algorithms,":[21],"obscuring":[22],"the":[23,27,36,40,44,59,82,87,97,107],"internal":[24],"workings":[25,98],"of":[26,47,89,99],"process":[29],"and":[30,39],"showing":[31],"no":[32],"clear":[33],"connection":[34],"between":[35],"generated":[37],"global":[41,108],"Given":[43],"critical":[45],"role":[46],"networks":[48],"infrastructure,":[50],"it":[51],"is":[52],"crucial":[53],"for":[54],"operators":[56],"to":[57,62,78,85],"understand":[58],"synthesized":[60],"establish":[63],"trust":[64],"in":[65,81],"these":[66],"automatic":[67],"tools.":[68],"To":[69],"address":[70],"this":[71],"challenge,":[72],"we":[73],"propose":[74],"using":[75],"subspecifications":[76,93],"localized":[77],"each":[79,103],"component":[80],"topology":[84],"enhance":[86],"interpretability":[88],"synthesis.":[91],"These":[92],"provide":[94],"insights":[95],"into":[96],"connecting":[102],"component's":[104],"functionalities":[105],"with":[106],"configuration":[109]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}