Memory Safety Courses
ACM SIGPLAN via YouTube Targeted Static Analysis for OCaml C Stubs - Eliminating Gremlins from the Code
ACM SIGPLAN via YouTube Virgil as a Systems Programming Language
ACM SIGPLAN via YouTube Descend: A Safe GPU Systems Programming Language
ACM SIGPLAN via YouTube RefinedRust: A Type System for High-Assurance Verification of Rust Programs
ACM SIGPLAN via YouTube Completeness Thresholds for Memory Safety of Array Traversing Programs
ACM SIGPLAN via YouTube Flux: Liquid Types for Rust
ACM SIGPLAN via YouTube Proving Capability Safety in the Presence of Indirect Sentries
ACM SIGPLAN via YouTube Concurrent Mutation Must Go
ACM SIGPLAN via YouTube CHERI C Semantics
ACM SIGPLAN via YouTube