owi-opt
Optimise software through symbolic execution in/via Wasm
The goal of this project is to build a WebAssembly (Wasm) optimizer based on semantic program analysis rather than purely traditional rewrite rules. Building on the existing infrastructure in Owi, we will reuse and extend its relational abstract interpreter to compute program invariants that enable optimizations such as dead code elimination, branch simplification, and arithmetic simplification. This approach complements existing tools such as Binaryen's `wasm-opt` by enabling optimizations that require reasoning about complex program semantics. Because it operates directly on Wasm, the optimizer will be language and runtime independent, benefiting software compiled from Rust, C, Go, OCaml, and many other languages.
- The project's own website: https://github.com/ocamlpro/owi
Run by OCamlPro
This project was funded through the NGI0 Commons Fund, a fund established by NLnet with financial support from the European Commission's Next Generation Internet programme, under the aegis of DG Communications Networks, Content and Technology under grant agreement No 101135429. Additional funding is made available by the Swiss State Secretariat for Education, Research and Innovation (SERI).
