Course

CS-451: Distributed algorithms

Lectures in this course (29)

Is a Q&A session covering algorithm correctness, rank functions, and message complexity in distributed systems.

Covers a review of past exams on distributed algorithms, focusing on key concepts such as Terminating Reliable Broadcast, Consensus, and Leader Election.

PhD Thesis: Structure, Process, and EPFL Experience

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

Conditional Statements & Graph Theory

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

Reliable Broadcast: Causal Order

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

Causal & Total Order Broadcast

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

Total Order Broadcast: Consensus Transformation

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

Consensus Algorithms: FloodSet

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

FloodSet Algorithm: Consensus and Agreement

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

NBAC & TRB Algorithms

Covers algorithms for implementing NBAC, TRB, Total Order Broadcast, and the weakest failure detector for Group Membership.

VSC Properties: Joins Implementation

Discusses the implementation of joins in VSC and rectifying properties for consistency.

Explores register value maintenance, safe executions, and the necessity of timestamps in distributed systems.

Demystifying Bitcoin

Explores the history and technical aspects of Bitcoin, including wallets, mining incentives, smart contracts, consensus algorithms, and distributed systems.

Introduction to Reliable Distributed Programming

Covers the basics of distributed algorithms and their importance in building reliable and secure systems.

Reliable Broadcast: Overview and Algorithms

Explores reliable broadcast in distributed systems, presenting specifications, algorithms, and properties for different types of broadcast.

Causal Broadcast: Understanding Ordering of Messages

Covers causal broadcast, ensuring messages are delivered in a causal order using algorithms and reliable broadcast.

Total Order Broadcast: Basics and Consensus Equivalences

Explores total order broadcast and its equivalence to consensus in reliable systems.

Consensus: Distributed Computing Algorithms

Covers the consensus problem in distributed computing, focusing on uniform consensus properties and algorithms.

Terminating Reliable Broadcast & NBAC

Explores Terminating Reliable Broadcast and Non-Blocking Atomic Commit in distributed systems, covering agreement, consensus, and transaction commitment.