Lectures in course CS-451: Distributed algorithms

Exam Q&A Session Log in to Mediaspace to watch this video

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

Untitled Log in to Mediaspace to watch this video

NBAC & TRB Algorithms Log in to Mediaspace to watch this video

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

VSC Properties: Joins Implementation Log in to Mediaspace to watch this video

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

Register Operations: Understanding and Solutions Log in to Mediaspace to watch this video

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

Demystifying Bitcoin Log in to Mediaspace to watch this video

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

Introduction to Reliable Distributed Programming Log in to Mediaspace to watch this video

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

Reliable Broadcast: Overview and Algorithms Log in to Mediaspace to watch this video

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

Causal Broadcast: Understanding Ordering of Messages Log in to Mediaspace to watch this video

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

Total Order Broadcast: Basics and Consensus Equivalences Log in to Mediaspace to watch this video

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

Consensus: Distributed Computing Algorithms Log in to Mediaspace to watch this video

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

Terminating Reliable Broadcast & NBAC Log in to Mediaspace to watch this video

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

Distributed Algorithms: Exam Review Log in to Mediaspace to watch this video

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

Group Membership and View Synchrony Log in to Mediaspace to watch this video

Explores group membership and view synchrony in distributed systems, ensuring accurate knowledge and coordinated views.

Reliable Storage: Regular Register Algorithm Log in to Mediaspace to watch this video

Covers the specification of a register, sequential and concurrent execution, and correctness properties.

Byzantine Quorums and Hyperledger Fabric Log in to Mediaspace to watch this video

Explores Byzantine Fault Tolerance, Hyperledger Fabric, blockchain evolution, and Mir-BFT protocol for total order broadcast.

Building the Internet Computer: A Glimpse into an Ambitious Adventure Log in to Mediaspace to watch this video

Explores building the 'Internet Computer' and 'Beyond Blockchains', covering WebAssembly, consensus algorithms, state machine replication, and challenges in deriving randomness.

Planetary Scale Systems: Consensus-less Asset Transfer Log in to Mediaspace to watch this video

Explores consensus-less asset transfer and Byzantine solutions for planetary scale systems, emphasizing randomized algorithms' potential.

Distributed Machine Learning: Algorithms and Challenges Log in to Mediaspace to watch this video

Explores distributed machine learning algorithms, adaptive methods for attention models, collaborative learning, and open problems in the field.

Real-Time Distributed Algorithms Log in to Mediaspace to watch this video

Explores real-time distributed algorithms, covering industrial applications, system models, communication protocols, and failure detection.