Virtual Machines Courses
ACM SIGPLAN via YouTube As Low-Level as Possible, But No Lower - WebAssembly's Evolution and Future
ACM SIGPLAN via YouTube Ease Virtual Machine Level Tooling with Language Level Ordinary Object Pointers
ACM SIGPLAN via YouTube Virgil as a Systems Programming Language
ACM SIGPLAN via YouTube Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems
ACM SIGPLAN via YouTube Supporting Trusted Virtual Machines with Hardware-based Secure Remote Memory
ACM SIGPLAN via YouTube Bringing the WebAssembly Standard up to Speed with SpecTec
ACM SIGPLAN via YouTube WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly
ACM SIGPLAN via YouTube VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating Above FF-A
ACM SIGPLAN via YouTube Automating Application Builds with AWS - Dyalog '22
Dyalog User Meetings via YouTube