{"id":"https://openalex.org/W4403536606","doi":"https://doi.org/10.1145/3691620.3695268","title":"DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving","display_name":"DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving","publication_year":2024,"publication_date":"2024-10-18","ids":{"openalex":"https://openalex.org/W4403536606","doi":"https://doi.org/10.1145/3691620.3695268"},"language":"en","primary_location":{"id":"doi:10.1145/3691620.3695268","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3691620.3695268","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","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/A5112050127","display_name":"Haoyu Liao","orcid":"https://orcid.org/0009-0004-1611-5360"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Haoyu Liao","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008649715","display_name":"Jianmei Guo","orcid":"https://orcid.org/0000-0001-5787-6781"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianmei Guo","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091173322","display_name":"Bo Huang","orcid":"https://orcid.org/0000-0001-5126-7192"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bo Huang","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112699915","display_name":"Han Yu-jie","orcid":"https://orcid.org/0000-0002-3253-5726"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yujie Han","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030881704","display_name":"Dingyu Yang","orcid":"https://orcid.org/0000-0002-8156-3926"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dingyu Yang","raw_affiliation_strings":["The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Zhejiang University, Zhejiang, China"],"affiliations":[{"raw_affiliation_string":"The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Zhejiang University, Zhejiang, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064559431","display_name":"Kai Shi","orcid":"https://orcid.org/0000-0002-0077-719X"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kai Shi","raw_affiliation_strings":["Alibaba Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Alibaba Group, Hangzhou, China","institution_ids":["https://openalex.org/I45928872"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109662912","display_name":"Jonathan Ding","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jonathan Ding","raw_affiliation_strings":["Intel, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Intel, Shanghai, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101732756","display_name":"Guoyao Xu","orcid":"https://orcid.org/0000-0002-1136-2678"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guoyao Xu","raw_affiliation_strings":["Alibaba Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Alibaba Group, Hangzhou, China","institution_ids":["https://openalex.org/I45928872"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073989304","display_name":"Guodong Yang","orcid":"https://orcid.org/0000-0003-1908-071X"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guodong Yang","raw_affiliation_strings":["Alibaba Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Alibaba Group, Hangzhou, China","institution_ids":["https://openalex.org/I45928872"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100426765","display_name":"Liping Zhang","orcid":"https://orcid.org/0000-0003-2334-3471"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liping Zhang","raw_affiliation_strings":["Alibaba Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Alibaba Group, Hangzhou, China","institution_ids":["https://openalex.org/I45928872"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5112050127"],"corresponding_institution_ids":["https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":0.349,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6231548,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"2053","last_page":"2064"},"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.9994000196456909,"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.9994000196456909,"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.9993000030517578,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.8601276874542236},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7265618443489075},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5817306041717529},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4962349534034729},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3827694058418274},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3449561595916748},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22150328755378723},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14675995707511902}],"concepts":[{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.8601276874542236},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7265618443489075},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5817306041717529},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4962349534034729},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3827694058418274},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3449561595916748},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22150328755378723},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14675995707511902},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3691620.3695268","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3691620.3695268","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8367853488","display_name":null,"funder_award_id":"62272167","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":51,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1546943373","https://openalex.org/W1949943063","https://openalex.org/W1975413145","https://openalex.org/W2016027000","https://openalex.org/W2041783719","https://openalex.org/W2066787289","https://openalex.org/W2076719273","https://openalex.org/W2081140921","https://openalex.org/W2083342911","https://openalex.org/W2102436656","https://openalex.org/W2137351629","https://openalex.org/W2141992894","https://openalex.org/W2145373440","https://openalex.org/W2165968477","https://openalex.org/W2167276683","https://openalex.org/W2335814492","https://openalex.org/W2512380954","https://openalex.org/W2556717355","https://openalex.org/W2572234696","https://openalex.org/W2740646481","https://openalex.org/W2798619410","https://openalex.org/W2892578092","https://openalex.org/W2912918068","https://openalex.org/W2926143647","https://openalex.org/W2962826822","https://openalex.org/W2963909831","https://openalex.org/W3097728505","https://openalex.org/W3142314132","https://openalex.org/W3156127671","https://openalex.org/W3173275515","https://openalex.org/W3181779015","https://openalex.org/W3207016455","https://openalex.org/W3209811848","https://openalex.org/W4230126391","https://openalex.org/W4241395538","https://openalex.org/W4308361824","https://openalex.org/W4312536876","https://openalex.org/W4315480688","https://openalex.org/W4316252404","https://openalex.org/W4360831826","https://openalex.org/W4383898387","https://openalex.org/W4384345691","https://openalex.org/W4384345702","https://openalex.org/W4388482966","https://openalex.org/W4389209048","https://openalex.org/W4390712964","https://openalex.org/W4391558399","https://openalex.org/W4393476622","https://openalex.org/W6655265461","https://openalex.org/W6661110980"],"related_works":["https://openalex.org/W2770234245","https://openalex.org/W96612179","https://openalex.org/W4229499248","https://openalex.org/W2566006169","https://openalex.org/W1567818861","https://openalex.org/W2987774938","https://openalex.org/W4256492088","https://openalex.org/W632915154","https://openalex.org/W2055733372","https://openalex.org/W3022067003"],"abstract_inverted_index":{"Software":[0],"deployment":[1,14,32,41,49,79,108,119,158,176],"misconfiguration":[2],"often":[3],"happens":[4],"and":[5,97,116,132,171],"has":[6],"been":[7],"one":[8],"of":[9,13,64,78,99,107,123,137,139,146,148,155,157,168],"the":[10,47,62,75,82,104,113,166,169,175],"major":[11],"causes":[12,106],"failures":[15,42,80,177],"that":[16,163],"give":[17],"rise":[18],"to":[19,29,60,81,93],"service":[20],"interruptions.":[21],"However,":[22],"there":[23],"is":[24],"currently":[25],"no":[26],"existing":[27],"approach":[28],"automatically":[30,38],"repairing":[31],"failures.":[33,109],"We":[34,126],"propose":[35],"DeployFix,":[36],"which":[37,102,144],"repairs":[39,174],"software":[40],"via":[43],"constraint":[44,91],"solving":[45],"in":[46,85,121,129,178,181],"dynamic-changing":[48],"environments.":[50],"DeployFix":[51,88,110,128,164],"first":[52],"defines":[53],"DeployIR":[54],"as":[55],"a":[56,182],"unified":[57],"intermediate":[58],"representation":[59],"achieve":[61,94],"translation":[63],"heterogeneous":[65],"specifications":[66],"from":[67],"different":[68,71],"schedulers":[69],"with":[70,135],"syntaxes.":[72],"By":[73],"reducing":[74],"root-cause":[76],"analysis":[77],"conflict":[83],"resolution":[84],"propositional":[86],"logic,":[87],"uses":[89],"off-the-shelf":[90],"solvers":[92],"automatic":[95],"localization":[96],"diagnosis":[98],"conflicting":[100,114],"constraints,":[101],"are":[103,150],"root":[105],"finally":[111],"resolves":[112],"constraints":[115],"generates":[117],"repaired":[118],"configurations":[120],"terms":[122],"practical":[124],"requirements.":[125],"evaluate":[127],"both":[130],"simulation":[131],"production":[133,184],"environments":[134],"tens":[136,145],"thousands":[138,147,156],"nodes":[140],"at":[141],"Alibaba,":[142],"on":[143],"applications":[149],"running":[151],"guided":[152],"by":[153],"hundreds":[154],"constraints.":[159],"Experimental":[160],"results":[161],"demonstrate":[162],"outperforms":[165],"state":[167],"art":[170],"it":[172],"correctly":[173],"minutes,":[179],"even":[180],"large":[183],"data":[185],"center.":[186]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}