Eric Griffis
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 2 in the filters
on a stage with
- Cyrus Omar2×
- David Moononce
- Eric Zhaoonce
all 9 in the filters
who talks about the same things
- Cyrus Omar21 talks
- Yongwei Yuan6 talks
- Eric Zhao3 talks
- David Moon7 talks
- Thomas J. Porter4 talks
- Andrew Blinn6 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… | ||
| Live Pattern Matching with Typed Holes | OOPSLA 2023 | 2023-10-23 |
Supports exhaustiveness and redundancy checking for patterns that contain holes, maps those checks to first-order constraint entailments, and proves decidable… | ||
| nothing matches | ||