{"id":"https://openalex.org/W7162123183","doi":"https://doi.org/10.48550/arxiv.2605.22092","title":"Astragalus: Automatic Configuration Repair for Production Networks","display_name":"Astragalus: Automatic Configuration Repair for Production Networks","publication_year":2026,"publication_date":"2026-05-21","ids":{"openalex":"https://openalex.org/W7162123183","doi":"https://doi.org/10.48550/arxiv.2605.22092"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.22092","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.22092","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.22092","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136777791","display_name":"Zhenrong Gu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gu, Zhenrong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136807910","display_name":"Peng Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Peng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136793105","display_name":"Xing Feng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feng, Xing","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136733847","display_name":"Xu Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Xu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.7146000266075134,"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.7146000266075134,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.08110000193119049,"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/T10260","display_name":"Software Engineering Research","score":0.039799999445676804,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/pipeline","display_name":"Pipeline (software)","score":0.6657999753952026},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5752000212669373},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5424000024795532},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4652999937534332},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4465999901294708},{"id":"https://openalex.org/keywords/production","display_name":"Production (economics)","score":0.40700000524520874},{"id":"https://openalex.org/keywords/maintenance-engineering","display_name":"Maintenance engineering","score":0.38929998874664307}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7592999935150146},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.6657999753952026},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5752000212669373},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5424000024795532},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4652999937534332},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4465999901294708},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.40700000524520874},{"id":"https://openalex.org/C23725684","wikidata":"https://www.wikidata.org/wiki/Q616377","display_name":"Maintenance engineering","level":2,"score":0.38929998874664307},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.35109999775886536},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32659998536109924},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.31769999861717224},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.30070000886917114},{"id":"https://openalex.org/C78873551","wikidata":"https://www.wikidata.org/wiki/Q5160111","display_name":"Configuration Management (ITSM)","level":2,"score":0.2987000048160553},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.29429998993873596},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.28540000319480896},{"id":"https://openalex.org/C175309249","wikidata":"https://www.wikidata.org/wiki/Q725864","display_name":"Pipeline transport","level":2,"score":0.2718999981880188},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2702000141143799},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2554999887943268},{"id":"https://openalex.org/C104122410","wikidata":"https://www.wikidata.org/wiki/Q1416406","display_name":"Network model","level":2,"score":0.2542000114917755},{"id":"https://openalex.org/C129119673","wikidata":"https://www.wikidata.org/wiki/Q4418003","display_name":"Network element","level":2,"score":0.2529999911785126}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.22092","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.22092","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.22092","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.22092","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Network":[0],"configurations":[1,141],"are":[2],"prone":[3],"to":[4,9,57,132],"errors,":[5],"which":[6,93],"can":[7,16,68,151],"lead":[8],"catastrophic":[10],"service":[11],"outages.":[12],"A":[13],"tool":[14],"that":[15,149],"achieve":[17],"automatic":[18,81],"configuration":[19],"repair":[20,83,152],"(ACR)":[21],"is":[22],"highly":[23],"desired":[24],"by":[25,80],"operators.":[26],"Existing":[27],"tools":[28,74],"for":[29,48,122,134,195],"ACR":[30],"follow":[31],"a":[32,40,49,90,119,129,159,168,204],"\\textit{semantics-driven":[33],"approach}:":[34],"they":[35],"model":[36],"network":[37,198,207],"semantics":[38,60],"as":[39],"set":[41],"of":[42,53,61,128,142,158,164,175,182],"SMT":[43],"constraints,":[44],"and":[45,64,95,136,162],"solve":[46],"them":[47],"location":[50],"or":[51,200],"fix":[52],"the":[54,58,110,165],"error.":[55],"Due":[56],"complex":[59],"networks,":[62],"constructing":[63],"solving":[65],"these":[66,73],"constraints":[67],"be":[69],"prohibitively":[70],"expensive,":[71],"making":[72],"neither":[75],"general":[76],"nor":[77],"scalable.":[78],"Inspired":[79],"program":[82,102],"(APR),":[84],"we":[85,116,147],"explore":[86],"another":[87],"direction,":[88,115],"i.e.,":[89],"\\textit{syntax-driven":[91],"approach},":[92],"generates":[94],"validates":[96],"syntactically-valid":[97],"candidate":[98],"updates":[99],"without":[100],"modeling":[101],"semantics,":[103],"often":[104],"drawing":[105],"on":[106,140,167],"existing":[107],"code":[108],"in":[109,155,191,203],"same":[111],"repository.":[112],"Following":[113],"this":[114],"propose":[117],"Astragalus,":[118],"syntax-driven":[120],"method":[121],"ACR.":[123],"It":[124,185],"uses":[125],"multiple":[126,156],"iterations":[127],"\"localize-fix-validate\"":[130],"pipeline":[131],"search":[133],"repairs,":[135],"proves":[137],"quite":[138],"effective":[139],"our":[143],"production":[144,206],"network.":[145],"Specifically,":[146],"show":[148],"Astragalus":[150],"every":[153],"incident":[154],"sizes":[157],"synthesized":[160],"network,":[161,170],"97.5%":[163],"incidents":[166,199],"real":[169,205],"both":[171],"with":[172,208],"15":[173],"types":[174],"errors":[176],"injected,":[177],"within":[178],"an":[179],"average":[180],"time":[181],"6.93":[183],"seconds.":[184],"has":[186],"also":[187],"provided":[188],"valid":[189],"repairs":[190],"under":[192],"6":[193],"minutes":[194],"7":[196],"recent":[197],"undesired":[201],"changes,":[202],"O(1,000)~O(10,000)":[209],"devices.":[210]},"counts_by_year":[],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2026-05-23T00:00:00"}