Adam T. Geller
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 3 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- William J. Bowman13 talks
- Justin Frank3 talks
- Ranjit Jhala19 talks
- Paulette Koronkevich7 talks
- Bryan Parno22 talks
- Edward Lee10 talks
| title | conference | date |
|---|---|---|
| Type-Preserving Flat Closure Optimization | OOPSLA 2025 | 2025-10-16 |
Proposes a new Flat-Closure Calculus (FCC) that encodes the flat closure calling convention with singleton types so the projected code pointer is typechecked… | ||
| Indexed Types for a Statically Safe WebAssembly | POPL 2024 | 2024-01-14 |
Wasm-prechk extends Wasmtime with an indexed-type system and a new memory-load-precheck instruction that lets the compiler remove per-access dynamic bounds… | ||
| Flux: Liquid Types for Rust | PLDI 2023 | 2023-06-17 |
Flux implements a novel refined type system for Rust as a plug-in to the Rust compiler that indexes mutable locations, introduces strong references for precise… | ||
| nothing matches | ||