Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Course

CS-451: Distributed algorithms

About
Privacy
Disclaimer

Graph Chatbot

Lectures in this course (29)

Architecture Trade-offs in a Planet-scale Queueing System Log in to Mediaspace to watch this video

Explores the trade-offs in a planet-scale queueing system, emphasizing the importance of relaxing semantics to manage complexity.

Distributed Algorithms: Project Implementation and Evaluation Log in to Mediaspace to watch this video

Covers the implementation and evaluation of a practical project in Distributed Algorithms, focusing on building Perfect Links, FIFO Broadcast, and Localized Causal Broadcast.

PhD Thesis: Structure, Process, and EPFL Experience Log in to Mediaspace to watch this video

Explores the structure and process of a PhD thesis, along with the EPFL experience.

Conditional Statements & Graph Theory Log in to Mediaspace to watch this video

Covers conditional statements and graph theory, including proof techniques and concepts related to graphs, paths, connectivity, and gossip protocols.

Reliable Broadcast: Causal Order Log in to Mediaspace to watch this video

Explores reliable broadcast algorithms, focusing on causal order and uniform reliability, with exercises on failure detector properties and memory optimization.

Causal & Total Order Broadcast Log in to Mediaspace to watch this video

Covers exercises on reliable broadcast, uniform reliable broadcast, and total order broadcast in distributed algorithms.

Total Order Broadcast: Consensus Transformation Log in to Mediaspace to watch this video

Explores causal and total order broadcast in distributed algorithms, including exercises on total-order property and consensus transformation.

Consensus Algorithms: FloodSet Log in to Mediaspace to watch this video

Explores the FloodSet algorithm for achieving consensus in distributed systems through guided proofs and communication complexity analysis.

FloodSet Algorithm: Consensus and Agreement Log in to Mediaspace to watch this video

Explores the FloodSet algorithm for synchronous agreement in crash failures and its communication complexity, along with bonus exercises on consensus protocols.

Page 2 of 2