Olin Shivers
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- ICFP3 editions2022–2025
- ARRAY2 editions2019–2026
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
all 4 in the filters
on a stage with
all 29 in the filters
who talks about the same things
- John Reppy9 talks
- Byron Zhong4 talks
- Deepak Garg18 talks
- Steve Zdancewic19 talks
- Tiark Rompf24 talks
- John Regehr13 talks
| title | conference | date |
|---|---|---|
| Refined Remora: Constraining Array Shapes | ARRAY 2026 | 2026-06-16 |
Extends Remora’s index language with refinement predicates and arithmetic so the type checker can express and verify shape arithmetic (plus, minus, multiply… | ||
| Flow-Analysis-Based Closure Optimization | PLDI 2026 | 2026-06-15 |
Implementation in Standard ML of New Jersey with an LLVM backend uses a sparse zero-CFA to guide concrete closure-representation decisions: selective heap… | ||
| 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… | ||
| The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmi... | ICFP 2023 | 2023-09-04 |
A new core calculus (VC) gives a small-step rewrite semantics for a deterministic functional logic language and implements unification and logical variables as… | ||
| 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… | ||
| Coarsening Optimization for Differentiable Programming | OOPSLA 2021 | 2021-10-17 |
Paper presents coarsening optimization that raises segments to symbolic level, applies differentiation and lowers optimized code, and reports several-times to… | ||
| Records with Rank Polymorphism | ARRAY 2019 | 2019-06-22 |
Remora implements rank-polymorphism and the team embeds a dataframe library to show how columnar tables map to vectors of records, using Racket, Standard ML… | ||
| nothing matches | ||