USENIX Courses

Eden - Developer-Friendly Application-Integrated Far Memory

Discover Eden, a novel far memory system combining hardware guards with minimal software annotations to achieve high performance with reduced developer effort compared to traditional approaches.

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

Smart Casual Verification of the Confidential Consortium Framework

Discover how Microsoft researchers applied hybrid formal verification to validate CCF's distributed protocols, combining TLA+ specifications with C++ testing to find bugs.

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

Efficient Direct-Connect Topologies for Collective Communications

Discover algorithmic frameworks for constructing optimized direct-connect network topologies that balance latency and bandwidth trade-offs in collective communications systems.

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

Pushing the Limits of In-Network Caching for Key-Value Stores

Discover OrbitCache, an innovative in-network caching architecture using packet recirculation to cache variable-length key-value items without hardware memory constraints.

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

State-Compute Replication - Parallelizing High-Speed Stateful Packet Processing

Discover state-compute replication techniques for scaling stateful packet processing across multiple CPU cores, overcoming single-core throughput limitations in high-speed networks.

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

Vegeta - Enabling Parallel Smart Contract Execution in Leaderless Blockchains

Discover how Vegeta framework enables parallel smart contract execution in leaderless blockchains, achieving up to 7.8× speedup through speculative processing and dependency analysis.

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

DISC - Backpressure Mitigation in Multi-tier Applications with Distributed Shared Connection

Discover DISC, a system enabling multiple tiers in applications to share TCP connections, bypassing intermediate tiers to reduce CPU load by 41.5% and improve latency by 74.1%.

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

Minder - Faulty Machine Detection for Large-scale Distributed Model Training

Discover Minder, an automatic faulty machine detector for large-scale distributed model training that identifies faults within 3.6 seconds, achieving 0.904 precision in production environments.

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

GREEN - Carbon-Efficient Resource Scheduling for Machine Learning Clusters

Discover GREEN, a carbon-aware ML cluster scheduler that reduces emissions by 41.2% while maintaining job completion efficiency through temporal workload shifting.

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

Verifying Maximum Link Loads in a Changing World

Discover Velo, a verification system that efficiently computes worst-case network link loads under failures and BGP route changes, helping operators robustify configurations in minutes.

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

OptiReduce - Resilient and Tail-Optimal AllReduce for Distributed Deep Learning in the Cloud

Discover OptiReduce, a collective-communication system achieving 70% faster time-to-accuracy for distributed deep learning by handling stragglers and gradient drops efficiently.

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

Mitigating Scalability Walls of RDMA-based Container Networks

Discover how to overcome performance bottlenecks in RDMA-based container networks at scale through innovative causal testing and optimization techniques for data centers.

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

Beehive - A Scalable Disaggregated Memory Runtime Exploiting Asynchrony of Multithreaded Programs

Discover Beehive, a memory-disaggregated framework that transforms synchronous multithreaded code into asynchronous pararoutines via Rust compiler for improved remote access throughput.

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

Scaling IP Lookup to Large Databases using the CRAM Lens

Discover how the CRAM lens framework enables IP lookup scaling to millions of prefixes on modern networking chips, overcoming hardware constraints with innovative algorithms.

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

Suppressing BGP Zombies with Route Status Transparency

Discover Route Status Transparency (RoST), a novel solution to combat BGP withdrawal suppression attacks and misconfigurations that threaten Internet routing security and reliability.

• YouTube
• 15 minutes
• Self-Paced
• Conference Talk