{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T21:31:30Z","timestamp":1767994290540,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,1,26]]},"DOI":"10.1145\/3773656.3773658","type":"proceedings-article","created":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T10:22:11Z","timestamp":1767954131000},"page":"42-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Integrating Quantum Software Tools with(in) MLIR"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1358-2501","authenticated-orcid":false,"given":"Patrick","family":"Hopf","sequence":"first","affiliation":[{"name":"Technical University of Munich, Munich, Germany and Munich Quantum Software Company, Garching near Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7718-8476","authenticated-orcid":false,"given":"Erick","family":"Ochoa","sequence":"additional","affiliation":[{"name":"AMD, Markham, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5785-2528","authenticated-orcid":false,"given":"Yannick","family":"Stade","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7416-9149","authenticated-orcid":false,"given":"Damian","family":"Rovara","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4369-5207","authenticated-orcid":false,"given":"Nils","family":"Quetschlich","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5426-9529","authenticated-orcid":false,"given":"Ioan Albert","family":"Florea","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2640-0734","authenticated-orcid":false,"given":"Josh","family":"Izaac","sequence":"additional","affiliation":[{"name":"Xanadu, Totonto, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-7860","authenticated-orcid":false,"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany and Munich Quantum Software Company, Garching near Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4699-1316","authenticated-orcid":false,"given":"Lukas","family":"Burgholzer","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany and Munich Quantum Software Company, Garching near Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2026,1,25]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Mart\u00edn Abadi Ashish Agarwal Paul Barham Eugene Brevdo Zhifeng Chen Craig Citro et\u00a0al. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. https:\/\/www.tensorflow.org\/ Software."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","unstructured":"Matthew Amy Dmitri Maslov and Michele Mosca. 2014. Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33 10 (2014) 1476\u20131489. 10.1109\/TCAD.2014.2341953","DOI":"10.1109\/TCAD.2014.2341953"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Juan\u00a0Miguel Arrazola Thomas\u00a0R Bromley Josh Izaac Casey\u00a0R Myers Kamil Br\u00e1dler and Nathan Killoran. 2019. Machine learning method for state preparation and gate synthesis on photonic quantum computers. Quantum Science and Technology 4 2 (2019) 024004. 10.1088\/2058-9565\/aaf59e","DOI":"10.1088\/2058-9565\/aaf59e"},{"key":"e_1_3_3_1_5_2","unstructured":"Ali Asadi Amintor Dusko Chae-Yeun Park Vincent Michaud-Rioux Isidor Schoch Shuli Shu Trevor Vincent and Lee\u00a0James O\u2019Riordan. 2024. Hybrid quantum programming with PennyLane Lightning on HPC platforms. arxiv:https:\/\/arXiv.org\/abs\/2403.02512\u00a0[quant-ph] https:\/\/arxiv.org\/abs\/2403.02512"},{"key":"e_1_3_3_1_6_2","unstructured":"Bao Bach Ilya Safro and Ed Younis. 2025. Efficient Compilation for Shuttling Trapped-Ion Machines via the Position Graph Architectural Abstraction. arxiv:https:\/\/arXiv.org\/abs\/2501.12470\u00a0[quant-ph] https:\/\/arxiv.org\/abs\/2501.12470 arXiv:https:\/\/arXiv.org\/abs\/2501.12470."},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Medina Bandic Carmen\u00a0G Almudever and Sebastian Feld. 2023. Interaction graph-based characterization of quantum benchmarks for improving quantum circuit mapping techniques. Quantum Machine Intelligence 5 2 (2023) 40.","DOI":"10.1007\/s42484-023-00124-1"},{"key":"e_1_3_3_1_8_2","unstructured":"Ville Bergholm Josh Izaac Maria Schuld Christian Gogolin Shahnawaz Ahmed and Vishnu\u00a0Ajith others. 2022. PennyLane: Automatic differentiation of hybrid quantum-classical computations. arxiv:https:\/\/arXiv.org\/abs\/1811.04968\u00a0[quant-ph] https:\/\/arxiv.org\/abs\/1811.04968 arXiv:https:\/\/arXiv.org\/abs\/1811.04968."},{"key":"e_1_3_3_1_9_2","unstructured":"James Bradbury Roy Frostig Peter Hawkins Matthew\u00a0James Johnson Chris Leary Dougal Maclaurin George Necula et\u00a0al. 2018. JAX: composable transformations of Python+NumPy programs. http:\/\/github.com\/jax-ml\/jax Software."},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3773656.3773669"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE54114.2022.9774631"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE49297.2020.00051"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Lukas Burgholzer Yannick Stade Tom Peham and Robert Wille. 2025. MQT Core: The Backbone of the Munich Quantum Toolkit (MQT). Journal of Open Source Software 10 108 (2025) 7478. 10.21105\/joss.07478","DOI":"10.21105\/joss.07478"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"F.\u00a0Javier Cardama Jorge V\u00e1zquez-P\u00e9rez C\u00e9sar Pi\u00f1eiro Juan\u00a0C. Pichel Tom\u00e1s\u00a0F. Pena and Andr\u00e9s G\u00f3mez. 2025. Review of intermediate representations for quantum computing. The Journal of Supercomputing 81 2 (2025) 418. 10.1007\/s11227-024-06892-2","DOI":"10.1007\/s11227-024-06892-2"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Andrew Cross Ali Javadi-Abhari Thomas Alexander Niel De\u00a0Beaudrap Lev\u00a0S. Bishop Steven Heidel et\u00a0al. 2022. OpenQASM3: A Broader and Deeper Quantum Assembly Language. ACM Transactions on Quantum Computing 3 3 Article 12 (2022) 50\u00a0pages. 10.1145\/3505636","DOI":"10.1145\/3505636"},{"key":"e_1_3_3_1_16_2","unstructured":"Andrew\u00a0W Cross Lev\u00a0S Bishop John\u00a0A Smolin and Jay\u00a0M Gambetta. 2017. Open quantum assembly language. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/1707.03429 (2017)."},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Amr Elsharkawy Xiao-Ting\u00a0Michelle To Philipp Seitz Yanbin Chen Yannick Stade Manuel Geiger Qunsheng Huang Xiaorang Guo Muhammad\u00a0Arslan Ansari Christian\u00a0B. Mendl Dieter Kranzlm\u00fcller and Martin Schulz. 2025. Integration of Quantum Accelerators with High Performance Computing\u2014A Review of Quantum Programming Tools. ACM Transactions on Quantum Computing 6 3 Article 24 (July 2025) 46\u00a0pages. 10.1145\/3743149","DOI":"10.1145\/3743149"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3696443.3708945"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Brett Giles and Peter Selinger. 2013. Exact synthesis of multiqubit Clifford+T circuits. Physical Review A 87 3 (2013) 032332. 10.1103\/PhysRevA.87.032332","DOI":"10.1103\/PhysRevA.87.032332"},{"key":"e_1_3_3_1_20_2","volume-title":"Stabilizer codes and quantum error correction","author":"Gottesman Daniel","year":"1997","unstructured":"Daniel Gottesman. 1997. Stabilizer codes and quantum error correction. California Institute of Technology."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-71036-0_3"},{"key":"e_1_3_3_1_22_2","unstructured":"Harshit Gupta Rohan Jain Samuel Kushnir Priyansh Parakh and Ryan\u00a0James Hill. 2025. qBraid-QIR: Python package for QIR conversions integrations and utilities.https:\/\/github.com\/qBraid\/qbraid-qir Software."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","unstructured":"Johannes Hauschild and Frank Pollmann. 2018. Efficient numerical simulations with Tensor Networks: Tensor Network Python (TeNPy). SciPost Physics Lecture Notes (2018). 10.21468\/scipostphyslectnotes.5","DOI":"10.21468\/scipostphyslectnotes.5"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"Michael\u00a0B. Healy Reza Jokar Soolu Thomas Vincent\u00a0R. Pascuzzi Kit Barton Thomas\u00a0A. Alexander Roy Elkabetz Brian\u00a0C. Donovan Hiroshi Horii and Marius Hillenbrand. 2024. Design and architecture of the IBM Quantum Engine Compiler. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2408.06469 (2024). arxiv:https:\/\/arXiv.org\/abs\/2408.06469\u00a0[quant-ph] https:\/\/arxiv.org\/abs\/2408.06469","DOI":"10.1109\/QCE60285.2024.00106"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","unstructured":"Thomas H\u00e4ner Torsten Hoefler and Matthias Troyer. 2020. Assertion-based optimization of Quantum programs. Proceedings of the ACM on Programming Languages 4 OOPSLA (2020) 1\u201320. 10.1145\/3428201","DOI":"10.1145\/3428201"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Toshinari Itoko Rudy Raymond Takashi Imamichi and Atsushi Matsuo. 2020. Optimization of quantum circuit mapping using gate transformation and commutation. Integr. VLSI J. 70 C (2020) 43\u201350. 10.1016\/j.vlsi.2019.10.004","DOI":"10.1016\/j.vlsi.2019.10.004"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","unstructured":"David Ittah Ali Asadi Erick\u00a0Ochoa Lopez Sergei Mironov Samuel Banning Romain Moyard Mai\u00a0Jacob Peng and Josh Izaac. 2024. Catalyst: a Python JIT compiler for auto-differentiable hybrid quantum programs. Journal of Open Source Software 9 99 (2024) 6720. 10.21105\/joss.06720","DOI":"10.21105\/joss.06720"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","unstructured":"David Ittah Thomas H\u00e4ner Vadym Kliuchnikov and Torsten Hoefler. 2022. QIRO: A Static Single Assignment-based Quantum Program Representation for Optimization. ACM Transactions on Quantum Computing 3 3 (2022) 1\u201332. 10.1145\/3491247","DOI":"10.1145\/3491247"},{"key":"e_1_3_3_1_29_2","unstructured":"Ali Javadi-Abhari Matthew Treinish Kevin Krsulich Christopher\u00a0J. Wood Jake Lishman Julien Gacon et\u00a0al. 2024. Quantum computing with Qiskit. arxiv:https:\/\/arXiv.org\/abs\/2405.08810\u00a0[quant-ph] https:\/\/arxiv.org\/abs\/2405.08810 arXiv:https:\/\/arXiv.org\/abs\/2405.08810."},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","unstructured":"Aleks Kissinger and John van\u00a0de Wetering. 2020. PyZX: Large Scale Automated Diagrammatic Reasoning. Electronic Proceedings in Theoretical Computer Science 318 (2020) 229\u2013241. 10.4204\/eptcs.318.14","DOI":"10.4204\/eptcs.318.14"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","unstructured":"A.\u00a0Yu Kitaev. 1997. Quantum computations: algorithms and error correction. Russian Mathematical Surveys 52 6 (1997) 1191\u20131249. 10.1070\/RM1997v052n06ABEH002155","DOI":"10.1070\/RM1997v052n06ABEH002155"},{"key":"e_1_3_3_1_32_2","unstructured":"Mark Koch Agust\u00edn Borgna Seyon Sivarajah Alan Lawrence Alec Edgington Douglas Wilson et\u00a0al. [n. d.]. HUGR: A Quantum-Classical Intermediate Representation. Software."},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","unstructured":"Fabian Kreppel Christian Melzer Diego Olvera\u00a0Mill\u00e1n Janis Wagner Janine Hilder Ulrich Poschinger et\u00a0al. 2023. Quantum Circuit Compiler for a Shuttling-Based Trapped-Ion Quantum Computer. Quantum 7 (2023) 1176. 10.22331\/q-2023-11-08-1176","DOI":"10.22331\/q-2023-11-08-1176"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_3_1_35_2","unstructured":"Chris Lattner Mehdi Amini Uday Bondhugula Albert Cohen Andy Davis Jacques Pienaar et\u00a0al. 2020. MLIR: A Compiler Infrastructure for the End of Moore\u2019s Law. arxiv:https:\/\/arXiv.org\/abs\/2002.11054\u00a0[cs.PL] https:\/\/arxiv.org\/abs\/2002.11054 arXiv:https:\/\/arXiv.org\/abs\/2002.11054."},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","unstructured":"Xiu-Zhe Luo Jin-Guo Liu Pan Zhang and Lei Wang. 2020. Yao.jl: Extensible Efficient Framework for Quantum Algorithm Design. Quantum 4 (2020) 341. 10.22331\/q-2020-10-11-341","DOI":"10.22331\/q-2020-10-11-341"},{"key":"e_1_3_3_1_38_2","doi-asserted-by":"publisher","unstructured":"Alexander J. McCaskey Dmitry I. Lyakh Eugene F. Dumitrescu Sarah S. Powers and Travis S. Humble. 2020. XACC: A system-level software infrastructure for heterogeneous quantum-classical computing. Quantum Science and Technology 5 2 (2020). 10.1088\/2058-9565\/ab6bf6","DOI":"10.1088\/2058-9565\/ab6bf6"},{"key":"e_1_3_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE52317.2021.00043"},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"publisher","unstructured":"Arianne Meijer van\u00a0de Griend. 2025. A comparison of quantum compilers using a DAG-based or phase polynomial-based intermediate representation. J. Syst. Softw. 221 C (2025) 14\u00a0pages. 10.1016\/j.jss.2024.112224","DOI":"10.1016\/j.jss.2024.112224"},{"key":"e_1_3_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3656534"},{"key":"e_1_3_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3656534"},{"key":"e_1_3_3_1_43_2","volume-title":"Proceedings of the 33rd International Conference on Neural Information Processing Systems","author":"Paszke Adam","year":"2019","unstructured":"Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, et\u00a0al. 2019. PyTorch: an imperative style, high-performance deep learning library. In Proceedings of the 33rd International Conference on Neural Information Processing Systems. Curran Associates Inc., Article 721, 12\u00a0pages."},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/3497776.3517772"},{"key":"e_1_3_3_1_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00095"},{"key":"e_1_3_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/3566097.3567932"},{"key":"e_1_3_3_1_47_2","doi-asserted-by":"publisher","unstructured":"B Pirvu V Murg J\u00a0I Cirac and F Verstraete. 2010. Matrix product operator representations. New Journal of Physics 12 2 (2010) 025012. 10.1088\/1367-2630\/12\/2\/025012","DOI":"10.1088\/1367-2630\/12\/2\/025012"},{"key":"e_1_3_3_1_48_2","volume-title":"QIR Specification","unstructured":"QIR Alliance: https:\/\/qir-alliance.org[n. d.]. QIR Specification. QIR Alliance: https:\/\/qir-alliance.org. https:\/\/github.com\/qir-alliance\/qir-spec"},{"key":"e_1_3_3_1_49_2","doi-asserted-by":"publisher","unstructured":"N. Quetschlich L. Burgholzer and R. Wille. 2025. MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing. ACM Transactions on Quantum Computing (TQC) (2025). 10.1145\/3673241 arxiv:https:\/\/arXiv.org\/abs\/2310.06889","DOI":"10.1145\/3673241"},{"key":"e_1_3_3_1_50_2","unstructured":"Aaron Sander Lukas Burgholzer and Robert Wille. 2024. Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2410.10946 (2024)."},{"key":"e_1_3_3_1_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3655959"},{"key":"e_1_3_3_1_52_2","doi-asserted-by":"publisher","unstructured":"Daniel Schoenberger Stefan Hillmich Matthias Brandl and Robert Wille. 2024. Shuttling for Scalable Trapped-Ion Quantum Computers. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2024) 1\u20131. 10.1109\/TCAD.2024.3513262","DOI":"10.1109\/TCAD.2024.3513262"},{"key":"e_1_3_3_1_53_2","unstructured":"Raphael Seidel Sebastian Bock Ren\u00e9 Zander Matic Petri\u010d Niklas Steinmann Nikolay Tcholtchev and Manfred Hauswirth. 2024. Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers. arxiv:https:\/\/arXiv.org\/abs\/2406.14792\u00a0[quant-ph] https:\/\/arxiv.org\/abs\/2406.14792"},{"key":"e_1_3_3_1_54_2","doi-asserted-by":"publisher","unstructured":"Amir Shehata Peter Groszkowski Thomas Naughton Muralikrishnan Gopalakrishnan\u00a0Meena Elaine Wong Daniel Claudino Rafael Ferreira\u00a0da Silva and Thomas Beck. 2026. Bridging paradigms: Designing for HPC-Quantum convergence. Future Generation Computer Systems 174 (Jan. 2026) 107980. 10.1016\/j.future.2025.107980","DOI":"10.1016\/j.future.2025.107980"},{"key":"e_1_3_3_1_55_2","doi-asserted-by":"publisher","unstructured":"Seyon Sivirajah Silas Dilkes Alexander Cowtan Will Simmons Alec Edgington and Ross Duncan. 2020. TKET: A Retargetable Compiler for NISQ devices. Quantum Science and Technology 6 1 (2020) 014003. 10.1088\/2058-9565\/ab8e92","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"e_1_3_3_1_56_2","unstructured":"Yannick Stade Lukas Burgholzer and Robert Wille. 2024. Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation. arxiv:https:\/\/arXiv.org\/abs\/2411.18682\u00a0[quant-ph] https:\/\/arxiv.org\/abs\/2411.18682"},{"key":"e_1_3_3_1_57_2","unstructured":"Leo S\u00fcnkel Darya Martyniuk Denny Mattern Johannes Jung and Adrian Paschke. 2023. GA4QCO: Genetic Algorithm for Quantum Circuit Optimization. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2302.01303 (2023). arxiv:https:\/\/arXiv.org\/abs\/2302.01303https:\/\/arxiv.org\/abs\/2302.01303"},{"key":"e_1_3_3_1_58_2","unstructured":"The CUDA-Q development team. [n. d.]. CUDA-Q. https:\/\/github.com\/NVIDIA\/cuda-quantum"},{"key":"e_1_3_3_1_59_2","volume-title":"Scheduling and Planning Applications Workshop","author":"Venturelli Davide","year":"2019","unstructured":"Davide Venturelli, Minh Do, Bryan O\u2019Gorman, Jeremy Frank, Eleanor Rieffel, Kyle\u00a0EC Booth, Thanh Nguyen, Parvathi Narayan, and Sasha Nanda. 2019. Quantum circuit compilation: An emerging application for automated reasoning. In Scheduling and Planning Applications Workshop."},{"key":"e_1_3_3_1_60_2","unstructured":"Hanrui Wang Pengyu Liu Jinglei Cheng Zhiding Liang Jiaqi Gu Zirui Li Yongshan Ding Weiwen Jiang Yiyu Shi Xuehai Qian et\u00a0al. 2022. Quest: Graph transformer for quantum circuit reliability estimation. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2210.16724 (2022)."},{"key":"e_1_3_3_1_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/QSW62656.2024.00013"},{"key":"e_1_3_3_1_62_2","doi-asserted-by":"publisher","DOI":"10.1145\/3569052.3578928"},{"key":"e_1_3_3_1_63_2","doi-asserted-by":"publisher","unstructured":"Robert Wille Stefan Hillmich and Lukas Burgholzer. 2022. Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing 3 3 Article 13 (2022) 17\u00a0pages. 10.1145\/3491246","DOI":"10.1145\/3491246"},{"key":"e_1_3_3_1_64_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15699-1_1"},{"key":"e_1_3_3_1_65_2","unstructured":"Elaine Wong Vicente\u00a0Leyton Ortega Daniel Claudino Seth Johnson Sharmin Afrose Meenambika Gowrishankar et\u00a0al. 2024. A Cross-Platform Execution Engine for the Quantum Intermediate Representation. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2404.14299 (2024). arXiv:https:\/\/arXiv.org\/abs\/2404.14299\u00a0[quant-ph] https:\/\/arxiv.org\/abs\/2404.14299"},{"key":"e_1_3_3_1_66_2","doi-asserted-by":"publisher","unstructured":"W.\u00a0K. Wootters and W.\u00a0H. Zurek. 1982. A single quantum cannot be cloned. Nature 299 5886 (1982) 802\u2013803. 10.1038\/299802a0","DOI":"10.1038\/299802a0"},{"key":"e_1_3_3_1_67_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE52317.2021.00041"},{"key":"e_1_3_3_1_68_2","doi-asserted-by":"publisher","DOI":"10.1109\/iccad45719.2019.8942057"}],"event":{"name":"SCA\/HPCAsia 2026: Supercomputing Asia and International Conference on High Performance Computing in Asia Pacific Region","location":"Osaka Japan","acronym":"SCA\/HPCAsia 2026"},"container-title":["Proceedings of the Supercomputing Asia and International Conference on High Performance Computing in Asia Pacific Region"],"original-title":[],"deposited":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T10:22:23Z","timestamp":1767954143000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3773656.3773658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,25]]},"references-count":67,"alternative-id":["10.1145\/3773656.3773658","10.1145\/3773656"],"URL":"https:\/\/doi.org\/10.1145\/3773656.3773658","relation":{},"subject":[],"published":{"date-parts":[[2026,1,25]]},"assertion":[{"value":"2026-01-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}