Cover Image

Automatically Refining Assertions for Efficient Debugging of Quantum Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rovara, Damian, Burgholzer, Lukas, Wille, Robert
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Framework for Debugging Quantum Programs
by: Rovara, Damian, et al.
Published: (2024)

A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers
by: Rovara, Damian, et al.
Published: (2025)

Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations
by: Rovara, Damian, et al.
Published: (2025)

Qubit Reuse Beyond Reorder and Reset: Optimizing Quantum Circuits by Fully Utilizing the Potential of Dynamic Circuits
by: Rovara, Damian, et al.
Published: (2025)

The MQT Compiler Collection: A Blueprint for a Future-Proof Quantum-Classical Compilation Framework
by: Burgholzer, Lukas, et al.
Published: (2026)

A Framework to Formulate Pathfinding Problems for Quantum Computing
by: Rovara, Damian, et al.
Published: (2024)

MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
by: Quetschlich, Nils, et al.
Published: (2023)

Automatic De-Quantization of Quantum Programs Using Constant Propagation
by: Remme, Lian, et al.
Published: (2026)

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level
by: Quetschlich, Nils, et al.
Published: (2023)

Predicting Good Quantum Circuit Compilation Options
by: Quetschlich, Nils, et al.
Published: (2022)

Towards an Automated Framework for Realizing Quantum Computing Solutions
by: Quetschlich, Nils, et al.
Published: (2022)

Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation
by: Stade, Yannick, et al.
Published: (2024)

Bloch Vector Assertions for Debugging Quantum Programs
by: Oldfield, Noah H., et al.
Published: (2025)

Integrating Quantum Software Tools with(in) MLIR
by: Hopf, Patrick, et al.
Published: (2026)

Compiler Optimization for Quantum Computing Using Reinforcement Learning
by: Quetschlich, Nils, et al.
Published: (2022)

A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem
by: Quetschlich, Nils, et al.
Published: (2023)

Standardizing Access to Heterogeneous Quantum Backends: A Case Study on Cloud Service Integration with QDMI
by: Hopf, Patrick, et al.
Published: (2026)

Equivalence checking of quantum circuits via intermediary matrix product operator
by: Sander, Aaron, et al.
Published: (2024)

Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler
by: Stade, Yannick, et al.
Published: (2025)

A SAT Encoding for Optimal Clifford Circuit Synthesis
by: Schneider, Sarah, et al.
Published: (2022)

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
by: Stade, Yannick, et al.
Published: (2024)

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures
by: Stade, Yannick, et al.
Published: (2024)

MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing
by: Mato, Kevin, et al.
Published: (2024)

Stripping Quantum Decision Diagrams of their Identity
by: Sander, Aaron, et al.
Published: (2024)

Towards Hamiltonian Simulation with Decision Diagrams
by: Sander, Aaron, et al.
Published: (2023)

Joint Cutting for Hybrid Schrödinger-Feynman Simulation of Quantum Circuits
by: Herzog, Laura S., et al.
Published: (2025)

Statistical Assertions for Debugging Quantum Circuits and States in CUDA-Q
by: Li, Jocelyn, et al.
Published: (2025)

The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
by: Wille, Robert, et al.
Published: (2024)

The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC
by: Burgholzer, Lukas, et al.
Published: (2025)

Decoding quantum color codes with MaxSAT
by: Berent, Lucas, et al.
Published: (2023)

Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams
by: Burgholzer, Lukas, et al.
Published: (2023)

Towards Application-Aware Quantum Circuit Compilation
by: Quetschlich, Nils, et al.
Published: (2024)

Testing and Debugging Quantum Programs: The Road to 2030
by: Ramalho, Neilson Carlos Leite, et al.
Published: (2024)

Linking diffusive fields to virtual waves as their propagative duals
by: Burgholzer, Peter, et al.
Published: (2025)

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers
by: Volpe, Deborah, et al.
Published: (2024)

Orchestrating Multi-Zone Shuttling in Trapped-Ion Quantum Computers
by: Schoenberger, Daniel, et al.
Published: (2025)

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability
by: Schmid, Ludwig, et al.
Published: (2025)

Testing and Debugging Quantum Circuits
by: Metwalli, Sara Ayman, et al.
Published: (2023)

A Tool For Debugging Quantum Circuits
by: Metwalli, Sara Ayman, et al.
Published: (2022)

Minimizing the Number of Code Switching Operations in Fault-Tolerant Quantum Circuits
by: Weilandt, Erik, et al.
Published: (2025)