Liyi Li
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Alex Potaninonce
- Amr Sabryonce
- Chandeepa Dissanayakeonce
all 16 in the filters
who talks about the same things
- Finn Voichick3 talks
- Robert Rand11 talks
- Li Zhou9 talks
- Mingsheng Ying9 talks
- Amr Sabry10 talks
- Michael Carbin14 talks
| title | conference | date |
|---|---|---|
| Embedding Quantum Program Verification into Dafny | OOPSLA 2025 | 2025-10-16 |
QafnyC compiles quantum program verification into Dafny and then down to executable circuits (via Sqir/OpenQASM), implementing a type-driven verifier that… | ||
| 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… | ||
| The Quantum Abstract Machine | PLanQC 2025 | 2025-01-25 |
Defines a Quantum Abstract Machine that gives direct semantics to circuit primitives (teleportation, entanglement swap) using a Chemical Abstract Machine… | ||
| 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… | ||
| nothing matches | ||