Matthew Amy
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Linear and non-linear relational analyses for Quantum Program Optimization | POPL 2025 | 2025-01-19 |
Recasts phase folding as an affine relational analysis and implements nonlinear extensions as affine varieties / polynomial ideals with Gröbner-basis… | ||
| Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algo... | PLanQC 2024 | 2024-01-20 |
Claims a polynomial-time classical simulation of Roetteler’s shifted-bent hidden-shift circuit when implemented via the Bravyi–Gosset construction, by… | ||
| nothing matches | ||