Amr Sabry
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- POPL3 editions2021–2024
all 7 in the filters
on a stage with
all 13 in the filters
who talks about the same things
- Chris Heunen8 talks
- Robin Kaarsgaard4 talks
- Michael Carbin14 talks
- Amanda Xu6 talks
- Charles Yuan12 talks
- Liyi Li4 talks
| title | conference | date |
|---|---|---|
| What Is "Quantum" About Quantum Computing? | LOPSTR+PPDP 2026 | 2026-08-27 |
Starts from a sound, complete reversible classical language and proves that adding three concrete ingredients — a square root of NOT operator, a finite clock… | ||
| A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware | ICFP 2025 | 2025-10-12 |
A Haskell library called EnQ expresses optimization problems as energy constraint computations and uses the Traversable and Monad abstractions to build final… | ||
| Classical Simulation of Quantum Circuits with Partial Interference Effects | WQS 2024 | 2024-06-24 |
Presents a simulation that truncates interference by running branch histories concurrently and halting when a collected amplitude crosses a chosen threshold… | ||
| With a Few Square Roots, Quantum Computing is as Easy as Pi | POPL 2024 | 2024-01-14 |
Extending rig groupoids with two distinguished maps and three coherence equations yields a computationally universal model of unitary quantum computing: one… | ||
| Symbolic Execution of Hadamard-Toffoli Quantum Circuits | PEPM 2023 | 2023-01-16 |
Classical symbolic evaluation models Hadamard-created superpositions as symbolic boolean variables and runs reversible parts forward and backward to produce… | ||
| Scheme Pearl: Quantum Continuations | Scheme 2022 | 2022-09-16 |
Claims that quantum-circuit simulation reduces to efficiently managing many delimited continuations and demonstrates it by implementing a full simulator in… | ||
| On the power of syntactic methods: It is all syntax after all… | TyDe 2022 | 2022-09-11 |
Argues that many tricky operational problems become simple once the store and sharing are treated as syntax, demonstrates a concrete binding in evaluation… | ||
| Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible | POPL 2022 | 2022-01-16 |
Presents a concrete equivalence: the Pi reversible language is shown equivalent to the free symmetric rig groupoid of finite sets and bijections via a… | ||
| A Computational Interpretation of Compact Closed Categories | POPL 2021 | 2021-01-17 |
Extends a reversible isomorphism language with negative types (a backward-direction effect) and pointed fractional types (indexed GC tokens that can raise… | ||
| nothing matches | ||