197 citations · 850 across the 38 of their papers we have counts for
8 papers · 1 filter
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…
Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation
Yannick Stade, Lukas Burgholzer, Robert Wille
Intermediate representations (IRs) play a crucial role in the software stack of a quantum computer to facilitate efficient optimizations for executing an application on hardware. O…
Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
Yannick Stade, Ludwig Schmid, Lukas Burgholzer +1
Quantum computing promises to solve problems previously deemed infeasible. However, high error rates necessitate quantum error correction for practical applications. Seminal experi…
MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing
Kevin Mato, Martin Ringbauer, Lukas Burgholzer +1
Quantum computing holds great promise for surpassing the limits of classical devices in many fields. Despite impressive developments, however, current research is primarily focused…
Equivalence checking of quantum circuits via intermediary matrix product operator
Aaron Sander, Lukas Burgholzer, Robert Wille
As quantum computing advances, the complexity of quantum circuits is rapidly increasing, driving the need for robust methods to aid in their design. Equivalence checking plays a vi…
An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures
Yannick Stade, Ludwig Schmid, Lukas Burgholzer +1
Recent experimental achievements have demonstrated the potential of neutral atom architectures for fault-tolerant quantum computing. These architectures feature the dynamic rearran…
Towards Application-Aware Quantum Circuit Compilation
Nils Quetschlich, Florian J. Kiwit, Maximilian A. Wolf +4
Quantum computing has made tremendous improvements in both software and hardware that have sparked interest in academia and industry to realize quantum computing applications. To t…