Memory Safety Courses
ACM SIGPLAN via YouTube Morello Cerise - Proving Secure Encapsulation - Work in Progress
ACM SIGPLAN via YouTube Indexed Types for a Statically Safe WebAssembly - POPL 2024
ACM SIGPLAN via YouTube Later Credits: A Case Study in the Unreasonable Effectiveness of Separation Logic
ACM SIGPLAN via YouTube Verus: Verifying Rust Programs Using Linear Ghost Types
ACM SIGPLAN via YouTube Aliasing Limits on Translating C to Safe Rust
ACM SIGPLAN via YouTube A Grounded Conceptual Model for Ownership Types in Rust
ACM SIGPLAN via YouTube Runtime Detection of Data Races in OCaml with ThreadSanitizer
ACM SIGPLAN via YouTube Lessons from the Buzz
Linux Plumbers Conference via YouTube Hazard Pointers in Linux Kernel
Linux Plumbers Conference via YouTube