51 citations · 64 across the 8 of their papers we have counts for
12 papers
Why Are We Unrolling? The Importance of Structured Quantum Programs for Compilation
Damian Rovara, Daniel Haag, Mark Koch +8
As quantum software stacks scale up to support future fault-tolerant quantum hardware and algorithms, quantum compilation is becoming an increasingly important component of the sta…
Teaching Quantum Design Automation with Block-Based Programming
Damian Rovara, Robert Wille
As quantum circuits grow beyond small toy examples, preparing them for execution on physical devices becomes increasingly complex. Design automation is therefore essential for scal…
The MQT Compiler Collection: A Blueprint for a Future-Proof Quantum-Classical Compilation Framework
Lukas Burgholzer, Daniel Haag, Yannick Stade +3
As the capabilities of quantum computing hardware continue to rise, algorithms that exploit them are becoming increasingly complex. These developments increase the need for sophist…
Integrating Quantum Software Tools with(in) MLIR
Patrick Hopf, Erick Ochoa Lopez, Yannick Stade +6
Compilers transform code into action. They convert high-level programs into executable hardware instructions - a crucial step in enabling reliable and scalable quantum computation.…
Qubit Reuse Beyond Reorder and Reset: Optimizing Quantum Circuits by Fully Utilizing the Potential of Dynamic Circuits
Damian Rovara, Lukas Burgholzer, Robert Wille
Qubit reuse offers a promising way to reduce the hardware demands of quantum circuits, but current approaches are largely restricted to reordering measurements and applying qubit r…
Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations
Damian Rovara, Lukas Burgholzer, Robert Wille
The Quantum Approximate Optimization Algorithm (QAOA) requires considered optimization problems to be translated into a compatible format. A popular transformation step in this pip…
The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC
Lukas Burgholzer, Jorge Echavarria, Patrick Hopf +11
Quantum computing is advancing rapidly in hardware and algorithms, but broad accessibility demands a comprehensive, efficient, unified software stack. Such a stack must flexibly sp…
A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers
Damian Rovara, Lukas Burgholzer, Robert Wille
The continuous growth of quantum computing and the increasingly complex quantum programs resulting from it lead to unprecedented obstacles in ensuring program correctness. Runtime…
Automatically Refining Assertions for Efficient Debugging of Quantum Programs
Damian Rovara, Lukas Burgholzer, Robert Wille
As new advancements in the field of quantum computing lead to the development of increasingly complex programs, approaches to validate and debug these programs are becoming more im…
A Framework for Debugging Quantum Programs
Damian Rovara, Lukas Burgholzer, Robert Wille
Recent advancements in quantum computing software are gradually increasing the scope and size of quantum programs being developed. At the same time, however, these larger programs…
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
Robert Wille, Lucas Berent, Tobias Forster +10
Quantum computers are becoming a reality and numerous quantum computing applications with a near-term perspective (e.g., for finance, chemistry, machine learning, and optimization)…
A Framework to Formulate Pathfinding Problems for Quantum Computing
Damian Rovara, Nils Quetschlich, Robert Wille
With the applications of quantum computing becoming more and more widespread, finding ways that allow end users without experience in the field to apply quantum computers to solve…