22:13

Interview with Ali Ghodsi, CEO of Databricks

56:48

Interview with Jim Dowling CEO of Hopsworks

06:48

Distributed Computing

51:20

The history of Oz in ACM HOPL IV 2021

01:16:17

Time-leased leader election algorithm

09:23

Reliable Distributed Algorithms Part 2 Introduction

08:43

17.0 RealSystems

06:23

16.3 Observed Remove Set

10:07

16.2 More Powerful CRDTs

07:30

16.1 Convergent Data Structure

06:25

16.0 Relaxed Consistency and Conflict-free Replicated Data Types

01:02

12.0 Fail-Recovery, Raft and Reconfiguration

15:16

12.3 Raft Election and Log Reconciliation

13:05

12.2 Raft Overview

10:44

12.1 Failure Recovery

18:13

15.3 Interval Clocks

08:03

15.2 Synchronized Clocks

08:16

15.1 Clocks in Shared Mwmory

18:35

14.3 Clock Drift

09:25

14.2 Time lease

16:13

14.1 Time Clocks in DS systems

20:08

13.3 Reconfiguration 2

08:39

13.2 Stop-Sign Command

07:50

13.1 Reconfiguration

11:47

11.8 The final Sequence Paxos Algorithm

13:15

10.7.1 The Ballot-based Algorithm

07:53

10.6.1 Ballot Leader Election

16:52

11.7 Accept and Decide

13:23

11.6 Accept Phase 1

14:20

11.5 Prepare phase optimizations

11:22

11.4 Removing Redundancy

10:05

11.3 LB Sequence Paxos Algorithm V1

04:21

11.2 Decided Sequences

16:15

11.1 Leader-based sequence Paxos

14:11

10.7 The Ballot-based Algorithm

09:32

10.6 Ballot Leader Election

14:40

10.5 Sequence Paxos Correctness

07:58

10.4 Ballot Arrays and Correctness

17:38

10.3 Sequence Paxos

05:17

10.2 Sequence Consensus

14:26

10.1 Replicated State Machines

03:15

HopsWorks

07:04

S1 3 Assignments new

07:04

S1 3 Assignments

06:10

S1 2 Programming Environment

03:07

0.1 Readings and Acknowledgements

09:57

2 Review Transition systems

14:08

1 Review: sets relations

08:50

9 8 Optimizations

08:05

9 7 Paxos examples

10:08

9 6 Paxos: Correctness proof

03:43

9 5 Paxos IV algorithm

08:00

9 4 Paxos III

11:14

9 3 Paxos II

05:20

9 2 Paxos I

06:41

9 1 Paxos: Abortable consensus

13:40

S1 1 Ping Pong example

09:14

S1 0 Kompics-Introduction

02:42

9 0 Introduction Paxos for single value consensus

02:40

8 0 Introduction