{"id":"https://openalex.org/W4403223418","doi":"https://doi.org/10.1145/3689785","title":"Modular Synthesis of Efficient Quantum Uncomputation","display_name":"Modular Synthesis of Efficient Quantum Uncomputation","publication_year":2024,"publication_date":"2024-10-08","ids":{"openalex":"https://openalex.org/W4403223418","doi":"https://doi.org/10.1145/3689785"},"language":"en","primary_location":{"id":"doi:10.1145/3689785","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689785","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3689785","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"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 Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3689785","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5099380778","display_name":"Hristo Venev","orcid":null},"institutions":[{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG"],"is_corresponding":false,"raw_author_name":"Hristo Venev","raw_affiliation_strings":["Sofia University St. Kliment Ohridski, Sofia, Bulgaria"],"raw_orcid":"https://orcid.org/0009-0009-5394-4340","affiliations":[{"raw_affiliation_string":"Sofia University St. Kliment Ohridski, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045044745","display_name":"Timon Gehr","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Timon Gehr","raw_affiliation_strings":["ETH Zurich, Z\u00fcrich, Switzerland"],"raw_orcid":"https://orcid.org/0009-0000-7470-0489","affiliations":[{"raw_affiliation_string":"ETH Zurich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035216666","display_name":"Dimitar Dimitrov","orcid":"https://orcid.org/0000-0001-9393-0925"},"institutions":[{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG"],"is_corresponding":false,"raw_author_name":"Dimitar Dimitrov","raw_affiliation_strings":["Sofia University St. Kliment Ohridski, Sofia, Bulgaria"],"raw_orcid":"https://orcid.org/0000-0001-9393-0925","affiliations":[{"raw_affiliation_string":"Sofia University St. Kliment Ohridski, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069901599","display_name":"Martin Vechev","orcid":"https://orcid.org/0000-0002-0054-9568"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]},{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG","CH"],"is_corresponding":false,"raw_author_name":"Martin Vechev","raw_affiliation_strings":["ETH Zurich, Z\u00fcrich, Switzerland","Sofia University St. Kliment Ohridski, Sofia, Bulgaria","ETH Zurich, Z\u00fcrich, Switzerland / Sofia University St. Kliment Ohridski, Sofia, Bulgaria"],"raw_orcid":"https://orcid.org/0000-0002-0054-9568","affiliations":[{"raw_affiliation_string":"ETH Zurich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"Sofia University St. Kliment Ohridski, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]},{"raw_affiliation_string":"ETH Zurich, Z\u00fcrich, Switzerland / Sofia University St. Kliment Ohridski, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642","https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5273,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.85767299,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"8","issue":"OOPSLA2","first_page":"2097","last_page":"2124"},"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.9998999834060669,"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.9998999834060669,"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.9997000098228455,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6812392473220825},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5005648136138916},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42407119274139404},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.23690825700759888},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16149437427520752},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.12136918306350708}],"concepts":[{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6812392473220825},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5005648136138916},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42407119274139404},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.23690825700759888},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16149437427520752},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.12136918306350708}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3689785","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689785","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3689785","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"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 Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3689785","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689785","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3689785","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"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 Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7694765850","display_name":null,"funder_award_id":"207967","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"}],"funders":[{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4403223418.pdf"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1536119593","https://openalex.org/W1978553093","https://openalex.org/W2061073612","https://openalex.org/W2101811680","https://openalex.org/W2105259569","https://openalex.org/W2105816471","https://openalex.org/W2157601714","https://openalex.org/W2160347025","https://openalex.org/W2302430074","https://openalex.org/W2563269605","https://openalex.org/W2949686459","https://openalex.org/W3023478445","https://openalex.org/W3033997567","https://openalex.org/W3046635395","https://openalex.org/W3104993277","https://openalex.org/W3105859973","https://openalex.org/W3173618123","https://openalex.org/W3209612530","https://openalex.org/W4205887982","https://openalex.org/W4213428754","https://openalex.org/W4220978240","https://openalex.org/W4231368424","https://openalex.org/W4240331105","https://openalex.org/W4242597152","https://openalex.org/W4281389731","https://openalex.org/W4315606056","https://openalex.org/W4399911634"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"A":[0,35],"key":[1],"challenge":[2],"of":[3,11,59,65,134,140,156,182],"quantum":[4,32,44,47,87,107,214],"programming":[5,33,159],"is":[6,38,91,201],"uncomputation:":[7],"the":[8,74,141,144,157,168,180,190,206],"reversible":[9],"deallocation":[10],"qubits.":[12],"And":[13],"while":[14,46,186],"there":[15],"has":[16],"been":[17],"much":[18],"recent":[19],"progress":[20],"on":[21,42,93,189],"automating":[22],"uncomputation,":[23,114],"state-of-the-art":[24],"methods":[25],"are":[26],"insufficient":[27],"for":[28,53,85,113,122],"handling":[29],"today's":[30],"expressive":[31,86,106,154],"languages.":[34],"core":[36,95],"reason":[37],"that":[39,103,120,174,199],"they":[40,55,192],"operate":[41],"primitive":[43],"circuits,":[45,52],"programs":[48,108,178],"express":[49],"computations":[50],"beyond":[51,179],"instance,":[54],"can":[56,104,176,193],"capture":[57,105],"families":[58],"circuits":[60],"defined":[61],"recursively":[62],"in":[63],"terms":[64],"uncomputation":[66,84,124,184],"and":[67,82,109,115,125,143,164,209],"adjoints.":[68,126],"In":[69],"this":[70],"paper,":[71],"we":[72,175,197],"introduce":[73],"first":[75],"modular":[76,117],"automatic":[77],"approach":[78],"to":[79,161,203],"synthesize":[80],"correct":[81],"efficient":[83],"programs.":[88],"Our":[89,170],"method":[90],"based":[92],"two":[94],"technical":[96],"contributions:":[97],"(i)":[98],"an":[99,138,153],"intermediate":[100],"representation":[101],"(IR)":[102],"comes":[110],"with":[111],"support":[112],"(ii)":[116],"algorithms":[118],"over":[119],"IR":[121,142,163],"synthesizing":[123],"We":[127],"have":[128],"built":[129],"a":[130,150],"complete":[131],"end-to-end":[132],"implementation":[133,139],"our":[135,162],"method,":[136],"including":[137],"synthesis":[145],"algorithms,":[146],"as":[147,149],"well":[148],"translation":[151],"from":[152,167,205],"fragment":[155],"Silq":[158],"language":[160],"circuit":[165],"generation":[166],"IR.":[169],"experimental":[171],"evaluation":[172],"demonstrates":[173],"handle":[177],"capabilities":[181],"existing":[183],"approaches,":[185],"being":[187],"competitive":[188],"benchmarks":[191],"handle.":[194],"More":[195],"broadly,":[196],"show":[198],"it":[200],"possible":[202],"benefit":[204],"greater":[207],"expressivity":[208],"safety":[210],"offered":[211],"by":[212],"high-level":[213],"languages":[215],"without":[216],"sacrificing":[217],"efficiency.":[218]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}