Li Zhou
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL3 editions2023–2026
on a stage with
all 15 in the filters
who talks about the same things
- Mingsheng Ying9 talks
- Gushu Li4 talks
- Nengkun Yu10 talks
- Gilles Barthe17 talks
- Michael Carbin14 talks
- Liyi Li4 talks
| title | conference | date |
|---|---|---|
| An Expressive Assertion Language for Quantum Programs | POPL 2026 | 2026-01-11 |
Defines an assertion language that represents quantum predicates as quasi-probability distributions of generalized Pauli operators and proves constructively… | ||
| Efficient Formal Verification of Quantum Error Correcting Programs | PLDI 2025 | 2025-06-16 |
An assertion-and-program logic with a sound proof system converts Pauli-error verification conditions into purely classical formulas solved by SMT solvers, and… | ||
| Automating equational proofs in Dirac notation | POPL 2025 | 2025-01-19 |
Proves that Dirac notation’s first-order theory is decidable by reducing formulas to the theory of real closed fields (Tarski) and shows practical equivalence… | ||
| CoqQ: Foundational Verification of Quantum Programs | POPL 2023 | 2023-01-15 |
CoqQ is a Coq framework that formalizes a quantum language, proves a program logic sound with respect to a denotational semantics built on MathComp and… | ||
| Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs | OOPSLA 2020 | 2020-11-15 |
Proposes projection-based assertions that express quantum-state predicates more richly than classical patterns while enabling efficient runtime checks by… | ||
| nothing matches | ||