Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1806.01861 · Microprocessors and Microsystems

Advantages of a modular high-level quantum programming framework

Damian S. Steiger, Thomas Häner, Matthias Troyer

Published Feb 22, 2019• 6 citations
arXivHTMLPDF
DOI
10.1016/j.micpro.2019.02.003

Related papers

Toward an architecture for quantum programming

Stefano Bettelli, Tommaso Calarco, L. Serafini

arXiv:cs/0103009•The European Physical Journal D•Aug 1, 2003•151 citations

Quantum Circuit Synthesis from C via Multi-Level Intermediate Representation

Giacomo Lancellotti, Francesco Rosnati, Leonardo Ignazio Pagliochini +1 more

Programming quantum computers is a complex endeavor that requires highly specialized knowledge. Given the growing momentum of quantum computing, high-level synthesis of quantum circuits from well-known classical languages could significantly benefit the ecosystem, allowing specialists to focus on the parts of an application where quantum computing offers the greatest advantage, while letting the compiler handle the boilerplate code. To bridge this gap, we present a high-level synthesis framework that translates C programs into quantum circuits through a sequence of modular and structured Multi-Level Intermediate Representation (MLIR) dialects. These dialects expose classical control and data flow in a form compatible with quantum constraints, enabling reversible and unitary circuit generation. Our framework maps conditionals, loops, and arithmetic operations, supports configurable bitwidths, and allows retargetability to different quantum backends. Furthermore, we demonstrate a correlation between classical program metrics—such as instruction count and cyclomatic complexity—and the performance characteristics of the resulting quantum circuits. To validate our methodology, we quantify compilation resource usage, showing a linear scaling of memory footprint and a quadratic scaling of CPU time as a function of quantum circuit complexity. Our tool generates circuits in OpenQASM format, facilitating integration with current quantum programming frameworks.

ACM Symposium on Applied Computing•Mar 23, 2026•1 citation

TOWARD A PRACTICAL ENVIRONMENT FOR QUANTUM PROGRAMMING

Shigeru Yamashita, Masaki Nakanishi, T. Watanabe

•Oct 1, 2005•0 citations

Modular Architecture for Classical Simulation of Quantum Circuits

Aniket S. Dalvi, Filip Mazurek, Leon Riesebos +3 more

Duke ARTIQ Extensions (DAX) provides a framework for writing modular control software for ion-trap quantum systems. DAX allows users to interface with the system at the gate level using an intermediate representation called DAX.program. However, DAX does not have the tools needed to simulate these programs to see quantum state evolutions, as DAX only allows for simulations at the device level. We propose a modular simulation framework, DAX.program-sim (DPS), that can simulate quantum programs at the level of quantum operations. This addition to DAX for classical simulation of quantum systems is vital for testing, benchmarking, and verification of quantum hardware. The DPS pipeline is designed to have input identical to the one that runs on the hardware. Our architecture allows flexible backends for simulation, enabling both gate-level simulations and pulse-level simulations with and without noise. We demonstrate this unified workflow, executing the same DAX.program file in simulation as well as on hardware. As a specific example, we run benchmarking circuits using simulators targeting ion trap quantum computers and compare them to hardware results of the same circuits.

IEEE International Conference on Quantum Computing and Engineering (QCE)•Sep 1, 2022•2 citations

A Full Stack Framework for High Performance Quantum-Classical Computing

Xin Zhan, Katherine Grace Johnson, Aniello Esposito +5 more

To address the growing needs for scalable High Performance Computing (HPC) and Quantum Computing (QC) integration, we present our HPC-QC full stack framework and its hybrid workload development capability with modular hardware/device-agnostic software integration approach. The latest development in extensible interfaces for quantum programming, dispatching, and compilation within existing mature HPC programming environment are demonstrated. Our HPC-QC full stack enables high-level, portable invocation of quantum kernels from commercial quantum SDKs within HPC meta-program in compiled languages (C/C++ and Fortran) as well as Python through a quantum programming interface library extension. An adaptive circuit knitting hypervisor is being developed to partition large quantum circuits into sub-circuits that fit on smaller noisy quantum devices and classical simulators. At the lower-level, we leverage Cray LLVM-based compilation framework to transform and consume LLVM IR and Quantum IR (QIR) from commercial quantum software frontends in a retargetable fashion to different hardware architectures. Several hybrid HPC-QC multi-node multi-CPU and GPU workloads (including solving linear system of equations, quantum optimization, and simulating quantum phase transitions) have been demonstrated on HPE EX supercomputers to illustrate functionality and execution viability for all three components developed so far. This work provides the framework for a unified quantum-classical programming environment built upon classical HPC software stack (compilers, libraries, parallel runtime and process scheduling).

