Satoshi Kura
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Takeshi Tsukada16 talks
- Hiroshi Unno18 talks
- Petr Novotný2 talks
- Tachio Terauchi4 talks
- Benjamin Lucien Kaminski14 talks
- Ryosuke Sato10 talks
| title | conference | date |
|---|---|---|
| A Hierarchy of Supermartingales for ω-Regular Verification | PLDI 2026 | 2026-06-15 |
Defines four new certificate classes and proves a strict hierarchy: GSSMs complete for positive recurrence, DVSSMs complete for null recurrence and the most… | ||
| Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification | PLDI 2026 | 2026-06-15 |
Presents a concrete criterion that turns uniqueness of least fixed points into a usable lower-bound proof: existence of a U-ranking supermartingale plus a… | ||
| Higher-Order Weakest Precondition Transformers via a CPS Transformation | HOPE 2023 | 2023-09-04 |
Claims that generic weakest preconditions for a higher‑order language with effects and recursion are computable syntactically by a CPS transformation, using… | ||
| nothing matches | ||