Benjamin Quiring
where else to find them
no profile links on file
what they talk about
where they keep going back
- ICFP2 editions2022–2025
on a stage with
all 8 in the filters
who talks about the same things
- Justin Frank3 talks
- Leonidas Lampropoulos15 talks
- David Van Horn5 talks
- Olin Shivers9 talks
- Benjamin C. Pierce17 talks
- John Reppy9 talks
| title | conference | date |
|---|---|---|
| Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages | ICFP 2025 | 2025-10-12 |
An abstract-interpretation analysis discovers which free-variable bindings are always shared so callers can supply environments instead of heap-allocating… | ||
| Webs and Flow-Directed Well-Typedness Preserving Program Transformations | PLDI 2025 | 2025-06-16 |
Defines webs as connected components of a bipartite function‑call graph and ships a web-centric IR that annotates every function, call, and arrow type so… | ||
| Generating Well-Typed Terms that are not "Useless" | POPL 2024 | 2024-01-14 |
Generates well typed lambda terms that intentionally delay choosing argument types by introducing extension variables and an extensible application rule… | ||
| Analyzing Binding Extent in 3CPS | ICFP 2022 | 2022-09-11 |
3CPS implements a 3CPS factored CPS IR and an abstract‑interpretation analysis that classifies each variable as register/stack/heap extents, mapping extents to… | ||
| nothing matches | ||