{"id":"https://openalex.org/W4281670955","doi":"https://doi.org/10.1145/3519939.3523433","title":"Quartz: superoptimization of Quantum circuits","display_name":"Quartz: superoptimization of Quantum circuits","publication_year":2022,"publication_date":"2022-06-02","ids":{"openalex":"https://openalex.org/W4281670955","doi":"https://doi.org/10.1145/3519939.3523433"},"language":"en","primary_location":{"id":"doi:10.1145/3519939.3523433","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523433","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523433","source":null,"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 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523433","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009662133","display_name":"Mingkuan Xu","orcid":"https://orcid.org/0000-0002-8123-5148"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mingkuan Xu","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081700233","display_name":"Zikun Li","orcid":"https://orcid.org/0000-0001-6746-6225"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zikun Li","raw_affiliation_strings":["University of California at Los Angeles, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064997169","display_name":"Oded Padon","orcid":"https://orcid.org/0009-0006-4209-1635"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Oded Padon","raw_affiliation_strings":["VMware Research, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"VMware Research, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084268991","display_name":"Sina Lin","orcid":"https://orcid.org/0009-0008-7837-5925"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sina Lin","raw_affiliation_strings":["Microsoft, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060804517","display_name":"Jessica Pointing","orcid":"https://orcid.org/0000-0002-3651-5941"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jessica Pointing","raw_affiliation_strings":["University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039185281","display_name":"Auguste Hirth","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Auguste Hirth","raw_affiliation_strings":["University of California at Los Angeles, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016770815","display_name":"Henry Ma","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Henry Ma","raw_affiliation_strings":["University of California at Los Angeles, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011356414","display_name":"Jens Palsberg","orcid":"https://orcid.org/0000-0003-4747-365X"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jens Palsberg","raw_affiliation_strings":["University of California at Los Angeles, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087402475","display_name":"Alex Aiken","orcid":"https://orcid.org/0000-0002-3723-9555"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alex Aiken","raw_affiliation_strings":["Stanford University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015051107","display_name":"Umut A. Acar","orcid":"https://orcid.org/0000-0002-2623-4986"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Umut A. Acar","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062437461","display_name":"Zhihao Jia","orcid":"https://orcid.org/0000-0002-1270-5185"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhihao Jia","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.0838,"has_fulltext":true,"cited_by_count":58,"citation_normalized_percentile":{"value":0.98195602,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"625","last_page":"640"},"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.9883999824523926,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9860000014305115,"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/quantum-circuit","display_name":"Quantum circuit","score":0.7602019309997559},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6766507625579834},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.607988715171814},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.5202928185462952},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4748128652572632},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.47333723306655884},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.444701611995697},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.44455888867378235},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.44237416982650757},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.42400646209716797},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.42310231924057007},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4190451502799988},{"id":"https://openalex.org/keywords/electrical-element","display_name":"Electrical element","score":0.410831093788147},{"id":"https://openalex.org/keywords/electronic-engineering","display_name":"Electronic engineering","score":0.39862728118896484},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33326712250709534},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.21435153484344482},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.17056450247764587},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13025516271591187},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09786400198936462},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08029448986053467}],"concepts":[{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.7602019309997559},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6766507625579834},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.607988715171814},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.5202928185462952},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4748128652572632},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.47333723306655884},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.444701611995697},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.44455888867378235},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44237416982650757},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.42400646209716797},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.42310231924057007},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4190451502799988},{"id":"https://openalex.org/C113089479","wikidata":"https://www.wikidata.org/wiki/Q210729","display_name":"Electrical element","level":2,"score":0.410831093788147},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.39862728118896484},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33326712250709534},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.21435153484344482},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.17056450247764587},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13025516271591187},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09786400198936462},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08029448986053467},{"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/3519939.3523433","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523433","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523433","source":null,"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 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3519939.3523433","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523433","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523433","source":null,"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 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1562374711","display_name":"SHF: Small: Solving the Parallel Functional Programming Challenge","funder_award_id":"2115104","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5360328037","display_name":"Collaborative Research: PPoSS: LARGE: Unifying Software and Hardware to Achieve Performant and Scalable Frictionless Parallelism in the Heterogeneous Future","funder_award_id":"2119352","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G753685075","display_name":"Collaborative Research: SHF: Medium: Responsive Parallelism for Interactive Applications: Theory and Practice","funder_award_id":"2107241","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4281670955.pdf","grobid_xml":"https://content.openalex.org/works/W4281670955.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W2046826122","https://openalex.org/W2339276203","https://openalex.org/W2716515748","https://openalex.org/W2735014336","https://openalex.org/W2798910219","https://openalex.org/W2938353722","https://openalex.org/W2953340474","https://openalex.org/W2964268018","https://openalex.org/W2981758446","https://openalex.org/W2993800728","https://openalex.org/W3006102157","https://openalex.org/W3013348036","https://openalex.org/W3098041393","https://openalex.org/W3103017377","https://openalex.org/W3103692286","https://openalex.org/W3104914200","https://openalex.org/W3116601100","https://openalex.org/W3157878755","https://openalex.org/W3177497122","https://openalex.org/W3209612530","https://openalex.org/W4211105367","https://openalex.org/W4226280139","https://openalex.org/W4246691913","https://openalex.org/W6912339659","https://openalex.org/W6950293870"],"related_works":["https://openalex.org/W1651824144","https://openalex.org/W2037793298","https://openalex.org/W3092615945","https://openalex.org/W4379115997","https://openalex.org/W4318620911","https://openalex.org/W2066640878","https://openalex.org/W4226174265","https://openalex.org/W2972575096","https://openalex.org/W2808177279","https://openalex.org/W3185760328"],"abstract_inverted_index":{"Existing":[0],"quantum":[1,4,27,48,60,91],"compilers":[2],"optimize":[3,89,148],"circuits":[5,77,153],"by":[6,11,73,135],"applying":[7],"circuit":[8,23,49,56,71,165],"transformations":[9,24,57,72,82,103,122,129,133],"designed":[10,132],"experts.":[12],"This":[13],"approach":[14],"requires":[15],"significant":[16],"manual":[17],"effort":[18],"to":[19,41,104,147],"design":[20],"and":[21,34,54,78,120,138],"implement":[22],"for":[25,58,123,154],"different":[26,31,124],"devices,":[28],"which":[29],"use":[30],"gate":[32,61,66,112,125,156],"sets,":[33,157],"can":[35,117],"miss":[36],"optimizations":[37],"that":[38,51,99,115],"are":[39],"hard":[40],"find":[42],"manually.":[43],"We":[44],"propose":[45],"Quartz,":[46],"a":[47,64,90,95,149],"superoptimizer":[50],"automatically":[52],"generates":[53,69],"verifies":[55,79],"arbitrary":[59],"sets.":[62,126],"For":[63],"given":[65],"set,":[67],"Quartz":[68,93,116,143],"candidate":[70],"systematically":[74],"exploring":[75],"small":[76],"the":[80,101,105,161],"discovered":[81],"using":[83],"an":[84],"automated":[85],"theorem":[86],"prover.":[87],"To":[88],"circuit,":[92],"uses":[94],"cost-based":[96],"backtracking":[97],"search":[98],"applies":[100],"verified":[102],"circuit.":[106],"Our":[107],"evaluation":[108],"on":[109],"three":[110],"popular":[111],"sets":[113],"shows":[114],"effectively":[118],"generate":[119],"verify":[121],"The":[127],"generated":[128],"cover":[130],"manually":[131],"used":[134],"existing":[136],"optimizers":[137],"also":[139],"include":[140],"new":[141],"transformations.":[142],"is":[144],"therefore":[145],"able":[146],"broad":[150],"range":[151],"of":[152,163],"diverse":[155],"outperforming":[158],"or":[159],"matching":[160],"performance":[162],"hand-tuned":[164],"optimizers.":[166]},"counts_by_year":[{"year":2026,"cited_by_count":10},{"year":2025,"cited_by_count":18},{"year":2024,"cited_by_count":15},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":3}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}