Cassia Torczon
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2024–2025
on a stage with
all 8 in the filters
who talks about the same things
- Jessica Shi3 talks
- Emmanuel Suárez Acevedo2 talks
- Ruzica Piskac9 talks
- Joey Velez-Ginorio3 talks
- Gilles Barthe17 talks
- Kenji Maillard11 talks
| title | conference | date |
|---|---|---|
| QED in Context: An Observation Study of Proof Assistant Users | OOPSLA 2025 | 2025-10-16 |
An observational study watches 30 proof assistant users (half Rocq and Lean) for ~1 hour each and surfaces four concrete findings: proofs evolve nonlinearly… | ||
| Effects and Coeffects in Call-By-Push-Value | OOPSLA 2024 | 2024-10-20 |
Presents a type system for call-by-push-value that statically bounds both observable effects and environmental demands and proves effect-and-coeffect soundness… | ||
| nothing matches | ||