ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Sat 9 Sep 2023 16:25 - 16:45 at Grand Crescent - Session 4 Chair(s): Jeremy Yallop

This presentation introduces Owi, an OCaml-based interpreter and toolkit for WebAssembly (Wasm). Owi aims to provide a fast and easily maintainable solution for Wasm code execution. Unlike competing interpreters, Owi focuses on facilitating experimentation, research, and symbolic manipulations of Wasm. We describe the different passes and intermediate representations of Owi. Additionally, we discuss the linker, the interpreter and its support for various Wasm-specific extensions. Owi’s API leverages Generalized Algebraic Data Types (GADTs) for improved error detection at link-time. We also describe the testing methods used, including a Crowbar-based fuzzer. Future work includes incorporating missing Wasm extensions, implementing advanced optimization passes, and potentially porting the WASP execution engine to perform concolic execution.

Sat 9 Sep

Displayed time zone: Pacific Time (US & Canada) change

16:00 - 17:30
Session 4OCaml at Grand Crescent
Chair(s): Jeremy Yallop University of Cambridge
16:00
20m
Talk
MetaOCaml Theory and Implementation
OCaml
Oleg Kiselyov Tohoku University
File Attached
16:25
20m
Talk
Owi: an interpreter and a toolkit for WebAssembly written in OCaml
OCaml
Léo Andrès LMF, OCamlPro, Pierre Chambart OCamlPRO, Eric Patrizio OCamlPro, Dario Pinto OCamlPro
File Attached