49 citations · 73 across the 8 of their papers we have counts for
4 papers · 1 filter
Managing approximation errors in quantum programs
Thomas Häner, Martin Roetteler, Krysta M. Svore
We address the problem of distributing approximation errors in large-scale quantum programs. It has been known for some time that when compiling quantum algorithms for a fault-tole…
Advantages of a modular high-level quantum programming framework
Damian S. Steiger, Thomas Häner, Matthias Troyer
We review some of the features of the ProjectQ software framework and quantify their impact on the resulting circuits. The concise high-level language facilitates implementing even…
Optimizing Quantum Circuits for Arithmetic
Thomas Häner, Martin Roetteler, Krysta M. Svore
Many quantum algorithms make use of oracles which evaluate classical functions on a superposition of inputs. In order to facilitate implementation, testing, and resource estimation…
Programming Quantum Computers Using Design Automation
Mathias Soeken, Thomas Häner, Martin Roetteler
Recent developments in quantum hardware indicate that systems featuring more than 50 physical qubits are within reach. At this scale, classical simulation will no longer be feasibl…