WebAssembly Courses
Conf42 via YouTube Type-Safe Web Development with C++ Using WebAssembly and Typescripten
Meeting Cpp via YouTube Barrel: A Decentralized Data Platform for Data Control
Code Sync via YouTube WALI: A Thin Linux Kernel Interface for WebAssembly
ACM SIGPLAN via YouTube Generating Executable Specification from Formal Semantics of WebAssembly
ACM SIGPLAN via YouTube What is a WebAssembly Component and Why - WAW'24
ACM SIGPLAN via YouTube Trust but Verify: Scaling Deductive Verification with Abstract Interpretation - N40AI'24
ACM SIGPLAN via YouTube Keeping the asm in Wasm - Running High-Level Languages on a Low-Level VM
ACM SIGPLAN via YouTube Generating Conforming Programs with Xsmith
ACM SIGPLAN via YouTube Is Wasm Becoming Garbage? - WebAssembly and Garbage Collection
ACM SIGPLAN via YouTube