Kengo Hirata
where else to find them
no profile links on file
what they talk about
where they keep going back
on a stage with
all 5 in the filters
who talks about the same things
- Emanuele D'Osualdo7 talks
- Chris Heunen8 talks
- Yusuke Matsushita7 talks
- Nengkun Yu10 talks
- Michael Carbin14 talks
- Robert Rand11 talks
| 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… | ||
| Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime | POPL 2025 | 2025-01-19 |
Extends Rust’s type system with sharp α types so qubits are lifetime-annotated dropable qubits (affine inside a lifetime, linear outside), gives two… | ||
| Quantum Controlled Measurements via Program Transformation | PLanQC 2024 | 2024-01-20 |
Proposes a program transformation that defers measurements from inside quantum conditionals to the outside, turning programs with mid-circuit measurements into… | ||
| nothing matches | ||