Max Kurze
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
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Scalable Type Inference for Intrinsically-Typed Binders | RocqPL 2026 | 2026-01-17 |
Claims that guided type inference using bi-directionality hints plus automation in Ltac2 makes intrinsically-typed binders practical in Rocq: variable contexts… | ||
| MettEagle: Costs and Benefits of Implementing Containers on Microkernels | OSDI '25 | 2025-07-07 |
Prototype MettEagle runs on L4Re with only small, three‑digit LOC changes to the base system, adds an in‑memory filesystem and UDP/IP stack, and ports Python… | ||
| nothing matches | ||