Memory Safety Courses
ACM SIGPLAN via YouTube Leveraging Rust Types for Program Synthesis
ACM SIGPLAN via YouTube cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
ACM SIGPLAN via YouTube Rust on Morello - POCL'24
ACM SIGPLAN via YouTube Morello Software and Compilers
ACM SIGPLAN via YouTube The State of Morello and CHERI
ACM SIGPLAN via YouTube CHERI Static Analysis - POCL'24
ACM SIGPLAN via YouTube Under-approximation for Scalable Bug Detection
ACM SIGPLAN via YouTube Secure Calling Conventions for CHERI Capability Machines in Practice - Work in Progress
ACM SIGPLAN via YouTube Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
ACM SIGPLAN via YouTube