3 citations · 3 across the 4 of their papers we have counts for
7 papers
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…