Thaïs Baudon
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 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| 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… | ||
| nothing matches | ||