USENIX Courses

Fast Distributed Transactions for RDMA-based Disaggregated Memory

Discover HDTX, a high-performance system that reduces distributed transaction latency by up to 88% through novel RDMA-based designs for disaggregated memory architectures.

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

Cuckoo for Clients - Disaggregated Cuckoo Hashing

Discover RCuckoo, a disaggregated key/value store using cuckoo hashing and one-sided RDMA operations for high-performance data access with enhanced locality and fault tolerance.

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

LITESHIELD - Secure Containers via Lightweight, Composable Userspace μKernel Services

Discover LITESHIELD's innovative userspace microkernel architecture that delivers VM-level security for containers with just 22 syscalls, enabling strong isolation without hypervisor complexity.

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

ZEN - Empowering Distributed Training with Sparsity-driven Data Synchronization

Discover ZEN, a gradient synchronization system that leverages tensor sparsity to accelerate distributed deep learning training by up to 5.09x in communication time.

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

Tintin - A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty

Discover Tintin, a modular hardware performance profiling infrastructure that addresses measurement uncertainty and attribution challenges in microarchitectural event tracking.

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

Picsou - Enabling Replicated State Machines to Communicate Efficiently

Discover Picsou, a breakthrough protocol enabling efficient communication between replicated state machines with 24× performance improvements over existing solutions.

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

MettEagle - Costs and Benefits of Implementing Containers on Microkernels

Explore MettEagle's implementation of containers on microkernels, comparing security benefits and performance against traditional Linux containers in cloud environments.

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

XRT - An Accelerator-Aware Runtime for Accelerated Chip Multiprocessors

Discover XRT, a runtime system designed for accelerated chip multiprocessors that optimizes on-chip accelerator usage to achieve up to 3.2× higher throughput in datacenter applications.

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

QOS - Quantum Operating System

Discover QOS, a modular quantum operating system that manages quantum resources, mitigates hardware errors, and optimizes job scheduling to achieve higher fidelity and utilization.

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

KPerfIR - Towards an Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads

Discover KPerfIR, a compiler-centric infrastructure for GPU kernel performance analysis on AI workloads with low overhead and accurate measurements.

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

Neutrino - Fine-grained GPU Kernel Profiling via Programmable Probing

Discover NEUTRINO, a programmable GPU kernel profiler enabling instruction-level analysis across NVIDIA and AMD hardware with minimal overhead for system optimization.

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

SwCC - Software-Programmable and Per-Packet Congestion Control in RDMA Engine

Discover SwCC, a software-programmable RDMA engine using on-NIC RISC-V cores for flexible, per-packet congestion control in high-speed data center networks up to 800 Gbps.

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

Extending Applications Safely and Efficiently

Discover the Extension Interface Model (EIM) and bpftime framework for safer, more efficient userspace application extensions using eBPF verification and hardware isolation.

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

Basilisk - Using Provenance Invariants to Automate Proofs of Undecidable Protocols

Discover how Basilisk automates formal verification of distributed protocols using provenance invariants, eliminating manual invariant discovery for safety proofs.

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

HEC - Equivalence Verification Checking for Code Transformation via Equality Saturation

Discover HEC, a framework using e-graph data structures to verify functional equivalence between programs after code transformations, detecting critical compiler bugs.

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