Lectures related to Group Membership and View Synchrony

Solving Parity Games in Practice

Explores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.

Causal Broadcast: Understanding Ordering of Messages

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

Reliable Broadcast: Overview and Algorithms

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

Search Algorithms: Abductive Reasoning

Covers search algorithms, focusing on abductive reasoning and heuristic search strategies.

Distinct Elements: Count and Hash Functions

Covers counting distinct elements using hash functions and the median trick.

Untitled

Algorithms & Growth of Functions

Covers optimization algorithms, stable matching, and Big-O notation for algorithm efficiency.

Latent Tree Learning

Explores latent tree learning, covering node properties, sibling relationships, and algorithmic structure.

Total Order Broadcast: Basics and Consensus Equivalences

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

Dijkstra's Algorithm and Probabilistic Analysis

Introduces Dijkstra's algorithm and probabilistic analysis through the Hiring Problem.

Untitled

Improved Algorithm: Three-Color Parity Games

Introduces an improved algorithm for three-color parity games, focusing on progress measures, acceleration, and practical speed-up.

Untitled

Coin Rendering: Part 1

Covers coin rendering and the limitations of the greedy algorithm in finding optimal solutions.

Minimum Spanning Trees: Prim's Algorithm

Explores Prim's algorithm for minimum spanning trees and introduces the Traveling Salesman Problem.

Search Algorithms: Two Examples

Covers basic algorithm ingredients, search algorithms, control structures, and algorithm correctness.

Entropy and Algorithms: Applications in Sorting and Weighing

Covers the application of entropy in algorithms, focusing on sorting and decision-making strategies.

Algorithms in Computer Science: Search and Sort Techniques

Provides an overview of essential search and sort algorithms in computer science.

Search Algorithms: Abductive Reasoning

Explores abductive reasoning, search algorithms, and heuristic search for problem-solving.

Terminating Reliable Broadcast & NBAC

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