YoVDO

Virtual Machines Courses

A R4RS Compliant REPL in 8Kb - Scheme'23
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
< Prev Page 79 Next >