{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T16:50:37Z","timestamp":1771951837390,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":73,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T00:00:00Z","timestamp":1743292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Amazon Web Services","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["1652140,2212232"],"award-info":[{"award-number":["1652140,2212232"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Office of the Vice Chancellor for Research and Graduate Education, University of Wisconsin-Madison","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Meta","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3,30]]},"DOI":"10.1145\/3669940.3707240","type":"proceedings-article","created":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T12:28:01Z","timestamp":1738844881000},"page":"777-793","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Optimizing Quantum Circuits, Fast and Slow"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-2279-5816","authenticated-orcid":false,"given":"Amanda","family":"Xu","sequence":"first","affiliation":[{"name":"University of Wisconsin-Madison, Madison, WI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1841-9565","authenticated-orcid":false,"given":"Abtin","family":"Molavi","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, Madison, WI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4479-7413","authenticated-orcid":false,"given":"Swamit","family":"Tannu","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, Madison, WI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4577-175X","authenticated-orcid":false,"given":"Aws","family":"Albarghouthi","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, Madison, WI, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-022-05434-1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"Gadi Aleksandrowicz Thomas Alexander Panagiotis Barkoutsos Luciano Bello Yael Ben-Haim David Bucher Francisco Jose Cabrera- Hern\u00e1ndez Jorge Carballo-Franquis Adrian Chen Chun-Fu Chen Jerry M. Chow Antonio D. C\u00f3rcoles-Gonzales Abigail J. Cross Andrew Cross Juan Cruz-Benito Chris Culver Salvador De La Puente Gonz\u00e1lez Enrique De La Torre Delton Ding Eugene Dumitrescu Ivan Duran Pieter Eendebak Mark Everitt Ismael Faro Sertage Albert Frisch Andreas Fuhrer Jay Gambetta Borja Godoy Gago Juan Gomez-Mosquera Donny Greenberg Ikko Hamamura Vojtech Havlicek Joe Hellmers \u0141ukasz Herok Hiroshi Horii Shaohan Hu Takashi Imamichi Toshinari Itoko Ali Javadi-Abhari Naoki Kanazawa Anton Karazeev Kevin Krsulich Peng Liu Yang Luh Yunho Maeng Manoel Marques Francisco Jose Mart\u00edn-Fern\u00e1ndez Douglas T. McClure David McKay Srujan Meesala Antonio Mezzacapo Nikolaj Moll Diego Moreda Rodr\u00edguez Giacomo Nannicini Paul Nation Pauline Ollitrault Lee James O'Riordan Hanhee Paik Jes\u00fas P\u00e9rez Anna Phan Marco Pistoia Viktor Prutyanov Max Reuter Julia Rice Abd\u00f3n Rodr\u00edguez Davila Raymond Harry Putra Rudy Mingi Ryu Ninad Sathaye Chris Schnabel Eddie Schoute Kanav Setia Yunong Shi Adenilton Silva Yukio Siraichi Seyon Sivarajah John A. Smolin Mathias Soeken Hitomi Takahashi Ivano Tavernelli Charles Taylor Pete Taylour Kenso Trabing Matthew Treinish Wes Turner Desiree Vogt-Lee Christophe Vuillot Jonathan A. Wildstrom Jessica Wilson Erick Winston Christopher Wood Stephen Wood Stefan W\u00f6rner Ismail Yunus Akhalwaya and Christa Zoufal. 2019. Qiskit: An Open-source Framework for Quantum Computing. https:\/\/doi.org\/10.5281\/zenodo.2562111","DOI":"10.5281\/zenodo.2562111"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab9359"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2244643"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.3.020342"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-023-06927-3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00116"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature23460"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.21231\/GNT1-HW21"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037754"},{"key":"e_1_3_2_1_12_1","volume-title":"An approximate Fourier transform useful in quantum factoring. arXiv preprint quant-ph\/0201067","author":"Coppersmith Don","year":"2002","unstructured":"Don Coppersmith. 2002. An approximate Fourier transform useful in quantum factoring. arXiv preprint quant-ph\/0201067 (2002)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/QCE49297.2020.00036"},{"key":"e_1_3_2_1_14_1","unstructured":"Edward Farhi Jeffrey Goldstone and Sam Gutmann. 2014. A Quantum Approximate Optimization Algorithm. arXiv:1411.4028 [quant-ph]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02650179"},{"key":"e_1_3_2_1_16_1","unstructured":"Craig Gidney Noah Shutty and Cody Jones. 2024. Magic state cultivation: growing T states as cheap as CNOT gates. arXiv:2409.17595 [quant-ph] https:\/\/arxiv.org\/abs\/2409.17595"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.57.127"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/57.1.97"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434318"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3466752.3480072"},{"key":"e_1_3_2_1_22_1","unstructured":"IonQ. 2024. IonQ Forte. https:\/\/ionq.com\/quantum-systems\/forte."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359630"},{"key":"e_1_3_2_1_24_1","volume-title":"Zhang","author":"Jin Yuwei","year":"2023","unstructured":"Yuwei Jin, Zirui Li, Fei Hua, Tianyi Hao, Huiyang Zhou, Yipeng Huang, and Eddy Z. Zhang. 2023. Tetris: A Compilation Framework for VQA Applications in Quantum Computing. (9 2023). arXiv:2309.01905 [quant-ph]"},{"key":"e_1_3_2_1_25_1","unstructured":"Daniel Kahneman. 2011. Thinking fast and slow. macmillan."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3586039"},{"key":"e_1_3_2_1_27_1","unstructured":"Ilyas Khan and Jenni Strabley. 2024. Quantinuum extends its significant lead in quantum computing achieving historic milestones for hardware fidelity and Quantum Volume. https:\/\/www.quantinuum.com\/blog\/quantinuum-extends-its-significant-lead-in-quantum-computing-achieving-historic-milestones-for-hardware-fidelity-and-quantum-volume"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","unstructured":"S. Kirkpatrick C. D. Gelatt and M. P. Vecchi. 1983. Optimization by Simulated Annealing. Science 220 4598 (1983) 671--680. https:\/\/doi.org\/10.1126\/science.220.4598.671 arXiv:https:\/\/www.science.org\/doi\/pdf\/10.1126\/science.220.4598.671","DOI":"10.1126\/science.220.4598.671"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.318.14"},{"key":"e_1_3_2_1_30_1","volume-title":"Quantum measurements and the Abelian stabilizer problem. arXiv preprint quant-ph\/9511026","author":"Kitaev A Yu","year":"1995","unstructured":"A Yu Kitaev. 1995. Quantum measurements and the Abelian stabilizer problem. arXiv preprint quant-ph\/9511026 (1995)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507715"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649831"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-03-05-128"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-05-04-62"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620666.3651371"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3689766"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/36177.36194"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-021-01432-8"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428245"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-018-0072-4"},{"key":"e_1_3_2_1_41_1","unstructured":"Hartmut Neven and Julian Kelly. 2023. Suppressing quantum errors by scaling a surface code logical qubit. https:\/\/research.google\/blog\/suppressing-quantum-errors-by-scaling-a-surface-code-logical-qubit\/"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Michael A Nielsen and Isaac Chuang. 2002. Quantum computation and quantum information.","DOI":"10.1119\/1.1463744"},{"key":"e_1_3_2_1_43_1","unstructured":"A. Paetznick M. P. da Silva C. Ryan-Anderson J. M. Bello-Rivas J. P. Campora III A. Chernoguzov J. M. Dreiling C. Foltz F. Frachon J. P. Gaebler T. M. Gatterman L. Grans-Samuelsson D. Gresh D. Hayes N. Hewitt C. Holliman C. V. Horst J. Johansen D. Lucchetti Y. Matsuoka M. Mills S. A. Moses B. Neyenhuis A. Paz J. Pino P. Siegfried A. Sundaram D. Tom S. J. Wernli M. Zanner R. P. Stutz and K. M. Svore. 2024. Demonstration of logical qubits and repeated error correction with better-than-physical error rates. arXiv:2404.02280 [quant-ph] https:\/\/arxiv.org\/abs\/2404.02280"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649813"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507739"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00087"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms5213"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2980024.2872387"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3673241"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2022-05-11-710"},{"key":"e_1_3_2_1_52_1","volume-title":"Efficient quantum gate decomposition via adaptive circuit compression. (3","author":"Rakyta P\u00e9ter","year":"2022","unstructured":"P\u00e9ter Rakyta and Zolt\u00e1n Zimbor\u00e1s. 2022. Efficient quantum gate decomposition via adaptive circuit compression. (3 2022). arXiv:2203.04426 [quant-ph]"},{"key":"e_1_3_2_1_53_1","unstructured":"Francisco J. R. Ruiz Tuomas Laakkonen Johannes Bausch Matej Balog Mohammadamin Barekatain Francisco J. H. Heras Alexander Novikov Nathan Fitzpatrick Bernardino Romera-Paredes John van de Wetering Alhussein Fawzi Konstantinos Meichanetzidis and Pushmeet Kohli. 2024. Quantum Circuit Optimization with AlphaTensor. arXiv:2402.14396 [quant-ph]"},{"key":"e_1_3_2_1_54_1","volume-title":"Souper: A Synthesizing Superoptimizer. https:\/\/arxiv.org\/abs\/1711.04422","author":"Sasnauskas Raimondas","year":"2017","unstructured":"Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, and John Regehr. 2017. Souper: A Synthesizing Superoptimizer. https:\/\/arxiv.org\/abs\/1711.04422"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499368.2451150"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304018"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-023-42482-1"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548693"},{"key":"e_1_3_2_1_61_1","unstructured":"IonQ staff. 2024. Getting started with Native Gates. https:\/\/ionq.com\/docs\/getting-started-with-native-gates."},{"key":"e_1_3_2_1_62_1","unstructured":"Rich Sutton. 2019. The Bitter Lesson. Available at http:\/\/www.incompleteideas.net\/IncIdeas\/BitterLesson.html."},{"key":"e_1_3_2_1_63_1","unstructured":"Robert R. Tucci. 2005. An Introduction to Cartan's KAK Decomposition for QC Programmers. arXiv:quant-ph\/0507171 [quant-ph]"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/5956.5957"},{"key":"e_1_3_2_1_65_1","unstructured":"John van de Wetering and Matt Amy. 2024. Optimising quantum circuits is generally hard. arXiv:2310.05958 [quant-ph] https:\/\/arxiv.org\/abs\/2310.05958"},{"key":"e_1_3_2_1_66_1","volume-title":"Frederic T. Chong, and Costin Iancu.","year":"2022","unstructured":"Xin-ChuanWu, Marc Grau Davis, Frederic T. Chong, and Costin Iancu. 2022. QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis. arXiv:2012.09835 [quant-ph]"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591254"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523433"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","unstructured":"Ed Younis Costin C Iancu Wim Lavrijsen Marc Davis Ethan Smith and USDOE. 2021. Berkeley Quantum Synthesis Toolkit (BQSKit) v1. https:\/\/doi.org\/10.11578\/dc.20210603.2","DOI":"10.11578\/dc.20210603.2"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/QCE52317.2021.00041"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563297"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656397"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846658"}],"event":{"name":"ASPLOS '25: 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Rotterdam Netherlands","acronym":"ASPLOS '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3669940.3707240","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3669940.3707240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T14:49:59Z","timestamp":1755787799000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3669940.3707240"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,30]]},"references-count":73,"alternative-id":["10.1145\/3669940.3707240","10.1145\/3669940"],"URL":"https:\/\/doi.org\/10.1145\/3669940.3707240","relation":{},"subject":[],"published":{"date-parts":[[2025,3,30]]},"assertion":[{"value":"2025-03-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}