Jessica Shi
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 3 in the filters
on a stage with
- Andrew Headonce
- Benjamin C. Pierceonce
- Cassia Torczononce
all 7 in the filters
who talks about the same things
- Cassia Torczon2 talks
- Jonathan Aldrich17 talks
- Harrison Goldstein10 talks
- Benjamin C. Pierce17 talks
- Stephanie Weirich14 talks
- Shengyi Jiang5 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… | ||
| Internalizing Indistinguishability with Dependent Types | POPL 2024 | 2024-01-14 |
DCOI (Dependent Calculus of Indistinguishability) internalizes indistinguishability as definitional equality and adds an observer-indexed identity type so… | ||
| Etna: An Evaluation Platform for Property-Based Testing | ICFP 2023 | 2023-09-04 |
Etna is a multilanguage evaluation platform that runs property‑based testing experiments across Coq and Haskell, uses handcrafted mutants and mutation testing… | ||
| nothing matches | ||