9 citations · 18 across the 23 of their papers we have counts for
17 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…