{"id":"https://openalex.org/W4411449889","doi":"https://doi.org/10.1145/3715751","title":"HornBro: Homotopy-Like Method for Automated Quantum Program Repair","display_name":"HornBro: Homotopy-Like Method for Automated Quantum Program Repair","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411449889","doi":"https://doi.org/10.1145/3715751"},"language":"en","primary_location":{"id":"doi:10.1145/3715751","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715751","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3715751","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078394037","display_name":"Siwei Tan","orcid":"https://orcid.org/0000-0002-0634-8089"},"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":true,"raw_author_name":"Siwei Tan","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072265593","display_name":"Liqiang Lu","orcid":"https://orcid.org/0000-0002-3801-6847"},"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":"Liqiang Lu","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095879542","display_name":"Debin Xiang","orcid":"https://orcid.org/0009-0004-5333-6955"},"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":"Debin Xiang","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013562321","display_name":"T.S. Chu","orcid":null},"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":"Tianyao Chu","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113066275","display_name":"Congliang Lang","orcid":null},"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":"Congliang Lang","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112390181","display_name":"Jintao Chen","orcid":"https://orcid.org/0009-0004-8045-6119"},"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":"Jintao Chen","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047688641","display_name":"Xing Hu","orcid":"https://orcid.org/0000-0003-0093-3292"},"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":"Xing Hu","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082125681","display_name":"Jianwei Yin","orcid":"https://orcid.org/0000-0002-1441-1412"},"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":"Jianwei Yin","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5078394037"],"corresponding_institution_ids":["https://openalex.org/I76130692"],"apc_list":null,"apc_paid":null,"fwci":2.4958,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.90162996,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"2","issue":"FSE","first_page":"734","last_page":"756"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998000264167786,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9819999933242798,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9704999923706055,"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.7704612612724304},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5251022577285767},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5040510892868042},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.46439865231513977},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4377995729446411},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.414201945066452}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7704612612724304},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5251022577285767},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5040510892868042},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.46439865231513977},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4377995729446411},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.414201945066452},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3715751","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715751","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3715751","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715751","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":67,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1952430466","https://openalex.org/W2009169733","https://openalex.org/W2010265317","https://openalex.org/W2044357043","https://openalex.org/W2072181151","https://openalex.org/W2084652510","https://openalex.org/W2104590612","https://openalex.org/W2161685427","https://openalex.org/W2302430074","https://openalex.org/W2790668893","https://openalex.org/W2867448323","https://openalex.org/W2884314262","https://openalex.org/W2898887472","https://openalex.org/W2903058119","https://openalex.org/W2906538035","https://openalex.org/W2929853032","https://openalex.org/W2941565563","https://openalex.org/W2950018366","https://openalex.org/W2955434816","https://openalex.org/W3004467008","https://openalex.org/W3010243192","https://openalex.org/W3011543520","https://openalex.org/W3012928806","https://openalex.org/W3025214758","https://openalex.org/W3088977116","https://openalex.org/W3091097332","https://openalex.org/W3099200606","https://openalex.org/W3100894865","https://openalex.org/W3102773744","https://openalex.org/W3105859973","https://openalex.org/W3109961245","https://openalex.org/W3125649441","https://openalex.org/W3155100939","https://openalex.org/W3157675278","https://openalex.org/W3179419443","https://openalex.org/W3185543386","https://openalex.org/W3189159569","https://openalex.org/W3194802243","https://openalex.org/W3205136173","https://openalex.org/W3209612530","https://openalex.org/W4205868343","https://openalex.org/W4220747861","https://openalex.org/W4224903456","https://openalex.org/W4225409672","https://openalex.org/W4255632703","https://openalex.org/W4285337083","https://openalex.org/W4285805563","https://openalex.org/W4286530559","https://openalex.org/W4289606390","https://openalex.org/W4293484738","https://openalex.org/W4379536095","https://openalex.org/W4384024815","https://openalex.org/W4384302762","https://openalex.org/W4384304851","https://openalex.org/W4389158536","https://openalex.org/W4389161628","https://openalex.org/W4391558413","https://openalex.org/W4391558459","https://openalex.org/W4391579668","https://openalex.org/W4395106441","https://openalex.org/W4396826966","https://openalex.org/W4396944746","https://openalex.org/W4400582613","https://openalex.org/W4400583090","https://openalex.org/W4401365370","https://openalex.org/W6893132087"],"related_works":["https://openalex.org/W2409877639","https://openalex.org/W4388704119","https://openalex.org/W2910123824","https://openalex.org/W4213379151","https://openalex.org/W3206120658","https://openalex.org/W1889203613","https://openalex.org/W2035510778","https://openalex.org/W2766195849","https://openalex.org/W4281550036","https://openalex.org/W2181040799"],"abstract_inverted_index":{"Quantum":[0],"programs":[1,8,22,30,156],"provide":[2],"exponential":[3],"speedups":[4],"compared":[5,234],"to":[6,32,106,110,131,141,157,190,211,235],"classical":[7,29,96],"in":[9,62,87,251],"certain":[10],"areas,":[11],"but":[12],"they":[13],"also":[14,247],"inevitably":[15],"encounter":[16],"logical":[17],"faults.":[18],"Automatically":[19],"repairing":[20,28,63],"quantum":[21,78,98,136,144,155,212,219,244],"is":[23],"much":[24],"more":[25,231,241],"challenging":[26],"than":[27,232],"due":[31],"the":[33,37,45,88,95,103,111,120,151,171,192,204,216,226,236,252,259],"non-replicability":[34],"of":[35,41,84,135,154,166,175,208,218,243,258],"data,":[36],"vast":[38],"search":[39,189],"space":[40],"program":[42,56,79,137,195],"inputs,":[43],"and":[44,65,97,254],"new":[46],"programming":[47],"paradigm.":[48],"Existing":[49],"works":[50],"based":[51],"on":[52],"semantic-based":[53],"or":[54],"learning-based":[55],"repair":[57,104,207,227,238,253],"techniques":[58],"are":[59],"fundamentally":[60],"limited":[61],"efficiency":[64],"effectiveness.":[66],"In":[67],"this":[68],"work,":[69],"we":[70,180,202],"propose":[71],"HornBro,":[72],"an":[73,127,187],"efficient":[74],"framework":[75],"for":[76],"automated":[77],"repair.":[80],"The":[81],"key":[82],"insight":[83],"HornBro":[85,224],"lies":[86],"homotopy-like":[89],"method,":[90],"which":[91,139],"iteratively":[92],"switches":[93],"between":[94],"parts.":[99],"This":[100,148],"approach":[101],"allows":[102,170],"tasks":[105],"be":[107],"efficiently":[108],"offloaded":[109],"most":[112],"suitable":[113],"platforms,":[114],"enabling":[115],"a":[116,143,163,182,197],"progressive":[117],"convergence":[118],"toward":[119],"correct":[121],"program.":[122],"We":[123],"start":[124],"by":[125,214,230],"designing":[126],"implication":[128],"assertion":[129],"pragma":[130],"enable":[132],"rigorous":[133],"specifications":[134],"behavior,":[138],"helps":[140],"generate":[142],"test":[145,167],"suite":[146,149],"automatically.":[147],"leverages":[150],"orthonormal":[152],"bases":[153],"accommodate":[158],"different":[159],"encoding":[160],"schemes.":[161],"Given":[162],"fixed":[164],"number":[165],"cases,":[168],"it":[169],"maximum":[172],"input":[173],"coverage":[174],"potential":[176],"counter-example":[177],"candidates.":[178],"Then,":[179],"develop":[181],"Clifford":[183],"approximation":[184],"method":[185],"with":[186],"SMT-based":[188],"transform":[191],"patch":[193],"localization":[194],"into":[196],"symbolic":[198],"reasoning":[199],"problem.":[200],"Finally,":[201],"offload":[203],"computationally":[205],"intensive":[206],"gate":[209,256],"parameters":[210],"hardware":[213],"leveraging":[215],"differentiability":[217],"gates.":[220],"Experiments":[221],"suggest":[222],"that":[223],"increases":[225],"success":[228],"rate":[229],"62.5%":[233],"existing":[237],"techniques,":[239],"supporting":[240],"types":[242],"bugs.":[245],"It":[246],"achieves":[248],"35.7\u00d7":[249],"speedup":[250],"99.9%":[255],"reduction":[257],"patch.":[260]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-28T08:17:26.163206","created_date":"2025-10-10T00:00:00"}