Ryo Wakizaka
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing | POPL 2026 | 2026-01-11 |
RapunSL presents a program logic that adds linear combination (scalar multiply and plus) and a separate mixing connective to quantum separation logic, so… | ||
| Concurrent Quantum Separation Logic for Fine-Grained Parallelism | PLanQC 2025 | 2025-01-25 |
A new concurrent quantum separation logic claims modular verification of fine‑grained parallel quantum code by combining three concrete mechanisms: fractional… | ||
| Concurrent Quantum Separation Logic for Fine-Grained Parallelism | TPSA 2025 | 2025-01-19 |
Introduces a concurrent quantum separation logic that verifies fine-grained parallel quantum code, with a concrete linear combination of Hoare triples rule to… | ||
| nothing matches | ||