Martin Roetteler

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 67

Top Venues

CoRR

TQC

IACR Cryptol. ePrint Arch.

DATE

Publications

Tommy Nguyen, Yue Shi, Samuel Alexander Stein, Tim Stavenger, Marvin Warner, Martin Roetteler, Torsten Hoefler, Ang Li
A Reference Implementation for a Quantum Message Passing Interface. QCE (2023)
Yue Shi, Tommy Nguyen, Samuel Alexander Stein, Tim Stavenger, Marvin Warner, Martin Roetteler, Torsten Hoefler, Ang Li
A Reference Implementation for a Quantum Message Passing Interface. SC Workshops (2023)
Bo Peng, Yuan Su, Daniel Claudino, Karol Kowalski, Guang Hao Low, Martin Roetteler
Quantum Simulation of Boson-Related Hamiltonians: Techniques, Effective Hamiltonian Construction, and Error Analysis. CoRR (2023)
Rajiv Krishnakumar, Mathias Soeken, Martin Roetteler, William J. Zeng
A Q# Implementation of a Quantum Lookup Table for Quantum Arithmetic Functions. CoRR (2022)
Thomas Häner, Vadym Kliuchnikov, Martin Roetteler, Mathias Soeken, Alexander Vaschillo
QParallel: Explicit Parallelism for Programming Quantum Computers. CoRR (2022)
Thomas Häner, Vadym Kliuchnikov, Martin Roetteler, Mathias Soeken
Space-time optimized table lookup. CoRR (2022)
Duo Song, Nicholas P. Bauman, Guen Prawiroatmodjo, Bo Peng, Cassandra Granade, Kevin M. Rosso, Guang Hao Low, Martin Roetteler, Karol Kowalski, Eric J. Bylaska
Periodic Plane-Wave Electronic Structure Calculations on Quantum Computers. CoRR (2022)
Thomas Lubinski, Cassandra Granade, Amos Anderson, Alan Geller, Martin Roetteler, Andrei Petrenko, Bettina Heim
Advancing Hybrid Quantum-Classical Computation with Real-Time Execution. CoRR (2022)
Ang Li, Bo Fang, Christopher E. Granade, Guen Prawiroatmodjo, Bettina Heim, Martin Roetteler, Sriram Krishnamoorthy
SV-sim: scalable PGAS-based state vector simulation of quantum circuits. SC (2021)
Daochen Wang, Aarthi Sundaram, Robin Kothari, Ashish Kapoor, Martin Roetteler
Quantum Algorithms for Reinforcement Learning with a Generative Model. CoRR (2021)
Daochen Wang, Aarthi Sundaram, Robin Kothari, Ashish Kapoor, Martin Roetteler
Quantum algorithms for reinforcement learning with a generative model. ICML (2021)
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
Improved Quantum Circuits for Elliptic Curve Discrete Logarithms. PQCrypto (2020)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli
Enumerating Optimal Quantum Circuits using Spectral Classification. ISCAS (2020)
Mathias Soeken, Martin Roetteler
Quantum Circuits for Functionally Controlled NOT Gates. CoRR (2020)
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
Improved quantum circuits for elliptic curve discrete logarithms. CoRR (2020)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner
Automatic accuracy management of quantum programs via (near-)symbolic resource estimation. CoRR (2020)
Mathias Soeken, Martin Roetteler
Quantum Circuits for Functionally Controlled NOT Gates. QCE (2020)
Vera von Burg, Guang Hao Low, Thomas Häner, Damian S. Steiger, Markus Reiher, Martin Roetteler, Matthias Troyer
Quantum computing enhanced computational catalysis. CoRR (2020)
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
Improved Quantum Circuits for Elliptic Curve Discrete Logarithms. IACR Cryptol. ePrint Arch. 2020 (2020)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner
Enabling accuracy-aware Quantum compilers using symbolic resource estimation. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Samuel Jaques, Michael Naehrig, Martin Roetteler, Fernando Virdia
Implementing Grover Oracles for Quantum Key Search on AES and LowMC. EUROCRYPT (2) (2020)
Alex Bocharov, Michael H. Freedman, Eshan Kemp, Martin Roetteler, Krysta M. Svore
Predicting human-generated bitstreams using classical and quantum models. CoRR (2020)
Giulia Meuli, Mathias Soeken, Earl Campbell, Martin Roetteler, Giovanni De Micheli
The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits. ICCAD (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli
ROS: Resource-constrained Oracle Synthesis for Quantum Computers. QPL (2019)
Margaret Martonosi, Martin Roetteler
Next Steps in Quantum Computing: Computer Science's Role. CoRR (2019)
Giulia Meuli, Mathias Soeken, Earl Campbell, Martin Roetteler, Giovanni De Micheli
The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits. CoRR (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli
Reversible Pebbling Game for Quantum Memory Management. CoRR (2019)
Samuel Jaques, Michael Naehrig, Martin Roetteler, Fernando Virdia
Implementing Grover oracles for quantum key search on AES and LowMC. CoRR (2019)
Samuel Jaques, Michael Naehrig, Martin Roetteler, Fernando Virdia
Implementing Grover oracles for quantum key search on AES and LowMC. IACR Cryptol. ePrint Arch. 2019 (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli
Reversible Pebbling Game for Quantum Memory Management. DATE (2019)
Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
LUT-Based Hierarchical Reversible Logic Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (9) (2019)
Guang Hao Low, Nicholas P. Bauman, Christopher E. Granade, Bo Peng, Nathan Wiebe, Eric J. Bylaska, Dave Wecker, Sriram Krishnamoorthy, Martin Roetteler, Karol Kowalski, Matthias Troyer, Nathan A. Baker
Q# and NWChem: Tools for Scalable Quantum Chemistry on Quantum Computers. CoRR (2019)
Krysta M. Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher E. Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, Martin Roetteler
Q#: Enabling scalable quantum computing and development with a high-level domain-specific language. CoRR (2018)
Michele Mosca, Martin Roetteler, Peter Selinger
Quantum Programming Languages (Dagstuhl Seminar 18381). Dagstuhl Reports 8 (9) (2018)
Mathias Soeken, Thomas Häner, Martin Roetteler
Programming Quantum Computers Using Design Automation. CoRR (2018)
Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore
Quantum Circuits for Floating-Point Arithmetic. RC (2018)
Dmitri Maslov, Martin Roetteler
Shorter Stabilizer Circuits via Bruhat Decomposition and Quantum Circuit Transformations. IEEE Trans. Inf. Theory 64 (7) (2018)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Optimizing Quantum Circuits for Arithmetic. CoRR (2018)
Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore
Quantum circuits for floating-point arithmetic. CoRR (2018)
Mathias Soeken, Thomas Häner, Martin Roetteler
Programming quantum computers using design automation. DATE (2018)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Managing approximation errors in quantum programs. CoRR (2018)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis. ASP-DAC (2018)
Krysta M. Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher E. Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, Martin Roetteler
Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL. RWDSL@CGO (2018)
Martin Roetteler, Krysta M. Svore
Quantum Computing: Codebreaking and Beyond. IEEE Secur. Priv. 16 (5) (2018)
Matthew Amy, Martin Roetteler, Krysta M. Svore
Verified Compilation of Space-Efficient Reversible Circuits. CAV (2) (2017)
Alex Parent, Martin Roetteler, Krysta M. Svore
REVS: A Tool for Space-Optimized Reversible Circuit Synthesis. RC (2017)
Martin Roetteler
Tools for Quantum and Reversible Circuit Compilation. RC (2017)
Norbert Matthias Linke, Dmitri Maslov, Martin Roetteler, Shantanu Debnath, Caroline Figgatt, Kevin A. Landsman, Kenneth Wright, Christopher R. Monroe
Experimental comparison of two quantum computing architectures. Proc. Natl. Acad. Sci. USA 114 (13) (2017)
Alex Parent, Martin Roetteler, Michele Mosca
Improved reversible and quantum circuits for Karatsuba-based integer multiplication. TQC (2017)
Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
Logic Synthesis for Quantum Computing. CoRR (2017)
Dmitri Maslov, Martin Roetteler
Shorter stabilizer circuits via Bruhat decomposition and quantum circuit transformations. CoRR (2017)
Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
Design automation and design space exploration for quantum computers. DATE (2017)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Factoring using $2n+2$ qubits with Toffoli based modular multiplication. Quantum Inf. Comput. 17 (7&8) (2017)
Martin Roetteler, Michael Naehrig, Krysta M. Svore, Kristin E. Lauter
Quantum Resource Estimates for Computing Elliptic Curve Discrete Logarithms. ASIACRYPT (2) (2017)
Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
Hierarchical Reversible Logic Synthesis Using LUTs. DAC (2017)
Martin Roetteler, Michael Naehrig, Krysta M. Svore, Kristin E. Lauter
Quantum Resource Estimates for Computing Elliptic Curve Discrete Logarithms. IACR Cryptol. ePrint Arch. 2017 (2017)
Martin Roetteler, Michael Naehrig, Krysta M. Svore, Kristin E. Lauter
Quantum resource estimates for computing elliptic curve discrete logarithms. CoRR (2017)
Alex Parent, Martin Roetteler, Michele Mosca
Improved reversible and quantum circuits for Karatsuba-based integer multiplication. CoRR (2017)
Nathan Wiebe, Martin Roetteler
Quantum arithmetic and numerical analysis using Repeat-Until-Success circuits. Quantum Inf. Comput. 16 (1&2) (2016)
Adam D. Bookatz, Martin Roetteler, Pawel Wocjan
Improved Bounded-Strength Decoupling Schemes for Local Hamiltonians. IEEE Trans. Inf. Theory 62 (5) (2016)
Markus Grassl, Brandon Langenberg, Martin Roetteler, Rainer Steinwandt
Applying Grover's Algorithm to AES: Quantum Resource Estimates. PQCrypto (2016)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Factoring using 2n+2 qubits with Toffoli based modular multiplication. CoRR (2016)
Martin Roetteler
Quantum algorithms for abelian difference sets and applications to dihedral hidden subgroups. CoRR (2016)
Matthew Amy, Martin Roetteler, Krysta M. Svore
Verified compilation of space-efficient reversible circuits. CoRR (2016)
Alex Bocharov, Shawn X. Cui, Martin Roetteler, Krysta M. Svore
Improved quantum ternary arithmetic. Quantum Inf. Comput. 16 (9&10) (2016)
Alex Bocharov, Martin Roetteler, Krysta M. Svore
Factoring with Qutrits: Shor's Algorithm on Ternary and Metaplectic Quantum Architectures. CoRR (2016)
Martin Roetteler
Quantum Algorithms for Abelian Difference Sets and Applications to Dihedral Hidden Subgroups. TQC (2016)
Alex Parent, Martin Roetteler, Krysta M. Svore
Reversible circuit compilation with space constraints. CoRR (2015)
Adam D. Bookatz, Martin Roetteler, Pawel Wocjan
Improved bounded-strength decoupling schemes for local Hamiltonians. CoRR (2015)
Markus Grassl, Martin Roetteler
Quantum MDS Codes over Small Fields. CoRR (2015)
Vadym Kliuchnikov, Alex Bocharov, Martin Roetteler, Jon Yard
A Framework for Approximating Qubit Unitaries. CoRR (2015)
Michele Mosca, Martin Roetteler, Nicolas Sendrier, Rainer Steinwandt
Quantum Cryptanalysis (Dagstuhl Seminar 15371). Dagstuhl Reports 5 (9) (2015)
Alex Bocharov, Shawn X. Cui, Martin Roetteler, Krysta M. Svore
Improved Quantum Ternary Arithmetics. CoRR (2015)
Markus Grassl, Brandon Langenberg, Martin Roetteler, Rainer Steinwandt
Applying Grover's algorithm to AES: quantum resource estimates. CoRR (2015)
Alex Bocharov, Martin Roetteler, Krysta M. Svore
Efficient synthesis of universal Repeat-Until-Success circuits. CoRR (2014)
Alex Bocharov, Martin Roetteler, Krysta M. Svore
Efficient synthesis of probabilistic quantum circuits with fallback. CoRR (2014)
J. Niel de Beaudrap, Martin Roetteler
Quantum linear network coding as one-way quantum computation. CoRR (2014)
Nathan Wiebe, Martin Roetteler
Quantum arithmetic and numerical analysis using Repeat-Until-Success circuits. CoRR (2014)
Niel de Beaudrap, Martin Roetteler
Quantum Linear Network Coding as One-way Quantum Computation. TQC (2014)
Giulio Chiribella, Giacomo Mauro D'Ariano, Martin Roetteler
On the Query Complexity of Perfect Gate Discrimination. TQC (2013)
Matthew Amy, Dmitri Maslov, Michele Mosca, Martin Roetteler
A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (6) (2013)
Andrei Lapets, Marcus P. da Silva, Mike Thome, Aaron Adler, Jacob Beal, Martin Roetteler
QuaFL: a typed DSL for quantum programming. FPCDSL@ICFP (2013)
Martin Roetteler, Rainer Steinwandt
A note on quantum related-key attacks. CoRR (2013)
Andrew M. Childs, Robin Kothari, Maris Ozols, Martin Roetteler
Easy and hard functions for the Boolean hidden shift problem CoRR (2013)
Martin Roetteler, Rainer Steinwandt
A note on quantum related-key attacks. IACR Cryptol. ePrint Arch. 2013 (2013)
Martin Roetteler, Rainer Steinwandt
A quantum circuit to find discrete logarithms on binary elliptic curves in depth O(log^2 n). CoRR (2013)
Andrei Lapets, Martin Roetteler
Abstract resource cost derivation for logical quantum circuit descriptions. FPCDSL@ICFP (2013)
Markus Grassl, Martin Roetteler
Leveraging Automorphisms of Quantum Codes for Fault-Tolerant Quantum Computation CoRR (2013)
Andrew M. Childs, Robin Kothari, Maris Ozols, Martin Roetteler
Easy and Hard Functions for the Boolean Hidden Shift Problem. TQC (2013)
Maris Ozols, Martin Roetteler, Jérémie Roland
Quantum rejection sampling. ACM Trans. Comput. Theory 5 (3) (2013)
Markus Grassl, Martin Roetteler
Leveraging automorphisms of quantum codes for fault-tolerant quantum computation. ISIT (2013)
Brittanney Amento, Rainer Steinwandt, Martin Roetteler
Efficient quantum circuits for binary elliptic curve arithmetic: reducing T-gate complexity CoRR (2012)
Matthew Amy, Dmitri Maslov, Michele Mosca, Martin Roetteler
A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits CoRR (2012)
Maris Ozols, Martin Roetteler, Jérémie Roland
Quantum rejection sampling. ITCS (2012)
Brittanney Amento, Martin Roetteler, Rainer Steinwandt
Quantum binary field inversion: improved circuit depth via choice of basis representation. CoRR (2012)
Maris Ozols, Martin Roetteler, Jérémie Roland
Quantum rejection sampling CoRR (2011)
Dmitry Gavinsky, Martin Roetteler, Jérémie Roland
Quantum Algorithm for the Boolean Hidden Shift Problem. COCOON (2011)
Dmitry Gavinsky, Martin Roetteler, Jérémie Roland
Quantum algorithm for the Boolean hidden shift problem CoRR (2011)
Andris Ambainis, Loïck Magnin, Martin Roetteler, Jérémie Roland
Symmetry-Assisted Adversaries for Quantum State Generation. Computational Complexity Conference (2011)
Andris Ambainis, Loïck Magnin, Martin Roetteler, Jérémie Roland
Symmetry-assisted adversaries for quantum state generation CoRR (2010)

Martin Roetteler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Roetteler