Yusuke Matsushita
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
all 5 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- Emanuele D'Osualdo7 talks
- Kengo Hirata5 talks
- Derek Dreyer35 talks
- Travis Hance7 talks
- Laila Elbeheiry4 talks
- Ranjit Jhala19 talks
| title | conference | date |
|---|---|---|
| Pure Borrow: Linear Haskell Meets Rust-Style Borrowing | PLDI 2026 | 2026-06-15 |
Pure Borrow implements Rust-style borrowing as a Linear Haskell library that runs on GHC, exposing a BO monad for lifetime-restricted mutation… | ||
| VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type(…) | PLDI 2026 | 2026-06-15 |
Paper proves a machine-checked soundness theorem for a Verus subset by formalizing Verus’s proof-oriented types and translating them into Rust Hornbill–style… | ||
| 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… | ||
| Nola: Later-Free Ghost State for Verifying Termination in Iris | PLDI 2025 | 2025-06-16 |
Nola presents a concrete method to remove Iris’s obstructive later modality by encoding shared state as syntactic SL formulas and giving them a separate… | ||
| 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… | ||
| Borrowable Fractional Ownership Types for Verification | VMCAI 2024 | 2024-01-15 |
Combines ConSORT’s fractional ownership and RustHorn’s borrowable (lifetime) ownership into borrowable fractional ownership types, a flow‑sensitive type system… | ||
| nothing matches | ||