Matthew Amy

According to our database, Matthew Amy authored at least 19 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Linear and Non-linear Relational Analyses for Quantum Program Optimization.

Matthew Amy, Joseph Lunderville

Proc. ACM Program. Lang., 2025

2024

A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits.

Matthew Amy, Neil J. Ross, Scott Wesley

Proceedings of the 21st International Conference on Quantum Physics and Logic, 2024

Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits.

Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross

Proceedings of the Reversible Computation - 16th International Conference, 2024

2023

Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes.

Matthew Amy

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Improved Synthesis of Toffoli-Hadamard Circuits.

Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross

Proceedings of the Reversible Computation - 15th International Conference, 2023

2022

Symbolic Synthesis of Clifford Circuits and Beyond.

Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2020

Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits.

Matthew Amy, Andrew N. Glaudell, Neil J. Ross

Quantum, 2020

2019

Formal Methods in Quantum Circuit Design.

Matthew Amy

PhD thesis, 2019

T-Count Optimization and Reed-Muller Codes.

Matthew Amy, Michele Mosca

IEEE Trans. Inf. Theory, 2019

Strawberry Fields: A Software Platform for Photonic Quantum Computing.

Nathan Killoran, Josh A. Izaac, Nicolás Quesada, Ville Bergholm, Matthew Amy, Christian Weedbrook

Quantum, 2019

Sized Types for Low-Level Quantum Metaprogramming.

Matthew Amy

Proceedings of the Reversible Computation - 11th International Conference, 2019

2018

Towards Large-scale Functional Verification of Universal Quantum Circuits.

Matthew Amy

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2017

A finite presentation of CNOT-dihedral operators.

Matthew Amy, Jianxin Chen, Neil J. Ross

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Verified Compilation of Space-Efficient Reversible Circuits.

Matthew Amy, Martin Roetteler, Krysta M. Svore

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Complexity of reversible circuits and their quantum implementations.

Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken

Theor. Comput. Sci., 2016

Estimating the Cost of Generic Quantum Pre-image Attacks on SHA-2 and SHA-3.

Matthew Amy, Olivia Di Matteo, Vlad Gheorghiu, Michele Mosca, Alex Parent, John M. Schanck

Proceedings of the Selected Areas in Cryptography - SAC 2016, 2016

Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits.

Nabila Abdessaied, Matthew Amy, Mathias Soeken, Rolf Drechsler

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

2014

Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning.

Matthew Amy, Dmitri Maslov, Michele Mosca

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

2013

A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits.

Matthew Amy, Dmitri Maslov, Michele Mosca, Martin Roetteler

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013