{"id":"https://openalex.org/W4365211818","doi":"https://doi.org/10.1145/3591254","title":"Synthesizing Quantum-Circuit Optimizers","display_name":"Synthesizing Quantum-Circuit Optimizers","publication_year":2023,"publication_date":"2023-06-06","ids":{"openalex":"https://openalex.org/W4365211818","doi":"https://doi.org/10.1145/3591254"},"language":"en","primary_location":{"id":"doi:10.1145/3591254","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3591254","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3591254","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/3591254","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021188160","display_name":"Amanda Xu","orcid":"https://orcid.org/0009-0008-2279-5816"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Amanda Xu","raw_affiliation_strings":["University of Wisconsin-Madison, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035893705","display_name":"Abtin Molavi","orcid":"https://orcid.org/0009-0006-1841-9565"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abtin Molavi","raw_affiliation_strings":["University of Wisconsin-Madison, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026041828","display_name":"Lauren Pick","orcid":"https://orcid.org/0000-0003-1605-5383"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lauren Pick","raw_affiliation_strings":["University of Wisconsin-Madison, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007818121","display_name":"Swamit Tannu","orcid":"https://orcid.org/0000-0003-4479-7413"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Swamit Tannu","raw_affiliation_strings":["University of Wisconsin-Madison, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050593520","display_name":"Aws Albarghouthi","orcid":"https://orcid.org/0000-0003-4577-175X"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aws Albarghouthi","raw_affiliation_strings":["University of Wisconsin-Madison, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5021188160"],"corresponding_institution_ids":["https://openalex.org/I135310074"],"apc_list":null,"apc_paid":null,"fwci":6.2218,"has_fulltext":true,"cited_by_count":36,"citation_normalized_percentile":{"value":0.97198059,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"7","issue":"PLDI","first_page":"835","last_page":"859"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9962999820709229,"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"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7756132483482361},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.6459484696388245},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6457417011260986},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.5887575149536133},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49235379695892334},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.4595242440700531},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.43556106090545654},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42633792757987976},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.22349870204925537}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7756132483482361},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.6459484696388245},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6457417011260986},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.5887575149536133},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49235379695892334},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.4595242440700531},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.43556106090545654},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42633792757987976},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.22349870204925537},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3591254","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3591254","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3591254","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/3591254","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3591254","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3591254","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/G3667575154","display_name":null,"funder_award_id":"OVCRGE","funder_id":"https://openalex.org/F4320306555","funder_display_name":"Wisconsin Alumni Research Foundation"},{"id":"https://openalex.org/G8439324738","display_name":null,"funder_award_id":"2127309","funder_id":"https://openalex.org/F4320308633","funder_display_name":"Computing Research Association"}],"funders":[{"id":"https://openalex.org/F4320306555","display_name":"Wisconsin Alumni Research Foundation","ror":"https://ror.org/00hwxbz16"},{"id":"https://openalex.org/F4320308633","display_name":"Computing Research Association","ror":"https://ror.org/00agrkd75"},{"id":"https://openalex.org/F4320309434","display_name":"University of Wisconsin-Madison","ror":"https://ror.org/01y2jtd41"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4365211818.pdf","grobid_xml":"https://content.openalex.org/works/W4365211818.grobid-xml"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W2023035194","https://openalex.org/W2034340985","https://openalex.org/W2046761109","https://openalex.org/W2046826122","https://openalex.org/W2143862628","https://openalex.org/W2151759383","https://openalex.org/W2302430074","https://openalex.org/W2410327772","https://openalex.org/W2461570336","https://openalex.org/W2746656048","https://openalex.org/W2765753692","https://openalex.org/W2781738013","https://openalex.org/W2803889673","https://openalex.org/W2888334837","https://openalex.org/W2903516100","https://openalex.org/W2925212216","https://openalex.org/W2948156386","https://openalex.org/W2949686459","https://openalex.org/W2981758446","https://openalex.org/W2993800728","https://openalex.org/W3013348036","https://openalex.org/W3034847383","https://openalex.org/W3041601145","https://openalex.org/W3099525000","https://openalex.org/W3100931082","https://openalex.org/W3104914200","https://openalex.org/W3104993277","https://openalex.org/W3105463217","https://openalex.org/W3105603580","https://openalex.org/W3105859973","https://openalex.org/W3107142642","https://openalex.org/W3116601100","https://openalex.org/W3116925569","https://openalex.org/W3117137355","https://openalex.org/W3136504866","https://openalex.org/W3164004581","https://openalex.org/W3166751781","https://openalex.org/W3208388786","https://openalex.org/W3209612530","https://openalex.org/W4214556944","https://openalex.org/W4225409672","https://openalex.org/W4231865403","https://openalex.org/W4231916799","https://openalex.org/W4240497447","https://openalex.org/W4247332426","https://openalex.org/W4281670955","https://openalex.org/W6912813720","https://openalex.org/W6929351850"],"related_works":["https://openalex.org/W4388704119","https://openalex.org/W2910123824","https://openalex.org/W4200149527","https://openalex.org/W4213379151","https://openalex.org/W2911278742","https://openalex.org/W3121338985","https://openalex.org/W4281550036","https://openalex.org/W3206120658","https://openalex.org/W4390992964","https://openalex.org/W3131420525"],"abstract_inverted_index":{"Near-term":[0],"quantum":[1,52,87,174,220],"computers":[2,105],"are":[3,22,33,158],"expected":[4],"to":[5,24,56,65,180,218],"work":[6],"in":[7,91,124],"an":[8,75,97],"environment":[9],"where":[10],"each":[11],"operation":[12],"is":[13],"noisy,":[14],"with":[15,36,99],"no":[16],"error":[17],"correction.":[18],"Therefore,":[19],"quantum-circuit":[20,82],"optimizers":[21],"applied":[23],"minimize":[25],"the":[26,63,118,122,160,178,213],"number":[27,130],"of":[28,50,62,121,131,162,173,184],"noisy":[29],"operations.":[30],"Today,":[31],"physicists":[32],"constantly":[34],"experimenting":[35],"novel":[37,191],"devices":[38],"and":[39,46,115,133,146],"architectures.":[40],"For":[41,89],"every":[42,48],"new":[43],"physical":[44],"substrate":[45],"for":[47,78,84,103,142,169,201],"modification":[49],"a":[51,81,85,125,181,196],"computer,":[53],"we":[54,72],"need":[55],"modify":[57],"or":[58],"rewrite":[59,144,155,204,216],"major":[60],"pieces":[61],"optimizer":[64,83,98],"run":[66],"successful":[67],"experiments.":[68],"In":[69],"this":[70],"paper,":[71],"present":[73],"QUESO,":[74],"efficient":[76],"approach":[77,141,168],"automatically":[79],"synthesizing":[80,203],"given":[86],"device.":[88],"instance,":[90],"1.2":[92],"minutes,":[93],"QUESO":[94],"can":[95],"synthesize":[96],"high-probability":[100],"correctness":[101],"guarantees":[102],"IBM":[104],"that":[106,157,210],"significantly":[107],"outperforms":[108],"leading":[109],"compilers,":[110],"such":[111],"as":[112],"IBM's":[113],"Qiskit":[114],"TKET,":[116],"on":[117],"majority":[119],"(85%)":[120],"circuits":[123,175],"diverse":[126],"benchmark":[127],"suite.":[128],"A":[129,166,190,207],"theoretical":[132],"algorithmic":[134],"insights":[135],"underlie":[136],"QUESO:":[137],"(1)":[138],"An":[139],"algebraic":[140],"representing":[143],"rules":[145,156,217],"their":[147],"semantics.":[148],"This":[149],"facilitates":[150],"reasoning":[151],"about":[152],"complex":[153],"symbolic":[154,215],"beyond":[159],"scope":[161],"existing":[163],"techniques.":[164],"(2)":[165],"fast":[167],"probabilistically":[170],"verifying":[171],"equivalence":[172],"by":[176],"reducing":[177],"problem":[179],"special":[182],"form":[183],"polynomial":[185,197],"identity":[186,198],"testing":[187],".":[188],"(3)":[189],"probabilistic":[192],"data":[193],"structure,":[194],"called":[195],"filter":[199],"(PIF),":[200],"efficiently":[202,211],"rules.":[205],"(4)":[206],"beam-search-based":[208],"algorithm":[209],"applies":[212],"synthesized":[214],"optimize":[219],"circuits.":[221]},"counts_by_year":[{"year":2026,"cited_by_count":8},{"year":2025,"cited_by_count":20},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}