John C. Kolesar
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2022–2025
on a stage with
- Ruzica Piskac2×
- Shan Alionce
- Timos Antonopoulosonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge | OOPSLA 2025 | 2025-10-16 |
Crepe is a zero-knowledge protocol that encodes full regular-expression equivalence proofs (PSPACE-complete) using a custom calculus based on coinduction and… | ||
| Checking Equivalence in a Non-strict Language | OOPSLA 2022 | 2022-12-05 |
Nebula implements a fully automated co-induction calculus and symbolic executor for equivalence checking in non-strict Haskell, proving 22 of 24 valid… | ||
| nothing matches | ||