Gabriel Radanne
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- ICFP2 editions2020–2023
all 7 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Didier Rémy5 talks
- Clément Blaudeau4 talks
- Gabriel Scherer12 talks
- Michel Steuwer17 talks
- Steve Zdancewic19 talks
- Paulo Emílio de Vilhena5 talks
| title | conference | date |
|---|---|---|
| Avoiding signature avoidance in ML modules with zippers | POPL 2025 | 2025-01-19 |
ZipML presents a path-based type system that prevents signature avoidance by adding floating fields—hidden signature fields represented as zippers—and four… | ||
| Distributed Actors in OCaml | OCaml 2024 | 2024-09-07 |
Delivered a working actors-ocaml library that uses OCaml 5 features (shared-memory parallelism and algebraic effect handlers) to create, call and await remote… | ||
| Ribbit with Memory Morphisms | FProPer 2024 | 2024-09-06 |
Extends Ribbit to synthesize arbitrary morphisms that transform between two concrete memory layouts and to emit CFG-style programs with explicit allocation… | ||
| Tail Modulo Async/Await | FProPer 2024 | 2024-09-06 |
Defines Destiny passing style as a calling convention that turns async tail and tail-modulo-cons calls into write-once promises so recursive calls allocate… | ||
| Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebr... | ICFP 2023 | 2023-09-04 |
A compiler and DSL called ribbit accepts a high‑level ADT plus a separate memory type, emits LLVM IR, and proves pattern‑match compilation correct; it… | ||
| Kindly Bent to Free Us | SPLASH 2022 | 2022-12-05 |
Affe is an ML extension that enforces single-use and drop-able resources by inferring linear and affine kinds and lexical regions and solving constrained-kind… | ||
| Compiling pattern matching to in-place modifications | GPCE 2021 | 2021-10-17 |
Prototype compiles pattern-match rewrite rules on tree-shaped ADTs stored as arrays only into in-place memory moves, not pointer rewrites. It cuts trees into… | ||
| Isomorphisms are back! (short talk) | ML 2021 | 2021-08-26 |
A library search tool called dowsing finds functions up to type isomorphism (tuples commutative/associative, unit neutral, currying) and keeps soundness and… | ||
| Kindly Bent to Free Us | ICFP 2020 | 2020-08-23 |
A new ML extension called Affe enforces linearity and affinity so a database use-after-free example compiles in OCaml but is rejected at compile time here. It… | ||
| nothing matches | ||