Vitaly Kurin
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
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Velvet: A Multi-Modal Verifier for Effectful Programs | Dafny 2026 | 2026-01-11 |
Velvet is a Dafny-style verifier implemented as a Lean library that verifies imperative programs with mutable state, loops, and nondeterminism by generating… | ||
| Foundational Multi-Modal Program Verifiers | POPL 2026 | 2026-01-11 |
Paper presents a framework implemented in Lean implementation that provides a library of monad transformers for state, divergence, exceptions and… | ||
| nothing matches | ||