WebAssembly Courses
ACM SIGPLAN via YouTube Wasocaml: A Compiler from OCaml to WebAssembly - Lecture
ACM SIGPLAN via YouTube Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
ACM SIGPLAN via YouTube As Low-Level as Possible, But No Lower - WebAssembly's Evolution and Future
ACM SIGPLAN via YouTube Virgil as a Systems Programming Language
ACM SIGPLAN via YouTube Bringing the WebAssembly Standard up to Speed with SpecTec
ACM SIGPLAN via YouTube SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
ACM SIGPLAN via YouTube WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly
ACM SIGPLAN via YouTube Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
ACM SIGPLAN via YouTube Indexed Types for a Statically Safe WebAssembly - POPL 2024
ACM SIGPLAN via YouTube