Christopher McNally
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2022–2026
on a stage with
- Charles Yuan2×
- Agnes Villanyionce
- Alex Riceonce
all 6 in the filters
who talks about the same things
- Chris Heunen8 talks
- Charles Yuan12 talks
- Michael Carbin14 talks
- Robert Rand11 talks
- Amr Sabry10 talks
- Pavel Chuprikov5 talks
| title | conference | date |
|---|---|---|
| Quantum Circuits Are Just a Phase | POPL 2026 | 2026-01-11 |
Defines a tiny language with a single numerical primitive pH(theta) (global phase) plus a quantum pattern match iflet that picks bases via patterns as… | ||
| Analyzing quantum programs using the power of interaction | PLanQC 2022 | 2022-09-15 |
Proposes two concrete verification routes: embed execution into a circuit-to-Hamiltonian embedding so the correct run is the ground-state witness and avoid… | ||
| Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs | POPL 2022 | 2022-01-16 |
Twist presents a concrete language and the semantic property purity that guarantees an expression is unentangled from the rest of the program, implemented via… | ||
| nothing matches | ||