Pavel Panchekha
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- POPL2 editions2021–2024
all 4 in the filters
on a stage with
all 13 in the filters
who talks about the same things
- Zachary Tatlock11 talks
- Thomas J. Porter4 talks
- Éric Tanter12 talks
- Shoaib Kamil7 talks
- Cyrus Omar21 talks
- Jonathan Aldrich17 talks
| title | conference | date |
|---|---|---|
| Incremental Bidirectional Typing via Order Maintenance | OOPSLA 2025 | 2025-10-16 |
Presents a small-step incremental bidirectional type system that maintains binding pointers with an order maintenance data structure so inserts/deletes and… | ||
| Spineless Traversal for Layout Invalidation | PLDI 2025 | 2025-06-16 |
A new incremental-layout algorithm, Spineless Traversal, replaces top-down tree scans with a pointer queue ordered by order-maintenance timestamps to avoid… | ||
| Incremental Bidirectional Typing via Order Maintenance | WITS 2025 | 2025-01-25 |
Presents an incremental algorithm that maintains total bidirectional typing for a gradually typed language via small-step update propagation that lets edits… | ||
| Implementation and Synthesis of Math Library Functions | POPL 2024 | 2024-01-14 |
A domain specific language called MegaLibm implements, tests, and tunes exp sin log etc by embedding semantic types and semantic wellformedness checks that… | ||
| egg: Fast and Extensible Equality Saturation | POPL 2021 | 2021-01-17 |
Equality saturation is implemented as the egg Rust library, which applies rewrites into an e-graph and then runs a single rebuild once per iteration rather… | ||
| nothing matches | ||