522 citations · 2.3k across the 64 of their papers we have counts for
4 papers · 2 filters
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…
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…
Q#: Enabling scalable quantum computing and development with a high-level domain-specific language
Krysta M. Svore, Alan Geller, Matthias Troyer +7
Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the p…