MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
1Chair for Design Automation, Technical University of Munich, Germany
2Software Competence Center Hagenberg GmbH (SCCH), Austria
| Published: | 2023-07-20, volume 7, page 1062 |
| Eprint: | arXiv:2204.13719v3 |
| Doi: | https://doi.org/10.22331/q-2023-07-20-1062 |
| Citation: | Quantum 7, 1062 (2023). |
Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.
Abstract
Quantum software tools for a wide variety of design tasks on and across different levels of abstraction are crucial in order to eventually realize useful quantum applications. This requires practical and relevant benchmarks for new software tools to be empirically evaluated and compared to the current state of the art. Although benchmarks for specific design tasks are commonly available, the demand for an overarching cross-level benchmark suite has not yet been fully met and there is no mutual consolidation in how quantum software tools are evaluated thus far. In this work, we propose the $\textit{MQT Bench}$ benchmark suite (as part of the $\textit{Munich Quantum Toolkit}$, MQT) based on four core traits: (1) cross-level support for different abstraction levels, (2) accessibility via an easy-to-use web interface (https://www.cda.cit.tum.de/mqtbench/) and a Python package, (3) provision of a broad selection of benchmarks to facilitate generalizability, as well as (4) extendability to future algorithms, gate-sets, and hardware architectures. By comprising more than 70,000 benchmark circuits ranging from 2 to 130 qubits on four abstraction levels, MQT Bench presents a first step towards benchmarking different abstraction levels with a single benchmark suite to increase comparability, reproducibility, and transparency.
Featured image: User interface of the MQT Bench website (https://www.cda.cit.tum.de/mqtbench/).
MQT Bench comes as an easy-to-use website and a Python Package while its implementation is open-source available on GitHub.
Popular summary
► BibTeX data
► References
[1] Alwin Zulehnerand Robert Wille ``Advanced Simulation of Quantum Computations'' IEEE Trans. on CAD of Integrated Circuits and Systems (2019).
https://doi.org/10.1109/TCAD.2018.2834427
[2] D Michael Miller, Mitchell A Thornton, and David Goodman, ``A Decision Diagram Package for Reversible and Quantum Circuit Simulation'' Int'l Conf. on Evolutionary Computation (2006).
https://doi.org/10.1109/CEC.2006.1688610
[3] Stefan Hillmich, Alwin Zulehner, Richard Kueng, Igor L. Markov, and Robert Wille, ``Approximating decision diagrams for quantum circuit simulation'' ACM Transactions on Quantum Computing 3, 1–21 (2022).
https://doi.org/10.1145/3530776
[4] Stefan Hillmich, Alwin Zulehner, and Robert Wille, ``Concurrency in DD-based quantum circuit simulation'' Asia and South Pacific Design Automation Conf. (2020).
https://doi.org/10.1109/ASP-DAC47756.2020.9045711
[5] Lukas Burgholzer, Hartwig Bauer, and Robert Wille, ``Hybrid Schrödinger-Feynman simulation of quantum circuits with decision diagrams'' Int'l Conf. on Quantum Computing and Engineering (2021).
https://doi.org/10.1109/QCE52317.2021.00037
[6] Lukas Burgholzer, Alexander Ploier, and Robert Wille, ``Simulation paths for quantum circuit simulation with decision diagrams: What to learn from tensor networks, and what not'' IEEE Trans. on CAD of Integrated Circuits and Systems (2022).
https://doi.org/10.1109/TCAD.2022.3197969
[7] Aleks van de Kissingerand Renaud Vilmart ``Classical simulation of quantum circuits with partial and graphical stabiliser decompositions'' (2022).
https://doi.org/10.48550/arXiv.2202.09202
arXiv:2202.09202
[8] John Brennan, Momme Allalen, David Brayford, Kenneth Hanley, Luigi Iapichino, Lee J. O'Riordan, Myles Doyle, and Niall Moran, ``Tensor network circuit simulation at exascale'' (2021).
https://doi.org/10.48550/arXiv.2110.09894
arXiv:2110.09894
[9] Trevor Vincent, Lee J. O'Riordan, Mikhail Andrenkov, Jack Brown, Nathan Killoran, Haoyu Qi, and Ish Dhand, ``Jet: Fast quantum circuit simulations with parallel task-based tensor-network contraction'' (2021).
https://doi.org/10.48550/arXiv.2107.09793
arXiv:2107.09793
[10] Jaekyung Imand Seokhyeong Kang ``Graph Partitioning Approach for Fast Quantum Circuit Simulation'' Asia and South Pacific Design Automation Conf. 690–695 (2023).
https://doi.org/10.1145/3566097.3567928
[11] Danylo Lykov, Roman Schutski, Alexey Galda, Valerii Vinokur, and Yurii Alexeev, ``Tensor Network Quantum Simulator With Step-Dependent Parallelization'' (2020).
https://doi.org/10.48550/arXiv.2012.02430
arXiv:2012.02430
[12] Hans De Raedt, Fengping Jin, Dennis Willsch, Madita Willsch, Naoki Yoshioka, Nobuyasu Ito, Shengjun Yuan, and Kristel Michielsen, ``Massively parallel quantum computer simulator, eleven years later'' Computer Physics Communications 237, 47–61 (2019).
https://doi.org/10.1016/j.cpc.2018.11.005
https://www.sciencedirect.com/science/article/pii/S0010465518303977
[13] Sergey Bravyiand David Gosset ``Improved classical simulation of quantum circuits dominated by Clifford gates'' Physical Review Letters 116, 250501 (2016).
https://doi.org/10.1103/PhysRevLett.116.250501
[14] Thomas Häner, Damian S. Steiger, Krysta Svore, and Matthias Troyer, ``A software methodology for compiling quantum programs'' Quantum Science and Technology (2018).
https://doi.org/10.1088/2058-9565/aaa5cc
[15] Matthew Amyand Vlad Gheorghiu ``staq—A full-stack quantum processing toolkit'' Quantum Science and Technology (2020).
https://doi.org/10.1088/2058-9565/ab9359
[16] Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, and Benoı̂t Valiron, ``Quipper: A Scalable Quantum Programming Language'' ACM SIGPLAN Not. (2013).
https://doi.org/10.1145/2499370.2462177
[17] N. Quetschlich, L. Burgholzer, and R. Wille, ``Predicting Good Quantum Circuit Compilation Options'' Int'l Conf. on Quantum Software (2023).
https://doi.org/10.48550/arXiv.2210.08027
[18] N. Quetschlich, L. Burgholzer, and R. Wille, ``Compiler Optimization for Quantum Computing Using Reinforcement Learning'' Design Automation Conf. (2023).
https://doi.org/10.48550/arXiv.2212.04508
[19] Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, and Lukas Burgholzer, ``Depth-optimal synthesis of Clifford circuits with SAT solvers'' (2023).
https://doi.org/10.48550/arXiv.2305.01674
arXiv:2305.01674
[20] Lukas Burgholzer, Sarah Schneider, and Robert Wille, ``Limiting the search space in optimal quantum circuit mapping'' Asia and South Pacific Design Automation Conf. (2022).
https://doi.org/10.1109/ASP-DAC52403.2022.9712555
[21] Robert Wille, Lukas Burgholzer, and Alwin Zulehner, ``Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations'' Design Automation Conf. (2019).
https://doi.org/10.1145/3316781.3317859
[22] Stefan Hillmich, Alwin Zulehner, and Robert Wille, ``Exploiting Quantum Teleportation in Quantum Circuit Mapping'' Asia and South Pacific Design Automation Conf. 792–797 (2021).
https://doi.org/10.1145/3394885.3431604
[23] Alwin Zulehner, Alexandru Paler, and Robert Wille, ``An efficient methodology for mapping quantum circuits to the IBM QX architectures'' IEEE Trans. on CAD of Integrated Circuits and Systems (2019).
https://doi.org/10.1109/TCAD.2018.2846658
[24] Alwin Zulehnerand Robert Wille ``Compiling SU(4) quantum circuits to IBM QX architectures'' Asia and South Pacific Design Automation Conf. 185–190 (2019).
https://doi.org/10.1145/3287624.3287704
[25] Irfansha van de Shaik ``Optimal layout synthesis for quantum circuits as classical planning'' (2023).
https://doi.org/10.48550/arXiv.2304.12014
arXiv:2304.12014
[26] Ji Liu, Ed Younis, Mathias Weiden, Paul Hovland, John Kubiatowicz, and Costin Iancu, ``Tackling the Qubit Mapping Problem with Permutation-Aware Synthesis'' (2023).
https://doi.org/10.48550/arXiv.2305.02939
arXiv:2305.02939
[27] Robert Willeand Lukas Burgholzer ``MQT QMAP: Efficient quantum circuit mapping'' Int'l Symp. on Physical Design (2023).
https://doi.org/10.1145/3569052.3578928
[28] Chi Zhang, Ari B. Hayes, Longfei Qiu, Yuwei Jin, Yanhao Chen, and Eddy Z. Zhang, ``Time-optimal qubit mapping'' Int'l Conf. On Architectural Support for Programming Languages and Operating Systems (2021).
https://doi.org/10.1145/3445814.3446706
[29] Prakash Murali, Jonathan M. Baker, Ali Javadi-Abhari, Frederic T. Chong, and Margaret Martonosi, ``Noise-adaptive compiler mappings for noisy intermediate-scale quantum computers'' Int'l Conf. On Architectural Support for Programming Languages and Operating Systems 1015–1029 (2019).
https://doi.org/10.1145/3297858.3304075
[30] Alexander Cowtan, Silas Dilkes, Ross Duncan, Alexandre Krajenbrink, Will Simmons, and Seyon Sivarajah, ``On the qubit routing problem'' Theory of quantum computation, communication and cryptography (2019).
https://doi.org/10.4230/LIPIcs.TQC.2019.5
[31] Seyon Sivarajah, Silas Dilkes, Alexander Cowtan, Will Simmons, Alec Edgington, and Ross Duncan, ``t|ket⟩: a retargetable compiler for NISQ devices'' Quantum Science and Technology 6, 014003 (2021).
https://doi.org/10.1088/2058-9565/ab8e92
[32] Bochen Tanand Jason Cong ``Optimal layout synthesis for quantum computing'' Int'l Conf. on CAD (2020).
https://doi.org/10.1145/3400302.3415620
[33] Gushu Li, Yufei Ding, and Yuan Xie, ``Tackling the qubit mapping problem for NISQ-era quantum devices'' Int'l Conf. On Architectural Support for Programming Languages and Operating Systems (2019).
https://doi.org/10.1145/3297858.3304023
[34] Kaitlin N. Smithand Mitchell A. Thornton ``A Quantum Computational Compiler and Design Tool for Technology-Specific Targets'' Int'l Symp. on Computer Architecture (2019).
https://doi.org/10.1145/3307650.3322262
[35] S. Yamashitaand I. L. Markov ``Fast Equivalence-Checking for Quantum Circuits'' Int'l Symp. on Nanoscale Architectures (2010).
https://doi.org/10.1109/NANOARCH.2010.5510932
[36] Philipp Niemann, Robert Wille, David Michael Miller, Mitchell A. Thornton, and Rolf Drechsler, ``QMDDs: Efficient Quantum Function Representation and Manipulation'' IEEE Trans. on CAD of Integrated Circuits and Systems (2016).
https://doi.org/10.1109/TCAD.2015.2459034
[37] Ross Duncan, Aleks Kissinger, Simon Perdrix, and John van de Wetering, ``Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus'' Quantum (2020).
https://doi.org/10.22331/q-2020-06-04-279
[38] Lukas Burgholzer, Rudy Raymond, and Robert Wille, ``Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow'' Int'l Conf. on Quantum Computing and Engineering (2020).
https://doi.org/10.1109/QCE49297.2020.00051
[39] Tom Peham, Lukas Burgholzer, and Robert Wille, ``Equivalence checking of quantum circuits with the ZX-Calculus'' Journal of Emerging and Selected Topics in Circuits and Systems (2022).
https://doi.org/10.1109/JETCAS.2022.3202204
[40] Tom Peham, Lukas Burgholzer, and Robert Wille, ``Equivalence checking of parameterized quantum circuits: Verifying the compilation of variational quantum algorithms'' Asia and South Pacific Design Automation Conf. (2023).
https://doi.org/10.1145/3566097.3567932
[41] Lukas Burgholzerand Robert Wille ``Advanced equivalence checking for quantum circuits'' IEEE Trans. on CAD of Integrated Circuits and Systems (2021).
https://doi.org/10.1109/TCAD.2020.3032630
[42] Lukas Burgholzer, Richard Kueng, and Robert Wille, ``Random stimuli generation for the verification of quantum circuits'' Asia and South Pacific Design Automation Conf. (2021).
https://doi.org/10.1145/3394885.3431590
[43] Lukas Burgholzerand Robert Wille ``Handling non-unitaries in quantum circuit equivalence checking'' Design Automation Conf. (2022).
https://doi.org/10.1145/3489517.3530482
[44] Wei Chun-Yu, Tsai Yuan-Hung, Jhang Chaio-Shan, and Jiang Jie-Hong, ``Accurate BDD-based Unitary Manipulation for Scalable and Robust Quantum Circuit Verification'' Design Automation Conf. (2022).
https://doi.org/10.1145/3489517.3530481
[45] Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, and Ronghui Gu, ``Giallar: Push-button verification for the Qiskit quantum compiler'' Int'l Conf. on Programming Language Design and Implementation 641–656 (2022).
https://doi.org/10.1145/3519939.3523431
[46] Robert Willeand Lukas Burgholzer ``Verification of Quantum Circuits'' (2022).
https://doi.org/10.1007/978-981-15-6401-7_43-1
[47] S.-A. Wang, C.-Y. Lu, I-M. Tsai, and S.-Y. Kuo, ``An XQDD-based verification method for quantum circuits'' IEICE Trans. Fundamentals 584–594 (2008).
https://doi.org/10.1093/ietfec/e91-a.2.584
[48] Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, and Sanjiang Li, ``Approximate Equivalence Checking of Noisy Quantum Circuits'' Design Automation Conf. 637–642 (2021).
https://doi.org/10.1109/DAC18074.2021.9586214
https://ieeexplore.ieee.org/document/9586214/
[49] Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, and Di-De Yen, ``An automata-based framework for verification and bug hunting in quantum circuits'' Programming Languages (2023).
https://doi.org/10.1145/3591270
[50] Hsiao-Lun Liu, Yi-Ting Li, Yung-Chih Chen, and Chun-Yao Wang, ``A Robust Approach to Detecting Non-Equivalent Quantum Circuits Using Specially Designed Stimuli'' Asia and South Pacific Design Automation Conf. 696–701 (2023).
https://doi.org/10.1145/3566097.3567935
[51] Qiskit contributors ``Qiskit: An Open-source Framework for Quantum Computing'' (2023).
https://doi.org/10.5281/zenodo.2573505
[52] Cirq Developers ``Cirq'' (2021) See full list of authors on Github: https://github .com/quantumlib/Cirq/graphs/contributor.
https://doi.org/10.5281/zenodo.5182845
[53] Robert S. Smith, Michael J. Curtis, and William J. Zeng, ``A Practical Quantum Instruction Set Architecture'' (2016).
https://doi.org/10.48550/arXiv.1608.03355
arXiv:1608.03355
[54] Thomas Lubinski, Sonika Johri, Paul Varosy, Jeremiah Coleman, Luning Zhao, Jason Necaise, Charles H. Baldwin, Karl Mayer, and Timothy Proctor, ``Application-Oriented Performance Benchmarks for Quantum Computing'' IEEE Transactions on Quantum Engineering (2023).
https://doi.org/10.1109/TQE.2023.3253761
[55] Teague Tomesh, Pranav Gokhale, Victory Omole, Gokul Subramanian Ravi, Kaitlin N. Smith, Joshua Viszlai, Xin-Chuan Wu, Nikos Hardavellas, Margaret R. Martonosi, and Frederic T. Chong, ``SupermarQ: A Scalable Quantum Benchmark Suite'' IEEE Int'l Symp. on High-Performance Computer Architecture (2022).
https://doi.org/10.1109/HPCA53966.2022.00050
[56] Ang Li, Samuel Stein, Sriram Krishnamoorthy, and James Ang, ``QASMBench: A Low-Level Quantum Benchmark Suite for NISQ Evaluation and Simulation'' ACM Transactions on Quantum Computing (2022).
https://doi.org/10.1145/3550488
[57] R. Wille, D. Große, L. Teuber, G. W. Dueck, and R. Drechsler, ``RevLib: An Online Resource for Reversible Functions and Reversible Circuits'' Int'l Symp. on Multi-Valued Logic (2008) RevLib is available at http://www.revlib.org.
https://doi.org/10.1109/ISMVL.2008.43
[58] Andrew Cross, Ali Javadi-Abhari, Thomas Alexander, Niel De Beaudrap, Lev S. Bishop, Steven Heidel, Colm A. Ryan, Prasahnt Sivarajah, John Smolin, Jay M. Gambetta, and Blake R. Johnson, ``OpenQASM 3: A Broader and Deeper Quantum Assembly Language'' ACM Transactions on Quantum Computing (2022).
https://doi.org/10.1145/3505636
[59] Thomas Grurl, Richard Kueng, Jürgen Fuß, and Robert Wille, ``Stochastic Quantum Circuit Simulation Using Decision Diagrams'' Design, Automation and Test in Europe (2021).
https://doi.org/10.23919/DATE51398.2021.9474135
[60] Benjamin Villalonga, Sergio Boixo, Bron Nelson, Christopher Henze, Eleanor Rieffel, Rupak Biswas, and Salvatore Mandrà, ``A flexible high-performance simulator for verifying and benchmarking quantum circuits implemented on real hardware'' npj Quantum Information (2019).
https://doi.org/10.1038/s41534-019-0196-1
[61] Tyson Jones, Anna Brown, Ian Bush, and Simon C. Benjamin, ``QuEST and High Performance Simulation of Quantum Computers'' Scientific Reports (2019).
https://doi.org/10.1038/s41598-019-47174-9
[62] Thomas Grurl, Jurgen Fuß, and Robert Wille, ``Noise-aware quantum circuit simulation with decision diagrams'' IEEE Trans. on CAD of Integrated Circuits and Systems (2023).
https://doi.org/10.1109/TCAD.2022.3182628
[63] Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Sylvain Collange, and Fernando Magno Quintao Pereira, ``Qubit Allocation'' Int'l Symp. on Code Generation and Optimization (2018).
https://doi.org/10.1145/3168822
[64] Dominik Janzing, Pawel Wocjan, and Thomas Beth, ````Non-identity check'' is QMA-complete'' Int. J. Quantum Inform. (2005).
https://doi.org/10.1142/S0219749905001067
[65] Andrew W. Cross, Lev S. Bishop, John A. Smolin, and Jay M. Gambetta, ``Open Quantum Assembly Language'' (2017).
https://doi.org/10.48550/arXiv.1707.03429
arXiv:1707.03429
[66] Peter W Shor ``Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer'' SIAM review (1999).
https://doi.org/10.1137/S0097539795293172
[67] Lov K Grover ``A fast quantum mechanical algorithm for database search'' Symp. on Theory of Computing (1996).
https://doi.org/10.1145/237814.237866
[68] M. Cerezo, Andrew Arrasmith, Ryan Babbush, Simon C. Benjamin, Suguru Endo, Keisuke Fujii, Jarrod R. McClean, Kosuke Mitarai, Xiao Yuan, Lukasz Cincio, and Patrick J. Coles, ``Variational Quantum Algorithms'' Nature Reviews Physics (2021).
https://doi.org/10.1038/s42254-021-00348-9
[69] Boxi Li, Shahnawaz Ahmed, Sidhant Saraogi, Neill Lambert, Franco Nori, Alexander Pitchford, and Nathan Shammah, ``Pulse-level noisy quantum circuits with QuTiP'' Quantum (2022).
https://doi.org/10.22331/q-2022-01-24-630
[70] Jernej Rudi Finžgar, Philipp Ross, Leonhard Hölscher, Johannes Klepsch, and Andre Luckow, ``QUARK: A Framework for Quantum Computing Application Benchmarking'' Int'l Conf. on Quantum Computing and Engineering (2022).
https://doi.org/10.1109/QCE53715.2022.00042
Cited by
[1] Philipp Seitz, Manuel Geiger, and Christian B. Mendl, ISC High Performance 2024 Research Paper Proceedings (39th International Conference) 1 (2024) ISBN:978-3-9826336-0-2.
[2] Thomas Grurl, Christoph Pichler, Jürgen Fuß, and Robert Wille, 2023 36th International Conference on VLSI Design and 2023 22nd International Conference on Embedded Systems (VLSID) 301 (2023) ISBN:979-8-3503-4678-7.
[3] Jingyi Mei, Tim Coopmans, Marcello Bonsangue, and Alfons Laarman, Lecture Notes in Computer Science 14740, 401 (2024) ISBN:978-3-031-63500-7.
[4] Yannick Stade, Ludwig Schmid, Lukas Burgholzer, and Robert Wille, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 784 (2024) ISBN:979-8-3315-4137-8.
[5] Sanjiang Li, Xiangzhen Zhou, and Yuan Feng, "Benchmarking Quantum Circuit Transformation With QKNOB Circuits", IEEE Transactions on Quantum Engineering 6, 1 (2025).
[6] Waldemir Cambiucci, Regina Melo Silveira, and Wilson Vicente Ruggiero, 2023 IEEE International Conference on Quantum Computing and Engineering (QCE) 268 (2023) ISBN:979-8-3503-4323-6.
[7] Boran Apak, Medina Bandic, Aritra Sarkar, and Sebastian Feld, Lecture Notes in Computer Science 14837, 235 (2024) ISBN:978-3-031-63777-3.
[8] Qirui Zhang, Mehdi Saligane, Hun-Seok Kim, David Blaauw, Georgios Tzimpragos, and Dennis Sylvester, 2024 25th International Symposium on Quality Electronic Design (ISQED) 1 (2024) ISBN:979-8-3503-0927-0.
[9] R Au-Yeung, B Camino, O Rathore, and V Kendon, "Quantum algorithms for scientific computing", Reports on Progress in Physics 87 11, 116001 (2024).
[10] Vicente Lopez-Oliva, Jose M. Badia, and Maribel Castillo, "Efficient quantum circuit contraction using tensor decision diagrams", The Journal of Supercomputing 81 1, 354 (2025).
[11] Oğuzcan Kırmemiş, Francisco Romão, Emmanouil Giortamis, and Pramod Bhatotia, Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization 299 (2025) ISBN:9798400712753.
[12] Norhan Elsayed Amer, Walid Gomaa, Keiji Kimura, Kazunori Ueda, and Ahmed El-Mahdy, "On the optimality of quantum circuit initial mapping using reinforcement learning", EPJ Quantum Technology 11 1, 19 (2024).
[13] Valentin Gilbert, Julien Rodriguez, and Stephane Louise, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 531 (2024) ISBN:979-8-3315-4137-8.
[14] Philipp Seitz, Manuel Geiger, Christian Ufrecht, Axel Plinge, Christopher Mutschler, Daniel D. Scherer, and Christian B. Mendl, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 292 (2024) ISBN:979-8-3315-4137-8.
[15] Lukas Burgholzer, Antonio Jimenez-Pastor, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, and Robert Wille, "Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams", ACM Transactions on Quantum Computing 6 2, 1 (2025).
[16] Asmar Muqeet, Shaukat Ali, Tao Yue, and Paolo Arcaini, Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering 80 (2024) ISBN:9798400706585.
[17] Shui Jiang, Rongliang Fu, Lukas Burgholzer, Robert Wille, Tsung-Yi Ho, and Tsung-Wei Huang, Proceedings of the 53rd International Conference on Parallel Processing 388 (2024) ISBN:9798400717932.
[18] K Campbell, A Lawey, and M Razavi, "Quantum data centres: a simulation-based comparative noise analysis", Quantum Science and Technology 10 1, 015052 (2025).
[19] Ranjani G. Sundaram, Himanshu Gupta, and C. R. Ramakrishnan, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 1938 (2024) ISBN:979-8-3315-4137-8.
[20] Hoa T. Nguyen, Muhammad Usman, and Rajkumar Buyya, "QFaaS: A Serverless Function-as-a-Service framework for Quantum computing", Future Generation Computer Systems 154, 281 (2024).
[21] Nils Quetschlich, Lukas Burgholzer, and Robert Wille, "MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing", ACM Transactions on Quantum Computing 6 1, 1 (2025).
[22] Amr Elsharkawy, Xiaorang Guo, and Martin Schulz, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 774 (2024) ISBN:979-8-3315-4137-8.
[23] Daniel Schoenberger, Stefan Hillmich, Matthias Brand, and Robert Wille, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 1102 (2024) ISBN:979-8-3315-4137-8.
[24] Mst Shamima Aktar, Peng Liang, Muhammad Waseem, Amjed Tahir, Aakash Ahmad, Beiqi Zhang, and Zengyang Li, "Architecture decisions in quantum software systems: An empirical study on Stack Exchange and GitHub", Information and Software Technology 177, 107587 (2025).
[25] Enhyeok Jang, Youngmin Kim, Hyungseok Kim, Seungwoo Choi, Yipeng Huang, and Won Woo Ro, Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization 459 (2025) ISBN:9798400712753.
[26] Daniel Schoenberger, Stefan Hillmich, Matthias Brandl, and Robert Wille, 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC) 127 (2024) ISBN:979-8-3503-9354-5.
[27] Darya Martyniuk, Johannes Jung, and Adrian Paschke, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 1695 (2024) ISBN:979-8-3315-4137-8.
[28] Christian Bøgh Larsen, Simon Brun Olsen, Kim Guldstrand Larsen, and Christian Schilling, "Contraction Heuristics for Tensor Decision Diagrams", Entropy 26 12, 1058 (2024).
[29] Ludwig Schmid, David F Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller, and Robert Wille, "Computational capabilities and compiler development for neutral atom quantum processors—connecting tool developers and hardware experts", Quantum Science and Technology 9 3, 033001 (2024).
[30] Pranit Malhotra, Ajay Kumar, and Sunita Garhwal, "A Systematic Review of Quantum BenchMarking", International Journal of Theoretical Physics 63 11, 278 (2024).
[31] Tejas Shinde, Ljubomir Budinski, Ossi Niemimäki, Valtteri Lahtinen, Helena Liebelt, and Rui Li, "Utilizing classical programming principles in the Intel Quantum SDK: implementation of quantum lattice Boltzmann method", ACM Transactions on Quantum Computing 6 1, 1 (2025).
[32] A. Jiménez-Pastor, K. G. Larsen, M. Tribastone, and M. Tschaikowski, Lecture Notes in Computer Science 14571, 343 (2024) ISBN:978-3-031-57248-7.
[33] Mengdi Yang, Feng Yue, Weilong Wang, Xiangdong Meng, Lixin Wang, Pengyu Han, Haoran He, Benzheng Yuan, Zhiqiang Fan, Chenhui Wang, Qiming Du, Danyang Zheng, Xuefei Feng, and Zheng Shan, "LIRB-Based Quantum Circuit Fidelity Assessment and Gate Fault Diagnosis", Computers, Materials & Continua 82 2, 2215 (2025).
[34] Medina Bandic, Pablo le Henaff, Anabel Ovide, Pau Escofet, Sahar Ben Rached, Santiago Rodrigo, Hans van Someren, Sergi Abadal, Eduard Alarcón, Carmen G Almudever, and Sebastian Feld, "Profiling quantum circuits for their efficient execution on single- and multi-core architectures", Quantum Science and Technology 10 1, 015060 (2025).
[35] Yusuke Kimura, Shaowen Li, Hiroyuki Sato, and Masahiro Fujita, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 757 (2024) ISBN:979-8-3315-4137-8.
[36] Jérôme Rouzé, Nouredine Melab, and Daniel Tuyttens, Communications in Computer and Information Science 2311, 305 (2025) ISBN:978-3-031-77940-4.
[37] WenBo Liu, Fei Wang, Han Lin, and JianDong Shang, "A user-centric quantum benchmarking test suite and evaluation framework", Quantum Information Processing 22 11, 397 (2023).
[38] Navnil Choudhury, Chao Lu, and Kanad Basu, "Quantum Assertion Scheme for Assuring Qudit Robustness", IEEE Computer Architecture Letters 23 2, 247 (2024).
[39] Hoa T. Nguyen, Muhammad Usman, and Rajkumar Buyya, 2024 IEEE 17th International Conference on Cloud Computing (CLOUD) 475 (2024) ISBN:979-8-3503-6853-6.
[40] Hoa T. Nguyen, Muhammad Usman, and Rajkumar Buyya, "iQuantum: A toolkit for modeling and simulation of quantum computing environments", Software: Practice and Experience 54 6, 1141 (2024).
[41] Mirko Amico, Helena Zhang, Petar Jurcevic, Lev S. Bishop, Paul Nation, Andrew Wack, and David C. McKay, 2023 IEEE International Conference on Quantum Computing and Engineering (QCE) 692 (2023) ISBN:979-8-3503-4323-6.
[42] Waldemir Cambiucci, Regina Melo Silveira, and Wilson Vicente Ruggiero, Anais do I Workshop de Redes Quânticas (WQuNets 2024) 7 (2024).
[43] Leo Sünkel, Manik Dawar, and Thomas Gabor, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 167 (2024) ISBN:979-8-3315-4137-8.
[44] Jingyi Mei, Marcello Bonsangue, and Alfons Laarman, Lecture Notes in Computer Science 14683, 555 (2024) ISBN:978-3-031-65632-3.
[45] Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, and Zhihao Jia, "Quarl: A Learning-Based Quantum Circuit Optimizer", Proceedings of the ACM on Programming Languages 8 OOPSLA1, 555 (2024).
[46] Aleksandra Świerkowska, Jorge Echavarria, Laura Schulz, and Martin Schulz, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 306 (2024) ISBN:979-8-3315-4137-8.
[47] Timothy Proctor, Kevin Young, Andrew D. Baczewski, and Robin Blume-Kohout, "Benchmarking quantum computers", Nature Reviews Physics 7 2, 105 (2025).
[48] Min Yang, Xiaolong Guo, and Lei Jiang, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 796 (2024) ISBN:979-8-3315-4137-8.
[49] Nikiforos Paraskevopoulos, Carmen G. Almudever, and Sebastian Feld, "BeSnake: A Routing Algorithm for Scalable Spin-Qubit Architectures", IEEE Transactions on Quantum Engineering 5, 1 (2024).
[50] Saikat Basu, Arnav Das, Amit Saha, Amlan Chakrabarti, and Susmita Sur-Kolay, "FragQC: An efficient quantum error reduction technique using quantum circuit fragmentation", Journal of Systems and Software 214, 112085 (2024).
[51] Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schönberger, Yannick Stade, and Lukas Burgholzer, 2024 IEEE International Conference on Quantum Software (QSW) 1 (2024) ISBN:979-8-3503-6847-5.
[52] Seyed Mohammad Mousavi and Naser Mohammadzadeh, "Physical synthesis in distributed quantum architectures", Physica Scripta 100 2, 025105 (2025).
[53] Guoqiang Shu, Yangyang Fei, Zongjiang Yi, Jinchen Xu, Fudong Liu, and Zheng Shan, "Design Method of Meta Operators Based on Equivalence Class Distribution", Journal of Physics: Conference Series 2620 1, 012009 (2023).
[54] Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille, and Dieter Kranzlmüller, "Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware", Electronic Proceedings in Theoretical Computer Science 406, 96 (2024).
[55] Carlos A. Riofr\'io, Johannes Klepsch, Jernej Rudi Fin\v{z}gar, Florian Kiwit, Leonhard H\"olscher, Marvin Erdmann, Lukas M\"uller, Chandan Kumar, Youssef Achari Berrada, and Andre Luckow, "Quantum Computing for Automotive Applications", arXiv:2409.14183, (2024).
[56] Mirko Amico, Helena Zhang, Petar Jurcevic, Lev S. Bishop, Paul Nation, Andrew Wack, and David C. McKay, "Defining Standard Strategies for Quantum Benchmarks", arXiv:2303.02108, (2023).
[57] Tom Peham, Lukas Burgholzer, and Robert Wille, "Equivalence Checking of Quantum Circuits With the ZX-Calculus", IEEE Journal on Emerging and Selected Topics in Circuits and Systems 12 3, 662 (2022).
[58] Mathias Weiden, Justin Kalloor, Ed Younis, John Kubiatowicz, and Costin Iancu, "High-Precision Multi-Qubit Clifford+T Synthesis by Unitary Diagonalization", arXiv:2409.00433, (2024).
[59] Lukas Burgholzer, Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, and Robert Wille, "Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams", arXiv:2308.09510, (2023).
[60] Oğuzcan Kırmemiş, Francisco Romão, Emmanouil Giortamis, and Pramod Bhatotia, "Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures", arXiv:2409.07870, (2024).
[61] Matteo Paltenghi and Michael Pradel, "A Survey on Testing and Analysis of Quantum Software", arXiv:2410.00650, (2024).
[62] Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille, and Dieter Kranzlmüller, "Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware", arXiv:2403.10864, (2024).
[63] Emmanouil Giortamis, Francisco Romão, Nathaniel Tornow, and Pramod Bhatotia, "QOS: A Quantum Operating System", arXiv:2406.19120, (2024).
[64] Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schönberger, Yannick Stade, and Lukas Burgholzer, "The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing", arXiv:2405.17543, (2024).
[65] Thomas Lubinski, Joshua J. Goings, Karl Mayer, Sonika Johri, Nithin Reddy, Aman Mehta, Niranjan Bhatia, Sonny Rappaport, Daniel Mills, Charles H. Baldwin, Luning Zhao, Aaron Barbosa, Smarak Maity, and Pranav S. Mundada, "Quantum Algorithm Exploration using Application-Oriented Performance Benchmarks", arXiv:2402.08985, (2024).
[66] Nils Quetschlich, Lukas Burgholzer, and Robert Wille, "Predicting Good Quantum Circuit Compilation Options", arXiv:2210.08027, (2022).
[67] Amr Elsharkawy, Xiaorang Guo, and Martin Schulz, "Integration of Quantum Accelerators into HPC: Toward a Unified Quantum Platform", arXiv:2407.18527, (2024).
[68] Yannick Stade, Ludwig Schmid, Lukas Burgholzer, and Robert Wille, "An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures", arXiv:2405.08068, (2024).
[69] Nils Quetschlich, Lukas Burgholzer, and Robert Wille, "Compiler Optimization for Quantum Computing Using Reinforcement Learning", arXiv:2212.04508, (2022).
[70] Tom Peham, Lukas Burgholzer, and Robert Wille, "On Optimal Subarchitectures for Quantum Circuit Mapping", arXiv:2210.09321, (2022).
[71] Saikat Basu, Arnav Das, Amit Saha, Amlan Chakrabarti, and Susmita Sur-Kolay, "FragQC: An Efficient Quantum Error Reduction Technique using Quantum Circuit Fragmentation", arXiv:2310.00444, (2023).
[72] Konrad Jałowiecki, Paulina Lewandowska, and Łukasz Pawela, "PyQBench: A Python library for benchmarking gate-based quantum computers", SoftwareX 24, 101558 (2023).
[73] Philipp Seitz, Manuel Geiger, Christian Ufrecht, Axel Plinge, Christopher Mutschler, Daniel D. Scherer, and Christian B. Mendl, "SCIM MILQ: An HPC Quantum Scheduler", arXiv:2404.03512, (2024).
[74] Philipp Seitz, Manuel Geiger, and Christian B. Mendl, "Multithreaded parallelism for heterogeneous clusters of QPUs", arXiv:2311.17490, (2023).
[75] Nathaniel Tornow, Emmanouil Giortamis, and Pramod Bhatotia, "Scaling Quantum Computations via Gate Virtualization", arXiv:2406.18410, (2024).
[76] Finn Voichick, Leonidas Lampropoulos, and Robert Rand, "COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation", arXiv:2311.02769, (2023).
[77] Jingcheng Shen, Linbo Long, Masao Okita, and Fumihiko Ino, "A Reorder Trick for Decision Diagram Based Quantum Circuit Simulation", arXiv:2211.07110, (2022).
[78] Lukas Burgholzer, Alexander Ploier, and Robert Wille, "Simulation Paths for Quantum Circuit Simulation with Decision Diagrams", arXiv:2203.00703, (2022).
[79] Robert Wille and Lukas Burgholzer, "MQT QMAP: Efficient Quantum Circuit Mapping", arXiv:2301.11935, (2023).
[80] Pau Escofet, Santiago Rodrigo, Artur Garcia-Sáez, Eduard Alarcón, Sergi Abadal, and Carmen G. Almudéver, "An Accurate Efficient Analytic Model of Fidelity under Depolarizing Noise oriented to Large Scale Quantum System Design", arXiv:2503.06693, (2025).
[81] Damian Rovara, Lukas Burgholzer, and Robert Wille, "Automatically Refining Assertions for Efficient Debugging of Quantum Programs", arXiv:2412.14252, (2024).
[82] Damian Rovara, Lukas Burgholzer, and Robert Wille, "A Framework for Debugging Quantum Programs", arXiv:2412.12269, (2024).
The above citations are from Crossref's cited-by service (last updated successfully 2025-04-06 06:44:07) and SAO/NASA ADS (last updated successfully 2025-04-06 18:53:01). The list may be incomplete as not all publishers provide suitable and complete citation data.
Could not fetch Crossref cited-by data during last attempt 2025-04-06 18:52:50: cURL error 28: Operation timed out after 10000 milliseconds with 32246 bytes received
This Paper is published in Quantum under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.