{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,5]],"date-time":"2026-08-05T18:03:48Z","timestamp":1785953028176,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523433","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"625-640","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":59,"title":["Quartz: superoptimization of Quantum circuits"],"prefix":"10.1145","author":[{"given":"Mingkuan","family":"Xu","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zikun","family":"Li","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oded","family":"Padon","sequence":"additional","affiliation":[{"name":"VMware Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sina","family":"Lin","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jessica","family":"Pointing","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Auguste","family":"Hirth","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Henry","family":"Ma","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Aiken","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Umut A.","family":"Acar","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhihao","family":"Jia","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. Qiskit ConsolidateBlocks. https:\/\/qiskit.org\/documentation\/stubs\/qiskit.transpiler.passes.ConsolidateBlocks.html  2021. Qiskit ConsolidateBlocks. https:\/\/qiskit.org\/documentation\/stubs\/qiskit.transpiler.passes.ConsolidateBlocks.html"},{"key":"e_1_3_2_1_2_1","unstructured":"2021. Qiskit Optimize1qGates. https:\/\/qiskit.org\/documentation\/stubs\/qiskit.transpiler.passes.Optimize1qGates.html  2021. Qiskit Optimize1qGates. https:\/\/qiskit.org\/documentation\/stubs\/qiskit.transpiler.passes.Optimize1qGates.html"},{"key":"e_1_3_2_1_3_1","unstructured":"2021. Rigetti Gates. https:\/\/pyquil-docs.rigetti.com\/en\/v2.7.0\/apidocs\/gates.html  2021. Rigetti Gates. https:\/\/pyquil-docs.rigetti.com\/en\/v2.7.0\/apidocs\/gates.html"},{"key":"e_1_3_2_1_4_1","unstructured":"2022. The Quartz Quantum Circuit SuperOptimizer. https:\/\/github.com\/quantum-compiler\/quartz  2022. The Quartz Quantum Circuit SuperOptimizer. https:\/\/github.com\/quantum-compiler\/quartz"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.2562111"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2341953"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168917.1168906"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_14"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63046-5_7"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00072"},{"key":"e_1_3_2_1_12_1","volume-title":"David Jarvis Dean, and Pavel Lougovski","author":"Dumitrescu Eugene F","year":"2018","unstructured":"Eugene F Dumitrescu , Alex J McCaskey , Gaute Hagen , Gustav R Jansen , Titus D Morris , T Papenbrock , Raphael C Pooser , David Jarvis Dean, and Pavel Lougovski . 2018 . Cloud quantum computing of an atomic nucleus. Physical review letters, 120, 21 (2018), 210501. Eugene F Dumitrescu, Alex J McCaskey, Gaute Hagen, Gustav R Jansen, Titus D Morris, T Papenbrock, Raphael C Pooser, David Jarvis Dean, and Pavel Lougovski. 2018. Cloud quantum computing of an atomic nucleus. Physical review letters, 120, 21 (2018), 210501."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209128"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908121"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434318"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209131"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359630"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 2nd Conference on Systems and Machine Learning (SysML\u201919)","author":"Jia Zhihao","year":"2019","unstructured":"Zhihao Jia , James Thomas , Todd Warzawski , Mingyu Gao , Matei Zaharia , and Alex Aiken . 2019 . Optimizing DNN Computation with Relaxed Graph Substitutions . In Proceedings of the 2nd Conference on Systems and Machine Learning (SysML\u201919) . Zhihao Jia, James Thomas, Todd Warzawski, Mingyu Gao, Matei Zaharia, and Alex Aiken. 2019. Optimizing DNN Computation with Relaxed Graph Substitutions. In Proceedings of the 2nd Conference on Systems and Machine Learning (SysML\u201919)."},{"key":"e_1_3_2_1_19_1","unstructured":"Aleks Kissinger and John van de Wetering. 2019. Reducing T-count with the ZX-calculus. arXiv preprint arXiv:1903.10477.  Aleks Kissinger and John van de Wetering. 2019. Reducing T-count with the ZX-calculus. arXiv preprint arXiv:1903.10477."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.318.14"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454071"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/36177.36194"},{"key":"e_1_3_2_1_23_1","volume-title":"Automated optimization of large quantum circuits with continuous parameters. npj Quantum Information, 4, 1","author":"Nam Yunseong","year":"2018","unstructured":"Yunseong Nam , Neil J Ross , Yuan Su , Andrew M Childs , and Dmitri Maslov . 2018. Automated optimization of large quantum circuits with continuous parameters. npj Quantum Information, 4, 1 ( 2018 ), 1\u201312. Yunseong Nam, Neil J Ross, Yuan Su, Andrew M Childs, and Dmitri Maslov. 2018. Automated optimization of large quantum circuits with continuous parameters. npj Quantum Information, 4, 1 (2018), 1\u201312."},{"key":"e_1_3_2_1_24_1","unstructured":"M. Nielsen and I. Chuang. 2001. Quantum Computation and Quantum Information. Cambridge University Press.  M. Nielsen and I. Chuang. 2001. Quantum Computation and Quantum Information. Cambridge University Press."},{"key":"e_1_3_2_1_25_1","volume-title":"Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities. arXiv:2111.11387, https:\/\/doi.org\/10.48550\/arXiv.2111.11387","author":"Pointing Jessica","year":"2021","unstructured":"Jessica Pointing , Oded Padon , Zhihao Jia , Henry Ma , Auguste Hirth , Jens Palsberg , and Alex Aiken . 2021 . Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities. arXiv:2111.11387, https:\/\/doi.org\/10.48550\/arXiv.2111.11387 10.48550\/arXiv.2111.11387 Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg, and Alex Aiken. 2021. Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities. arXiv:2111.11387, https:\/\/doi.org\/10.48550\/arXiv.2111.11387"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1126\/sciadv.aao3603"},{"key":"e_1_3_2_1_27_1","unstructured":"Yunong Shi Runzhou Tao Xupeng Li Ali Javadi-Abhari Andrew W. Cross Frederic T. Chong and Ronghui Gu. 2020. CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler. arxiv:1908.08963.  Yunong Shi Runzhou Tao Xupeng Li Ali Javadi-Abhari Andrew W. Cross Frederic T. Chong and Ronghui Gu. 2020. CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler. arxiv:1908.08963."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.3967926"},{"key":"e_1_3_2_1_30_1","volume-title":"PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections. In 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21)","author":"Wang Haojie","year":"2021","unstructured":"Haojie Wang , Jidong Zhai , Mingyu Gao , Zixuan Ma , Shizhi Tang , Liyan Zheng , Yuanzhi Li , Kaiyuan Rong , Yuanyong Chen , and Zhihao Jia . 2021 . PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections. In 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21) . 37\u201354. Haojie Wang, Jidong Zhai, Mingyu Gao, Zixuan Ma, Shizhi Tang, Liyan Zheng, Yuanzhi Li, Kaiyuan Rong, Yuanyong Chen, and Zhihao Jia. 2021. PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections. In 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). 37\u201354."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA51647.2021.00023"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.6508992"},{"key":"e_1_3_2_1_33_1","volume-title":"Quartz: Superoptimization of quantum circuits (extended version). arxiv:2204.09033.","author":"Xu Mingkuan","year":"2022","unstructured":"Mingkuan Xu , Zikun Li , Oded Padon , Sina Lin , Jessica Pointing , Auguste Hirth , Henry Ma , Jens Palsberg , Alex Aiken , Umut A. Acar , and Zhihao Jia . 2022 . Quartz: Superoptimization of quantum circuits (extended version). arxiv:2204.09033. Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia. 2022. Quartz: Superoptimization of quantum circuits (extended version). arxiv:2204.09033."},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings of Machine Learning and Systems, A. Smola, A. Dimakis, and I. Stoica (Eds.). 3, 255\u2013268","author":"Yang Yichen","year":"2021","unstructured":"Yichen Yang , Phitchaya Phothilimthana , Yisu Wang , Max Willsey , Sudip Roy , and Jacques Pienaar . 2021 . Equality Saturation for Tensor Graph Superoptimization . In Proceedings of Machine Learning and Systems, A. Smola, A. Dimakis, and I. Stoica (Eds.). 3, 255\u2013268 . Yichen Yang, Phitchaya Phothilimthana, Yisu Wang, Max Willsey, Sudip Roy, and Jacques Pienaar. 2021. Equality Saturation for Tensor Graph Superoptimization. In Proceedings of Machine Learning and Systems, A. Smola, A. Dimakis, and I. Stoica (Eds.). 3, 255\u2013268."}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523433","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:16Z","timestamp":1750188676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":34,"alternative-id":["10.1145\/3519939.3523433","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523433","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}