Agnes Villanyi
where else to find them
no profile links on file
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 |
|---|---|---|
| Quantum Control Machine: The Limits of Control Flow in Quantum Programming | OOPSLA 2024 | 2024-10-20 |
Proves that a straightforward conditional jump impossibility holds: lifting classical conditional jumps into superposition is nonrealizable, with a formal… | ||
| 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… | ||
| nothing matches | ||