Matthew Amy

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 17

Top Venues

QPL

CoRR

IEEE Trans. Inf. Theory

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross
Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits. RC (2024)
Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross
Improved Synthesis of Toffoli-Hadamard Circuits. CoRR (2023)
Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross
Improved Synthesis of Toffoli-Hadamard Circuits. RC (2023)
Matthew Amy
Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes. QPL (2023)
Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross
Symbolic Synthesis of Clifford Circuits and Beyond. QPL (2022)
Matthew Amy, Andrew N. Glaudell, Neil J. Ross
Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits. Quantum 4 (2020)
Matthew Amy
Sized Types for low-level Quantum Metaprogramming. CoRR (2019)
Matthew Amy
Sized Types for Low-Level Quantum Metaprogramming. RC (2019)
Matthew Amy, Michele Mosca
T-Count Optimization and Reed-Muller Codes. IEEE Trans. Inf. Theory 65 (8) (2019)
Matthew Amy
Towards Large-scale Functional Verification of Universal Quantum Circuits. QPL (2018)
Matthew Amy, Martin Roetteler, Krysta M. Svore
Verified Compilation of Space-Efficient Reversible Circuits. CAV (2) (2017)
Matthew Amy, Jianxin Chen, Neil J. Ross
A finite presentation of CNOT-dihedral operators. QPL (2017)
Matthew Amy, Martin Roetteler, Krysta M. Svore
Verified compilation of space-efficient reversible circuits. CoRR (2016)
Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken
Complexity of reversible circuits and their quantum implementations. Theor. Comput. Sci. 618 (2016)
Nabila Abdessaied, Matthew Amy, Mathias Soeken, Rolf Drechsler
Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits. ISMVL (2016)
Matthew Amy, Olivia Di Matteo, Vlad Gheorghiu, Michele Mosca, Alex Parent, John M. Schanck
Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3. IACR Cryptol. ePrint Arch. 2016 (2016)
Matthew Amy, Olivia Di Matteo, Vlad Gheorghiu, Michele Mosca, Alex Parent, John M. Schanck
Estimating the Cost of Generic Quantum Pre-image Attacks on SHA-2 and SHA-3. SAC (2016)
Matthew Amy, Dmitri Maslov, Michele Mosca
Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (10) (2014)
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)
Matthew Amy, Dmitri Maslov, Michele Mosca
Polynomial-time T-depth Optimization of Clifford+T circuits via Matroid Partitioning CoRR (2013)
Matthew Amy, Dmitri Maslov, Michele Mosca, Martin Roetteler
A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits CoRR (2012)

Matthew Amy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthew Amy