Michael Vollmer
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 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Functional Programming with Serialized Data | ML Family Workshop 2026 | 2026-08-28 |
Gibbon compiles a subset of Haskell/ML into code that operates directly on serialized bytes, claiming safe, pointer-free traversals by enforcing symbolic… | ||
| Garbage Collection for Mostly Serialized Heaps | ISMM 2024 | 2024-06-25 |
A hybrid generational collector for mostly-serialized heaps implements a nursery of mini-regions with bump allocation and a copying young collector that… | ||
| Rust on Morello | POCL 2024 | 2024-01-16 |
A Rust toolchain is ported to Morello prototype hardware, swapping the LLVM backend and making the compiler and core/std build and run; pointer storage is 128… | ||
| nothing matches | ||