arXiv:2510.20128•Oct 23, 2025•0 citations

Towards a quantum programming language

Ellie D’Hondt

•Jan 1, 2003•0 citations
Programming quantum computers is a complex endeavor that requires highly specialized knowledge. Given the growing momentum of quantum computing, high-level synthesis of quantum circuits from well-known classical languages could significantly benefit the ecosystem, allowing specialists to focus on the parts of an application where quantum computing offers the greatest advantage, while letting the compiler handle the boilerplate code. To bridge this gap, we present a high-level synthesis framework that translates C programs into quantum circuits through a sequence of modular and structured Multi-Level Intermediate Representation (MLIR) dialects. These dialects expose classical control and data flow in a form compatible with quantum constraints, enabling reversible and unitary circuit generation. Our framework maps conditionals, loops, and arithmetic operations, supports configurable bitwidths, and allows retargetability to different quantum backends. Furthermore, we demonstrate a correlation between classical program metrics—such as instruction count and cyclomatic complexity—and the performance characteristics of the resulting quantum circuits. To validate our methodology, we quantify compilation resource usage, showing a linear scaling of memory footprint and a quadratic scaling of CPU time as a function of quantum circuit complexity. Our tool generates circuits in OpenQASM format, facilitating integration with current quantum programming frameworks.
Duke ARTIQ Extensions (DAX) provides a framework for writing modular control software for ion-trap quantum systems. DAX allows users to interface with the system at the gate level using an intermediate representation called DAX.program. However, DAX does not have the tools needed to simulate these programs to see quantum state evolutions, as DAX only allows for simulations at the device level. We propose a modular simulation framework, DAX.program-sim (DPS), that can simulate quantum programs at the level of quantum operations. This addition to DAX for classical simulation of quantum systems is vital for testing, benchmarking, and verification of quantum hardware. The DPS pipeline is designed to have input identical to the one that runs on the hardware. Our architecture allows flexible backends for simulation, enabling both gate-level simulations and pulse-level simulations with and without noise. We demonstrate this unified workflow, executing the same DAX.program file in simulation as well as on hardware. As a specific example, we run benchmarking circuits using simulators targeting ion trap quantum computers and compare them to hardware results of the same circuits.
To address the growing needs for scalable High Performance Computing (HPC) and Quantum Computing (QC) integration, we present our HPC-QC full stack framework and its hybrid workload development capability with modular hardware/device-agnostic software integration approach. The latest development in extensible interfaces for quantum programming, dispatching, and compilation within existing mature HPC programming environment are demonstrated. Our HPC-QC full stack enables high-level, portable invocation of quantum kernels from commercial quantum SDKs within HPC meta-program in compiled languages (C/C++ and Fortran) as well as Python through a quantum programming interface library extension. An adaptive circuit knitting hypervisor is being developed to partition large quantum circuits into sub-circuits that fit on smaller noisy quantum devices and classical simulators. At the lower-level, we leverage Cray LLVM-based compilation framework to transform and consume LLVM IR and Quantum IR (QIR) from commercial quantum software frontends in a retargetable fashion to different hardware architectures. Several hybrid HPC-QC multi-node multi-CPU and GPU workloads (including solving linear system of equations, quantum optimization, and simulating quantum phase transitions) have been demonstrated on HPE EX supercomputers to illustrate functionality and execution viability for all three components developed so far. This work provides the framework for a unified quantum-classical programming environment built upon classical HPC software stack (compilers, libraries, parallel runtime and process scheduling).