Chris Fallin
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Alexa VanHattumonce
- Ashley Shengonce
- Bryan Parnoonce
all 6 in the filters
who talks about the same things
- Fraser Brown5 talks
- Bryan Parno22 talks
- Peter Sewell14 talks
- Deepak Garg18 talks
- Adam Chlipala23 talks
- John Regehr13 talks
| title | conference | date |
|---|---|---|
| Scaling Instruction-Selection Verification against Authoritative ISA Semantics | OOPSLA 2025 | 2025-10-16 |
Arrival verifies Cranelift instruction selection end to end by composing rules (rule chaining) and auto‑deriving ISA specs from vendor ASL via a… | ||
| Partial Evaluation, Whole-Program Compilation | PLDI 2025 | 2025-06-16 |
A tool called Weevil partial evaluator unrolls an SSA interpreter, uses context-sensitive constant propagation and memoized block copies to produce… | ||
| Full-Stack Correctness in Wasm: Eliminating Bugs Inside and Outside the Sandbox | WAW 2025 | 2025-01-20 |
A real bug in Cranelift causes a JIT-produced load to become sign‑extended instead of zero‑extended, letting a wasm instance access another instance’s memory… | ||
| nothing matches | ||