Finn Voichick
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 3 in the filters
on a stage with
- Robert Rand2×
- Leonidas Lampropoulosonce
- Liyi Lionce
all 5 in the filters
who talks about the same things
- Robert Rand11 talks
- Liyi Li4 talks
- Leonidas Lampropoulos15 talks
- Michael Carbin14 talks
- Charles Yuan12 talks
- Matthew Treinish6 talks
| title | conference | date |
|---|---|---|
| Compositional Quantum Control Flow with Efficient Compilation in Qunity | OOPSLA 2025 | 2025-10-16 |
Implementation of the first Qunity compiler that lowers high-level quantum control into OpenQASM 3 and a set of concrete optimizations. Adds two control… | ||
| Qunity: A Unified Language for Quantum and Classical Computing | POPL 2023 | 2023-01-15 |
Qunity defines a unified syntax where sum types → direct sum implements operator sums, exception-handling → projective measurement expresses measurements, and… | ||
| Toward A Quantum Programming Language for Higher Level Formal Verification | PLanQC 2021 | 2021-06-22 |
A new high-level language called quantum one targets formal verification by representing program state as superpositions of expressions and by encoding… | ||
| nothing matches | ||