Unlocking the Secrets of Formal Verification in WebAssembly

https://is1-ssl.mzstatic.com/image/thumb/Podcasts211/v4/7f/60/62/7f6062ff-ecf6-a16f-c723-2a3408b19bd9/mza_10291066904027562233.jpg/600x600bb.jpg

WebAssembly Unleashed

19 episodes

3 weeks ago

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.

Technology

RSS

All content for WebAssembly Unleashed is the property of F5 and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

Technology

Unlocking the Secrets of Formal Verification in WebAssembly | WebAssembly Unleashed

WebAssembly Unleashed

32 minutes

4 months ago

Unlocking the Secrets of Formal Verification in WebAssembly | WebAssembly Unleashed

Join hosts Joel Moses, Oscar Spencer, and Matt Yacobucci as they dive deep into the world of formal verification with special guest Chris Fallin. In this episode of WebAssembly Unleashed, the team discusses the importance of formal verification in software development, particularly for WebAssembly. Chris, a co-author of the Cranelift compiler and Mozilla alum, explains the concept of formal verification, its significance, and how it can be applied to ensure software correctness and security. The conversation covers a range of topics including type safety, the use of SMT solvers, the challenges in formally verifying compilers, and the potential role of AI in generating formally verified code. Don't miss this insightful discussion if you're keen to learn about cutting-edge techniques to make software more reliable and secure.