John Reppy
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
- ICFP2 editions2022–2025
all 7 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Olin Shivers9 talks
- Byron Zhong4 talks
- Benjamin Quiring4 talks
- David Van Horn5 talks
- John Regehr13 talks
- Deepak Garg18 talks
| title | conference | date |
|---|---|---|
| Self-Tagging Numbers | ML Family Workshop 2026 | 2026-08-28 |
Extends float self‑tagging to SML/NJ by applying a reversible bit transform — left rotate by three and XOR with 6 — to make common 64‑bit integers… | ||
| 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… | ||
| Range-Analysis-Based Optimization for SML/NJ | ML 2025 | 2025-11-24 |
Range analysis runs on SML/NJ’s CPS IR using extended SSA in CPS and interval constraints to prove when overflow and array-bounds checks are unnecessary, with… | ||
| 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… | ||
| A Type- And Control- Flow Analysis for System FC (Extended Abstract) | TyDe 2024 | 2024-09-06 |
Presents a higher-order control- and type-flow analysis that handles System FC coercions and witnesses by extending standard CFA bookkeeping to track… | ||
| Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs | EGRAPHS 2024 | 2024-06-24 |
Encodes a dependently typed DSL for symmetric monoidal categories and the ZX calculus into egglog by computing dependent-type arguments as functions and… | ||
| Modernizing Standard ML of New Jersey: A Status Report | Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 | 2023-09-08 |
Project modernizes Standard ML of New Jersey by porting to 64‑bit (stable Dec 2019), shrinking the codebase (basis library ~225k LOC, runtime ~25k C + 1.5k… | ||
| 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 | ||