Media Summary: What is Fairy Dust? Universal Contracts for WebAssembly (Video, On Dynamic Multimedia Pipelines for Opening Browsers to New Formats (Video, [Keynote] “Codename: Tunahead” aka Software Engineering Economics for Runtimes (Video,

Waw Icfp Splash 25 Implementing - Detailed Analysis & Overview

What is Fairy Dust? Universal Contracts for WebAssembly (Video, On Dynamic Multimedia Pipelines for Opening Browsers to New Formats (Video, [Keynote] “Codename: Tunahead” aka Software Engineering Economics for Runtimes (Video, [Keynote] Wasm GC and the Future of High-Level Language Compilation (Video, Dynamic Analysis Extending a Shadow Runtime for Profit (Video, Updating WasmCert-Isabelle to WebAssembly 2.0 (Video,

Wasmgrind: Towards Dynamic Concurrency Analysis for Multithreaded WebAssembly (Video, Compiling Quantum Circuits (Video, Tutorials @ Efficient Concolic Execution of WebAssembly by Compilation and Snapshot Reuse (Video,

Photo Gallery

[WAW@ICFP/SPLASH'25] Implementing and Evaluating a High-Level Language with WasmGC and the Wasm (…)
[WAW@ICFP/SPLASH'25] What is Fairy Dust? Universal Contracts for WebAssembly
[WAW@ICFP/SPLASH'25] On Dynamic Multimedia Pipelines for Opening Browsers to New Formats
[WAW@ICFP/SPLASH'25] [Keynote] “Codename: Tunahead” aka Software Engineering Economics for Runtimes
[WAW@ICFP/SPLASH'25] [Keynote] Wasm GC and the Future of High-Level Language Compilation
[WAW@ICFP/SPLASH'25] Dynamic Analysis Extending a Shadow Runtime for Profit
[WAW@ICFP/SPLASH'25] Updating WasmCert-Isabelle to WebAssembly 2.0
[WAW@ICFP/SPLASH'25] Wasmgrind: Towards Dynamic Concurrency Analysis for Multithreaded WebAssembly
[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 17th)
[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 18th)
[Tutorials @ ICFP/SPLASH'25] Compiling Quantum Circuits
[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 17th)
View Detailed Profile
[WAW@ICFP/SPLASH'25] Implementing and Evaluating a High-Level Language with WasmGC and the Wasm (…)

[WAW@ICFP/SPLASH'25] Implementing and Evaluating a High-Level Language with WasmGC and the Wasm (…)

Implementing

[WAW@ICFP/SPLASH'25] What is Fairy Dust? Universal Contracts for WebAssembly

[WAW@ICFP/SPLASH'25] What is Fairy Dust? Universal Contracts for WebAssembly

What is Fairy Dust? Universal Contracts for WebAssembly (Video,

[WAW@ICFP/SPLASH'25] On Dynamic Multimedia Pipelines for Opening Browsers to New Formats

[WAW@ICFP/SPLASH'25] On Dynamic Multimedia Pipelines for Opening Browsers to New Formats

On Dynamic Multimedia Pipelines for Opening Browsers to New Formats (Video,

[WAW@ICFP/SPLASH'25] [Keynote] “Codename: Tunahead” aka Software Engineering Economics for Runtimes

[WAW@ICFP/SPLASH'25] [Keynote] “Codename: Tunahead” aka Software Engineering Economics for Runtimes

[Keynote] “Codename: Tunahead” aka Software Engineering Economics for Runtimes (Video,

[WAW@ICFP/SPLASH'25] [Keynote] Wasm GC and the Future of High-Level Language Compilation

[WAW@ICFP/SPLASH'25] [Keynote] Wasm GC and the Future of High-Level Language Compilation

[Keynote] Wasm GC and the Future of High-Level Language Compilation (Video,

[WAW@ICFP/SPLASH'25] Dynamic Analysis Extending a Shadow Runtime for Profit

[WAW@ICFP/SPLASH'25] Dynamic Analysis Extending a Shadow Runtime for Profit

Dynamic Analysis Extending a Shadow Runtime for Profit (Video,

[WAW@ICFP/SPLASH'25] Updating WasmCert-Isabelle to WebAssembly 2.0

[WAW@ICFP/SPLASH'25] Updating WasmCert-Isabelle to WebAssembly 2.0

Updating WasmCert-Isabelle to WebAssembly 2.0 (Video,

[WAW@ICFP/SPLASH'25] Wasmgrind: Towards Dynamic Concurrency Analysis for Multithreaded WebAssembly

[WAW@ICFP/SPLASH'25] Wasmgrind: Towards Dynamic Concurrency Analysis for Multithreaded WebAssembly

Wasmgrind: Towards Dynamic Concurrency Analysis for Multithreaded WebAssembly (Video,

[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 17th)

[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 17th)

Full program: https://conf.researchr.org/program/

[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 18th)

[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 18th)

Full program: https://conf.researchr.org/program/

[Tutorials @ ICFP/SPLASH'25] Compiling Quantum Circuits

[Tutorials @ ICFP/SPLASH'25] Compiling Quantum Circuits

Compiling Quantum Circuits (Video, Tutorials @

[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 17th)

[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 17th)

Full program: https://conf.researchr.org/program/

[WAW@ICFP/SPLASH'25] Efficient Concolic Execution of WebAssembly by Compilation and Snapshot Reuse

[WAW@ICFP/SPLASH'25] Efficient Concolic Execution of WebAssembly by Compilation and Snapshot Reuse

Efficient Concolic Execution of WebAssembly by Compilation and Snapshot Reuse (Video,