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

This program is tentative and subject to change.

Thu 16 Oct 2025 14:30 - 14:50 at Orchid Small - Session 2 Chair(s): Conrad Watt

Current web browsers natively support only a small number of multimedia formats, thus placing barriers to new format adoption and providing challenges to handling legacy formats. We discuss an approach for dynamic construction of multimedia transcoding pipelines with flexible filters and show how this approach can be implemented with WebAssembly. We demonstrate that the integration of a multimedia pipeline into the webpage can be made straightforward by using Web Components, MutationObserver, or ServiceWorker, thereby easily providing for display or playback of data files that are not natively supported by browsers.

This program is tentative and subject to change.

Thu 16 Oct

Displayed time zone: Perth change

13:45 - 15:30
Session 2WebAssembly Workshop at Orchid Small
Chair(s): Conrad Watt Nanyang Technological University
13:45
25m
Keynote
Keynote
WebAssembly Workshop
14:10
20m
Talk
Hyperlight-Wasm: Bringing virtualisation-based security to Wasm, and using Wasm at Microsoft
WebAssembly Workshop
Lucy Menon Microsoft
14:30
20m
Talk
On Dynamic Multimedia Pipelines for Opening Browsers to New Formats
WebAssembly Workshop
14:50
20m
Talk
Dynamic Analysis Extending a Shadow Runtime for Profit
WebAssembly Workshop
Aäron Munsters Vrije Universiteit Brussel, Angel Luis Scull Pupo Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
File Attached
15:10
20m
Talk
Iris-Wasm: reasoning formally about Wasm and Wasm extensions
WebAssembly Workshop
Maxime Legoupil Aarhus University