V.R. Sathiyanarayana
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL3 editions2024–2026
on a stage with
who talks about the same things
- Rupak Majumdar21 talks
- Joost-Pieter Katoen14 talks
- Benjamin Lucien Kaminski14 talks
- Krishnendu Chatterjee11 talks
- Kevin Batz8 talks
- Christoph Matheja8 talks
| title | conference | date |
|---|---|---|
| Verifying Almost-Sure Termination for Randomized Distributed Algorithms | POPL 2026 | 2026-01-11 |
Presents a sound proof rule that combines martingale-based arguments with reasoning about weak fairness and produces SMT-based proofs for almost-sure… | ||
| Sound and Complete Proof Rules for Probabilistic Termination | POPL 2025 | 2025-01-19 |
Presents sound and relatively complete proof rules for qualitative and quantitative termination of imperative programs with discrete probabilistic choice and… | ||
| Positive Almost-Sure Termination – Complexity and Proof Rules | POPL 2024 | 2024-01-14 |
Shows that Positive Almost-Sure Termination (PAST) for an imperative language with rational variables, bounded nondeterministic choice and discrete… | ||
| nothing matches | ||