OSDI (Operating Systems Design and Implementation) Courses
USENIX via YouTube GoJournal - A Verified, Concurrent, Crash-Safe Journaling System
USENIX via YouTube SANRAZOR - Reducing Redundant Sanitizer Checks in C-C++ Programs
USENIX via YouTube Zeph - Cryptographic Enforcement of End-to-End Data Privacy
USENIX via YouTube Cobra - Making Transactional Key-Value Stores Verifiably Serializable
USENIX via YouTube Fast RDMA-based Ordered Key-Value Store Using Remote Learned Cache
USENIX via YouTube Semeru - A Memory-Disaggregated Managed Runtime
USENIX via YouTube Thunderbolt - Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale
USENIX via YouTube Twine - A Unified Cluster Management System for Shared Infrastructure
USENIX via YouTube AntMan - Dynamic Scaling on GPU Cluster for Deep Learning
USENIX via YouTube