Welcome! I am:
- A software engineer; currently at F5 hacking on WebAssembly technology and compilers. Previously at Fastly on its WebAssembly team; Mozilla hacking on Firefox; Google; and Intel.
- A computer scientist; I spent time in academia and now spout crazy new ideas whenever I think I can get away with it.
- A compiler nerd; I like thinking about code that thinks about code.
You can read more on my About page or my CV, or read about what I'm up to over at my blog.
Recent News
-
Oct 2025: Paper accepted to OOPSLA 2025 about Cranelift verification against vendor-provided ISA specs; preprint available.
-
Apr 2025: Paper accepted to PLDI 2025 about weval; preprint available.
-
Nov 2024: Moved to F5, working on Wasm-related technologies in the Office of the CTO.
-
Jun 2024: Gave talk about weval at Wasm Research Day 2024.
-
Apr 2024: Work on Cranelift formal verification presented at ASPLOS 2024; preprint available.
Latest Posts
- Exceptions in Cranelift and Wasmtime
- Compilation of JavaScript to Wasm, Part 3: Partial Evaluation
- Compilation of JavaScript to Wasm, Part 2: Ahead-of-Time vs. JIT
- Path Generics in Rust: A Sketch Proposal for Simplicity and Generality
- Fast(er) JavaScript on WebAssembly: Portable Baseline Interpreter and Future Plans
- Cranelift's Instruction Selector DSL, ISLE: Term-Rewriting Made Practical
- Cranelift, Part 4: A New Register Allocator
- Cranelift, Part 3: Correctness in Register Allocation
- Cranelift, Part 2: Compiler Efficiency, CFGs, and a Branch Peephole Optimizer
- A New Backend for Cranelift, Part 1: Instruction Selection
- blog.cfallin is live!