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

This program is tentative and subject to change.

Tue 14 Oct 2025 11:15 - 11:40 at Peony SE - Research Paper 1

WebAssembly (Wasm) has been relatively recently extended to support features such as garbage collection, references, exceptions, and tail calls that facilitate compilation of managed languages. In this paper, we capture a snapshot of the performance of these new capabilities. The first part of the paper presents a language-by-language performance comparison of six managed language implementations on Wasm to the performance to their native implementations. The second part of the paper focuses on the implementation of a single Scheme compiler and explores the impact of different choices for compiling specific aspects of the language. Our findings suggest that Wasm has become a promising compilation target for most managed languages but that its performance still falls short of that achieved by native code.

This program is tentative and subject to change.

Tue 14 Oct

Displayed time zone: Perth change

10:50 - 12:05
Research Paper 1MPLR at Peony SE
10:50
25m
Talk
Bringing Together Cross-ISA Checkpoint/Restoration and AOT Compilation of WebAssembly Programs
MPLR
Raiki Tamura Kyoto University, Daisuke Kotani Kyoto University, Kazuyuki Shudo Kyoto University, Yasuo Okabe Kyoto University
11:15
25m
Talk
A Snapshot of the Performance of Wasm Backends for Managed Languages
MPLR
Manuel Serrano Inria; Université Côte d’Azur, Robert Bruce Findler Northwestern University
11:40
25m
Talk
JASMaint: Portable Multi-language Taint Analysis for the Web
MPLR
Abel Stuker Vrije Universiteit Brussel, Aäron Munsters Vrije Universiteit Brussel, Angel Luis Scull Pupo Vrije Universiteit Brussel, Laurent Christophe Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel