Timos Antonopoulos
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2020–2025
on a stage with
all 10 in the filters
who talks about the same things
- Eric Koskinen13 talks
- Ton Chanh Le8 talks
- Ruzica Piskac9 talks
- Sharon Shoham13 talks
- Zachary Kincaid9 talks
- Takeshi Tsukada16 talks
| 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… | ||
| An Algebra of Alignment for Relational Verification | POPL 2023 | 2023-01-15 |
Extends Kleene Algebra with Tests into BiKAT and shows it exactly encodes lockstep and asynchronous product alignments so relational specs reduce to algebraic… | ||
| DynamiTe: Dynamic Termination and Non-termination Proofs | OOPSLA 2020 | 2020-11-15 |
DynamiTe is a Python tool that instruments loops with vtrace instrumentation and iteration counters, learns linear ranking functions from concrete terminating… | ||
| nothing matches | ||