Pierre Chambart
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Efficient OCaml compilation with Flambda 2 | OCaml 2023 | 2023-09-09 |
Flambda 2 is an IR plus an optimization pass for OCaml that replaces the old middle-ends and aims to match closure speed while producing fewer allocations; it… | ||
| Owi: an interpreter and a toolkit for WebAssembly written in OCaml | OCaml 2023 | 2023-09-09 |
Owi is an OCaml-based interpreter and toolkit for WebAssembly that ships a linker, multiple IR passes, a concrete interpreter, and a symbolic execution backed… | ||
| Wasocaml: a compiler from OCaml to WebAssembly | Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 | 2023-09-08 |
Wasocaml compiles OCaml (from the Flambda stage) to WebAssembly GC and ships a working prototype runtime that uses Wasm features like structs and subtyping… | ||
| Flambda 2 Types: An abstract domain for static analysis of functional programs (mo... | Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 | 2023-09-08 |
Flambda 2 implements a forward value analysis as an abstract domain inside the OCaml optimizer, mapping variables to compact value summaries (integers… | ||
| nothing matches | ||