Distributed Systems Courses and Certifications

USENIX

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

USENIX

DRust - Language-Guided Distributed Shared Memory with Fine Granularity and Full Transparency

Explores DRust, a Rust-based distributed shared memory system that leverages language ownership semantics for improved efficiency and scalability in distributed computing environments.

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

The ASF

Evolution of Apache RocketMQ Storage

Explore the architectural evolution and storage mechanisms of Apache RocketMQ through an in-depth technical analysis from an Alibaba engineer's perspective.

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

DevOpsDays Tel Aviv

P99 Pursuit: 8 Years of Battling Performance and Latency Challenges

Dive into the challenges and solutions of managing P99 latency across performance, availability, and durability, with practical algorithms and production insights from ScyllaDB's journey.

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

CMU Database Group

Database Logging and Recovery Systems - Lecture 20

Dive into database logging fundamentals and advanced concepts with expert insights from CMU and Confluent, covering system recovery, durability, and practical implementations.

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

Code Sync

Ruby as a Node - Connecting Elixir and Ruby Applications Using BEAM

Discover how to establish seamless communication between Elixir and Ruby applications using BEAM-specific mechanisms like EPMD and :rpc, exploring alternatives to traditional integration methods.

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

LF Decentralized Trust

Decentralized Directory (DeDi) - Infrastructure, Use Cases and Architecture

Explore DeDi's decentralized trust infrastructure for sharing, verifying, and consuming public data registries in the digital age through architecture deep-dives and use cases.

• YouTube
• 1 hour 21 minutes
• Self-Paced
• Free Video

USENIX

FiDe - Reliable and Fast Crash Failure Detection to Boost Datacenter Coordination

Discover FiDe, a groundbreaking failure detector achieving sub-30μs crash detection in datacenters, enabling 2.23× throughput improvements in distributed systems coordination.

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

USENIX

Accelerating Distributed Graph Learning by Using Collaborative In-Network Multicast and Aggregation

Discover how SwitchGNN accelerates distributed graph neural network training by up to 74% through innovative in-network multicast and aggregation techniques using programmable switches.

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

USENIX

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

USENIX

CrossPipe - Towards Optimal Pipeline Schedules for Cross-Datacenter Training

Discover CrossPipe, a framework optimizing large language model training across geographically distributed datacenters by mitigating network latency and bandwidth limitations.

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

USENIX

Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering

Discover SpecLog, a novel shared log abstraction using fix-ante ordering to reduce end-to-end latency by speculating global order and overlapping computation with coordination.

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

USENIX

Skybridge - Bounded Staleness for Distributed Caches

Discover Skybridge, Meta's solution for bounded staleness in distributed caches, achieving 99.99998% write visibility within 2 seconds through lightweight out-of-band replication.

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

USENIX

Understanding Stragglers in Large Model Training Using What-if Analysis

Explore straggler issues in large language model training through comprehensive what-if analysis using real ByteDance cluster data and performance impact studies.

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

USENIX

Understanding and Detecting Fail-Slow Hardware Failure Bugs in Cloud Systems

Discover how fail-slow hardware bugs impact cloud systems and learn about Sieve, a testing framework that detects these critical vulnerabilities in distributed systems.

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