Ryan Doenges
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 21 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Specifying ABIs with Realizability and Type-Preserving Compilation | PriSC 2026 | 2026-01-11 |
Claims a Realizability model for RichWasm that interprets source types as sets of WebAssembly configurations so a type-preserving compiler yields a memory-safe… | ||
| P4Cub: A Little Language for Big Routers | CPP 2023 | 2023-01-16 |
P4Cub is an IR for P4 with a Petr4 front end and a claim of easier mechanized metatheory: it is mechanized in Coq with both large- and small-step semantics and… | ||
| Petr4: Formal Foundations for P4 Data Planes | POPL 2021 | 2021-01-17 |
Petr4 provides a clean‑slate definitional interpreter and a compact core calculus that models a P4 fragment, validated by running over 750 tests from the P4… | ||
| nothing matches | ||