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] 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).
[2] 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.
[3] 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.
[4] 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.
[5] 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.
[6] Jingyi Mei, Tim Coopmans, Marcello Bonsangue, and Alfons Laarman, Lecture Notes in Computer Science 14740, 401 (2024) ISBN:978-3-031-63500-7.
[7] Jingyi Mei, Marcello Bonsangue, and Alfons Laarman, Lecture Notes in Computer Science 14683, 555 (2024) ISBN:978-3-031-65632-3.
[8] 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).
[9] 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).
[10] 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.
[11] 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.
[12] 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.
[13] 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.
[14] 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).
[15] Boran Apak, Medina Bandic, Aritra Sarkar, and Sebastian Feld, Lecture Notes in Computer Science 14837, 235 (2024) ISBN:978-3-031-63777-3.
[16] 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.
[17] 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).
[18] 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).
[19] 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).
[20] 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).
[21] 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).
[22] 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).
[23] 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).
[24] Nils Quetschlich, Lukas Burgholzer, and Robert Wille, "Predicting Good Quantum Circuit Compilation Options", arXiv:2210.08027, (2022).
[25] Amr Elsharkawy, Xiaorang Guo, and Martin Schulz, "Integration of Quantum Accelerators into HPC: Toward a Unified Quantum Platform", arXiv:2407.18527, (2024).
[26] 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).
[27] Timothy Proctor, Kevin Young, Andrew D. Baczewski, and Robin Blume-Kohout, "Benchmarking quantum computers", arXiv:2407.08828, (2024).
[28] Nils Quetschlich, Lukas Burgholzer, and Robert Wille, "Compiler Optimization for Quantum Computing Using Reinforcement Learning", arXiv:2212.04508, (2022).
[29] 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).
[30] 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).
[31] 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).
[32] Nathaniel Tornow, Emmanouil Giortamis, and Pramod Bhatotia, "Scaling Quantum Computations via Gate Virtualization", arXiv:2406.18410, (2024).
[33] Konrad Jałowiecki, Paulina Lewandowska, and Łukasz Pawela, "PyQBench: A Python library for benchmarking gate-based quantum computers", SoftwareX 24, 101558 (2023).
[34] Tom Peham, Lukas Burgholzer, and Robert Wille, "On Optimal Subarchitectures for Quantum Circuit Mapping", arXiv:2210.09321, (2022).
[35] Philipp Seitz, Manuel Geiger, and Christian B. Mendl, "Multithreaded parallelism for heterogeneous clusters of QPUs", arXiv:2311.17490, (2023).
[36] Robert Wille and Lukas Burgholzer, "MQT QMAP: Efficient Quantum Circuit Mapping", arXiv:2301.11935, (2023).
[37] Lukas Burgholzer, Alexander Ploier, and Robert Wille, "Simulation Paths for Quantum Circuit Simulation with Decision Diagrams", arXiv:2203.00703, (2022).
[38] Finn Voichick, Leonidas Lampropoulos, and Robert Rand, "COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation", arXiv:2311.02769, (2023).
[39] 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).
[40] Emmanouil Giortamis, Francisco Romão, Nathaniel Tornow, and Pramod Bhatotia, "QOS: A Quantum Operating System", arXiv:2406.19120, (2024).
[41] 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).
[42] Jingcheng Shen, Linbo Long, Masao Okita, and Fumihiko Ino, "A Reorder Trick for Decision Diagram Based Quantum Circuit Simulation", arXiv:2211.07110, (2022).
The above citations are from Crossref's cited-by service (last updated successfully 2024-08-20 15:28:58) and SAO/NASA ADS (last updated successfully 2024-08-20 15:28:59). The list may be incomplete as not all publishers provide suitable and complete citation data.
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.