ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Thu 16 Oct 2025 11:15 - 11:35 at Orchid Small - Session 1 Chair(s): Conrad Watt

There are proposals to extend WebAssembly (Wasm) for assisting implementations of high-level languages. The prominent ones are WebAssembly Garbage Collection (WasmGC) and the Wasm Component Model, which provides a garbage collection feature and language interoperability, respectively. This presentation reports the first serious compiler implementation that exploits both WasmGC and the Wasm Component Model. We implemented a Scala to Wasm compiler and evaluated its performance. Compared to the compilers targeting JavaScript and JVM, our compiler generates code that peforms up to 3.4 times faster and 3.5 times slower, respectively. Foreign function calls are, compared to the Rust-to-Wasm compiler, slower by more than a factor of 4 due to memory copy overhead.

This program is tentative and subject to change.

Thu 16 Oct

Displayed time zone: Perth change

10:30 - 12:15
Session 1WebAssembly Workshop at Orchid Small
Chair(s): Conrad Watt Nanyang Technological University
10:30
45m
Keynote
[Keynote] Keynote and SpecTec demo
WebAssembly Workshop
Andreas Rossberg Independent
11:15
20m
Talk
Implementing and Evaluating a High-Level Language with WasmGC and the Wasm Component Model: Scala’s Case
WebAssembly Workshop
Rikito Taniguchi VirtusLab and Institute of Science Tokyo, Sébastien Doeraene EPFL, Switzerland, Hidehiko Masuhara Institute of Science Tokyo
11:35
20m
Talk
Wasmgrind: Towards Dynamic Concurrency Analysis for Multithreaded WebAssembly
WebAssembly Workshop
Michael Staab University of Freiburg, Peter Thiemann University of Freiburg, Germany
11:55
20m
Talk
What is Fairy Dust? Universal Contracts for WebAssembly
WebAssembly Workshop
Jean Pichon-Pharabod Aarhus University