Memory Management Courses
ACM SIGPLAN via YouTube DisLog: A Separation Logic for Disentanglement
ACM SIGPLAN via YouTube Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
ACM SIGPLAN via YouTube Designing Wait-free Weak Reference Counting
ACM SIGPLAN via YouTube Beyond RSS: Towards Intelligent Dynamic Memory Management - Work in Progress
ACM SIGPLAN via YouTube Reference Capabilities for Flexible Memory Management
ACM SIGPLAN via YouTube MemPerf: Profiling Allocator-Induced Performance Slowdowns
ACM SIGPLAN via YouTube Apple III Arcade: Vertical Scrollers - Design and Implementation
KansasFest via YouTube Memory Footprint in Large Scale Android Projects
Android Makers via YouTube Improving eBPF Complexity with a Hardware-backed Isolation Environment
Linux Plumbers Conference via YouTube