Benchmarking quantum computers

T Proctor, K Young, AD Baczewski… - Nature Reviews …, 2025 - nature.com
The rapid pace of development in quantum computing technology has sparked a
proliferation of benchmarks to assess the performance of quantum computing hardware and …

Quarl: A learning-based quantum circuit optimizer

Z Li, J Peng, Y Mei, S Lin, Y Wu, O Padon… - Proceedings of the ACM …, 2024 - dl.acm.org
Optimizing quantum circuits is challenging due to the very large search space of functionally
equivalent circuits and the necessity of applying transformations that temporarily decrease …

Quantum algorithms for scientific computing

R Au-Yeung, B Camino, O Rathore… - Reports on Progress in …, 2024 - iopscience.iop.org
Quantum computing promises to provide the next step up in computational power for diverse
application areas. In this review, we examine the science behind the quantum hype, and the …

Computational capabilities and compiler development for neutral atom quantum processors—connecting tool developers and hardware experts

L Schmid, DF Locher, M Rispler, S Blatt… - Quantum Science …, 2024 - iopscience.iop.org
Abstract Neutral Atom Quantum Computing (NAQC) emerges as a promising hardware
platform primarily due to its long coherence times and scalability. Additionally, NAQC offers …

Simulating quantum circuits by model counting

J Mei, M Bonsangue, A Laarman - International Conference on Computer …, 2024 - Springer
Quantum circuit compilation comprises many computationally hard reasoning tasks that lie
inside# P and its decision counterpart in PP. The classical simulation of universal quantum …

MQT predictor: Automatic device selection with device-specific circuit compilation for quantum computing

N Quetschlich, L Burgholzer, R Wille - ACM Transactions on Quantum …, 2025 - dl.acm.org
Fueled by recent accomplishments in quantum computing hardware and software, an
increasing number of problems from various application domains are being explored as …

MQT QMAP: Efficient quantum circuit map**

R Wille, L Burgholzer - … of the 2023 International Symposium on Physical …, 2023 - dl.acm.org
Quantum computing is an emerging technology that has the potential to revolutionize fields
such as cryptography, machine learning, optimization, and quantum simulation. However, a …

Equivalence checking of quantum circuits with the ZX-calculus

T Peham, L Burgholzer, R Wille - IEEE Journal on Emerging …, 2022 - ieeexplore.ieee.org
As state-of-the-art quantum computers are capable of running increasingly complex
algorithms, the need for automated methods to design and test potential applications rises …

On optimal subarchitectures for quantum circuit map**

T Peham, L Burgholzer, R Wille - ACM Transactions on Quantum …, 2023 - dl.acm.org
Compiling a high-level quantum circuit down to a low-level description that can be executed
on state-of-the-art quantum computers is a crucial part of the software stack for quantum …

[HTML][HTML] Qfaas: A serverless function-as-a-service framework for quantum computing

HT Nguyen, M Usman, R Buyya - Future Generation Computer Systems, 2024 - Elsevier
Quantum computing is rapidly reaching a point in which its application design and
engineering aspects must be seriously considered. However, quantum software engineering …