A Self-certifying Compilation Framework for WebAssembly
Abstract elided by the publisher.
Related papers
- Certified self-modifying code PLDI 2007
- Self-certification: bootstrapping certified typecheckers in F* with Coq POPL 2012
- Type-preserving compilation of Featherweight Java TOPLAS 2002
- TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly SLE 2025
- BREWasm: A General Static Binary Rewriting Framework for WebAssembly SAS 2023
- A certified framework for compiling and executing garbage-collected languages ICFP 2010
- Towards certified separate compilation for concurrent programs PLDI 2019
- Debugging WebAssembly? Put Some Whamm on It! OOPSLA 2025