<p>I gave a talk yesterday at the WebAssembly Workshop (WAW 2025) at POPL on all the correctness/verification stuff I've worked on in Wasmtime/Cranelift in the past few years, including some thoughts on ongoing (well, when I get time again) proof-carrying code work. Recording is up from the whole workshop day (and all the talks are worth watching!). Here's the content for anyone curious:</p><p>- Video: <a href="https://www.youtube.com/watch?v=tiksgrSC3Ig&t=2453s" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=tiksgrSC3I</span><span class="invisible">g&t=2453s</span></a><br />- Slides: <a href="https://cfallin.org/pubs/waw2025_correctness_slides.pdf" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">cfallin.org/pubs/waw2025_corre</span><span class="invisible">ctness_slides.pdf</span></a></p>
