Matthew Amy

27 papers C 3Misc 1Journal 15Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Linear and Non-linear Relational Analyses for Quantum Program Optimization.
Proc. ACM Program. Lang.
Matthew Amy, Joseph Lunderville
2025 J jnl
Polynomial-Time Classical Simulation of Hidden Shift Circuits via Confluent Rewriting of Symbolic Sums.
Quantum
Matthew Amy, Lucas Shigeru Stinchcombe
2024 — conf
A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits.
QPL
Matthew Amy, Neil J. Ross, Scott Wesley
2024 C conf
Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits.
RC
Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross
2024 J jnl
Linear and non-linear relational analyses for Quantum Program Optimization.
CoRR
Matthew Amy, Joseph Lunderville
2023 — conf
Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes.
QPL
Matthew Amy
2023 C conf
Improved Synthesis of Toffoli-Hadamard Circuits.
RC
Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross
2023 J jnl
Improved Synthesis of Toffoli-Hadamard Circuits.
CoRR
Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross
2022 — conf
Symbolic Synthesis of Clifford Circuits and Beyond.
QPL
Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross
2020 J jnl
Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits.
Quantum
Matthew Amy, Andrew N. Glaudell, Neil J. Ross
2019 — —
Formal Methods in Quantum Circuit Design.
Matthew Amy
2019 C conf
Sized Types for Low-Level Quantum Metaprogramming.
RC
Matthew Amy
2019 J jnl
Sized Types for low-level Quantum Metaprogramming.
CoRR
Matthew Amy
2019 J jnl
Strawberry Fields: A Software Platform for Photonic Quantum Computing.
Quantum
Nathan Killoran, Josh A. Izaac, Nicolás Quesada, Ville Bergholm, Matthew Amy, Christian Weedbrook
2019 J jnl
T-Count Optimization and Reed-Muller Codes.
IEEE Trans. Inf. Theory
Matthew Amy, Michele Mosca
2018 — conf
Towards Large-scale Functional Verification of Universal Quantum Circuits.
QPL
Matthew Amy
2017 — conf
A finite presentation of CNOT-dihedral operators.
QPL
Matthew Amy, Jianxin Chen, Neil J. Ross
2017 — conf
Verified Compilation of Space-Efficient Reversible Circuits.
CAV (2)
Matthew Amy, Martin Roetteler, Krysta M. Svore
2016 J jnl
Complexity of reversible circuits and their quantum implementations.
Theor. Comput. Sci.
Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken
2016 Misc conf
Estimating the Cost of Generic Quantum Pre-image Attacks on SHA-2 and SHA-3.
SAC
Matthew Amy, Olivia Di Matteo, Vlad Gheorghiu, Michele Mosca, Alex Parent, John M. Schanck
2016 J jnl
Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3.
IACR Cryptol. ePrint Arch.
Matthew Amy, Olivia Di Matteo, Vlad Gheorghiu, Michele Mosca, Alex Parent, John M. Schanck
2016 — conf
Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits.
ISMVL
Nabila Abdessaied, Matthew Amy, Mathias Soeken, Rolf Drechsler
2016 J jnl
Verified compilation of space-efficient reversible circuits.
CoRR
Matthew Amy, Martin Roetteler, Krysta M. Svore
2014 J jnl
Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Matthew Amy, Dmitri Maslov, Michele Mosca
2013 J jnl
A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Matthew Amy, Dmitri Maslov, Michele Mosca, Martin Roetteler
2013 J jnl
Polynomial-time T-depth Optimization of Clifford+T circuits via Matroid Partitioning
CoRR
Matthew Amy, Dmitri Maslov, Michele Mosca
2012 J jnl
A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits
CoRR
Matthew Amy, Dmitri Maslov, Michele Mosca, Martin Roetteler