Matthew Amy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | RC | Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits. | Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross |
| 2023 | RC | Improved Synthesis of Toffoli-Hadamard Circuits. | Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross |
| 2019 | RC | Sized Types for Low-Level Quantum Metaprogramming. | Matthew Amy |
| 2017 | CAV | Verified Compilation of Space-Efficient Reversible Circuits. | Matthew Amy, Martin Roetteler, Krysta M. Svore |