Eric Zhao
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2024–2025
on a stage with
- Cyrus Omar2×
- Anand Dukkipationce
- Andrew Blinnonce
all 16 in the filters
who talks about the same things
- Andrew Blinn6 talks
- Cyrus Omar21 talks
- Eric Griffis2 talks
- Thomas J. Porter4 talks
- Michael D. Adams6 talks
- Sheng Chen6 talks
| title | conference | date |
|---|---|---|
| Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus | POPL 2025 | 2025-01-19 |
Paper claims a version-control model that removes patch synthesis and three-way merge by making edits commute: edits become no diff or merge commutative… | ||
| Total Type Error Localization and Recovery with Holes | POPL 2024 | 2024-01-14 |
Defines a marked lambda calculus that makes every program meaningful by inserting error marks as nonempty holes, gives a total marking procedure (every… | ||
| Student Research Competition Final Presentations | ICFP 2022 | 2022-09-11 |
Session collects six short student projects with concrete artifacts and techniques: HenBlocks: structured editing for Coq is a client‑side web app (GS‑Coq… | ||
| nothing matches | ||