Xiaojia Rao
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2024
on a stage with
all 15 in the filters
who talks about the same things
- Philippa Gardner17 talks
- Conrad Watt12 talks
- Dongjun Youn2 talks
- Jean Pichon-Pharabod12 talks
- Maxime Legoupil5 talks
- Aina Linn Georges12 talks
| title | conference | date |
|---|---|---|
| Progressful Interpreters for Efficient WebAssembly Mechanisation | POPL 2025 | 2025-01-19 |
Implements a progressful interpreter in Coq that uses dependent types to certify both soundness and progress, and extracts an executable with proofs erasable… | ||
| Bringing the WebAssembly Standard up to Speed with SpecTec | PLDI 2024 | 2024-06-24 |
SpecTec is a DSL and toolchain that serves as a single source of truth for Wasm semantics, generating typeset spec prose, formal definitions, and a meta-level… | ||
| Iris-Wasm: Robust and Modular Verification of WebAssembly Programs | PLDI 2023 | 2023-06-17 |
Iris-Wasm mechanizes Wasm 1.0 in Coq on top of the Iris framework and claims modular, higher-order verification that composes across host boundaries. It builds… | ||
| nothing matches | ||