WebAssembly Unleashed

WebAssembly keeps expanding beyond its original “run C/Rust in the browser” story, and this episode is a tour through the ideas and tooling that are shaping what comes next. Joel Moses and Oscar Spencer are joined by Conrad Watt, PhD., co-chair of the W3C WebAssembly Community Group, a key contributor to the formal memory and concurrency models, and an assistant professor at NTU Singapore, to talk about how formal methods, mechanized proofs, and specification engineering are influencing the evolution of Wasm.
 
Conrad recounts how his academic work intersected with WebAssembly’s earliest formal semantics and why Wasm remains such a fertile “lens” for programming language research, spanning type systems, concurrency, and security. A central thread is the concurrency story: how WebAssembly threads grew from the JavaScript shared-memory model, what makes memory growth semantics difficult, and why getting threads fully integrated into the published W3C specification still has real engineering and tooling hurdles.
 
The episode then zooms in on SpecTec, the domain-specific language now used to render the official WebAssembly 3.0 specification. Conrad explains why it exists, what problems it solves compared to raw LaTeX, and what remains unfinished, including the long-term goal of generating executable and provable semantics directly from the spec. They also talk about the looming challenge every web standard faces: specs only add features, they rarely remove them, and the community still doesn’t have a clean answer for avoiding complexity collapse.
 
Finally, the episode closes by looking at Wasm’s intersection with AI, where its portability and safety model are strong assets, but GPU integration remains a key bottleneck, and by discussing how AI is changing education, including why in-person exams are making an unexpected comeback. If you’re interested in the research backbone of WebAssembly, this episode is the roadmap.

Check out the recordings from Wasm Research Day 2026: https://www.youtube.com/playlist?list=PLUO8XobXx1SE

Creators and Guests

Host
Joel Moses
Distinguished Engineer & VP, Strategic Engineering at F5. Joel has over 30 years of industry experience in cybersecurity and networking fields. Prior to joining F5, he designed large scale security and infrastructure architectures for consulting clients and served as the lead US Security and Infrastructure Architect for one of the largest accounting/consulting firms in the world. At F5, he is a founding member of the Office of the CTO, and is principally responsible for advanced research, intellectual property, proof-of-concepts, and strategic studies related to security, hardware, and cloud technologies. He holds several US patents related to encryption techniques.
Host
Oscar Spencer
Principal Engineer with F5, Co-author of the Grain programming language, and TSC Director for the Bytecode Alliance, Oscar is passionate about advancing the future of WebAssembly.
Guest
Conrad Watt, PhD
Co-Chair, W3C WebAssembly Community Group and Assistant Professor, Nanyang Technological University (NTU), Singapore
Producer
Tabitha R.R. Powell

What is WebAssembly Unleashed?

Welcome to WebAssembly Unleashed, your monthly dive into the dynamic world of WebAssembly (Wasm). Join F5’s Joel Moses, Oscar Spencer, and Wasm enthusiast Matthew Yacobucci as they unpack the potential, challenges, and innovations within the Wasm ecosystem.

Designed for architects, practitioners, technologists, and Wasm enthusiasts, episodes offer:

Insightful discussions on Wasm advancements.
Practical tips for seamless integration into projects.
Interviews with influential figures shaping the Wasm landscape.
Strategies for maximizing the potential of WebAssembly.

Subscribe now and stay abreast of the latest in Wasm development. Whether you’re a seasoned pro or new to the field, WebAssembly Unleashed is your ticket to unlocking the full power of this revolutionary technology. Tune in for a deep dive into the limitless possibilities of WebAssembly.