USENIX Courses

Caravan - Practical Online Learning of In-Network ML Models with Labeling Agents

Practical online learning system for in-network ML models, addressing automatic labeling and efficient performance monitoring. Improves model adaptability to dynamic network environments.

• YouTube
• 18 minutes
• Self-Paced
• Free Video

USHER: Holistic Interference Avoidance for Resource Optimized ML Inference

Optimizes ML inference systems by maximizing GPU resource utilization and minimizing interference, resulting in higher goodput and cost-efficiency for deep learning model deployment.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration

Innovative memory management strategy for tiered systems, improving performance under pressure through non-exclusive page retention and transactional migration.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

Burstable Cloud Block Storage with Data Processing Units

Innovative I/O scheduling system for cloud block storage, enhancing performance and reducing latency. Utilizes data processing units and queue scaling to improve load balancing and mitigate tenant interference.

• YouTube
• 14 minutes
• Self-Paced
• Free Video

Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory

Innovative system for efficient distributed transactions on disaggregated memory, improving throughput and reducing latency through multi-versioning and RDMA-based protocols.

• YouTube
• 14 minutes
• Self-Paced
• Free Video

Ransom Access Memories - Achieving Practical Ransomware Protection in Cloud with DeftPunk

Innovative ransomware protection system for cloud block stores. DeftPunk uses two-layer classification, strategic snapshots, and log-structured support for efficient detection and recovery with minimal data loss.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel

Explore HongMeng, a general-purpose microkernel addressing performance and compatibility challenges while maintaining security and reliability for smartphones and smart vehicles.

• YouTube
• 16 minutes
• Self-Paced
• Free Video

Llumnix - Dynamic Scheduling for Large Language Model Serving

Innovative system for efficient LLM serving, using dynamic rescheduling to improve load balancing, resource utilization, and request prioritization, resulting in better performance and cost savings.

• YouTube
• 16 minutes
• Self-Paced
• Free Video

Ladder: Enabling Efficient Low-Precision Deep Learning Computing through Hardware-aware Tensor Transformation

Innovative compiler for optimizing low-precision deep learning computations, bridging custom data types with hardware limitations to enhance performance without hardware modifications.

• YouTube
• 16 minutes
• Self-Paced
• Free Video

Fast and Scalable In-network Lock Management Using Lock Fission

Innovative distributed lock service using programmable switches for improved latency and throughput, supporting millions of locks through lock fission and on-demand migration techniques.

• YouTube
• 14 minutes
• Self-Paced
• Free Video

Managing Memory Tiers with CXL in Virtualized Environments

Explores hardware-managed memory tiering with CXL, introducing Intel® Flat Memory Mode and Memstrata allocator to optimize performance and reduce contention in virtualized cloud environments.

• YouTube
• 16 minutes
• Self-Paced
• Free Video

Using Dynamically Layered Definite Releases for Verifying the RefFS File System

Explore RefFS, a groundbreaking concurrent file system with proven liveness and safety. Learn about dynamically layered definite releases and the MoLi framework for verifying concurrent systems.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

IronSpec - Increasing the Reliability of Formal Specifications

Innovative framework for enhancing formal specification reliability through automated testing, SpecTesting Proofs, and mutation testing. Discovers bugs in real-world verified systems, strengthening software verification.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

Inductive Invariants for Streamlining Distributed Protocol Proofs

Streamlining distributed protocol proofs using invariant taxonomies. Simplifies finding inductive invariants by categorizing them into Regular and Protocol Invariants, reducing developer effort in proving correctness.

• YouTube
• 16 minutes
• Self-Paced
• Free Video

Beaver: Practical Partial Snapshots for Distributed Cloud Services

Innovative protocol for capturing partial snapshots in distributed cloud services, ensuring causal consistency without disrupting operations. Leverages load balancers for minimal changes and near-zero overhead.

• YouTube
• 15 minutes
• Self-Paced
• Free Video