Seif Haridi

@UCKl_DO2xRGS3JmbHh9S8dew - 3.2K subscribers

This material is part of the MOOCS course at edx.org. It is part of KTHx course on Reliable Distributed Algorithms. Start date September 2016

Home Videos Live Playlists

AquaLang Seif Haridi

67 views - 1 year ago

Interview with Ali Ghodsi, CEO of Databricks

Interview with Ali Ghodsi, CEO of Databricks Seif Haridi

1.1K views - 3 years ago

Interview with Jim Dowling CEO of Hopsworks

Interview with Jim Dowling CEO of Hopsworks Seif Haridi

226 views - 3 years ago

Distributed Computing

Distributed Computing Seif Haridi

552 views - 4 years ago

The history of Oz in ACM HOPL IV 2021

The history of Oz in ACM HOPL IV 2021 Seif Haridi

914 views - 4 years ago

Time-leased leader election algorithm

Time-leased leader election algorithm Seif Haridi

454 views - 5 years ago

Reliable Distributed Algorithms Part 2 Introduction

Reliable Distributed Algorithms Part 2 Introduction Seif Haridi

908 views - 8 years ago

17.0 RealSystems

17.0 RealSystems Seif Haridi

247 views - 8 years ago

16.3 Observed Remove Set

16.3 Observed Remove Set Seif Haridi

846 views - 8 years ago

16.2 More Powerful CRDTs

16.2 More Powerful CRDTs Seif Haridi

355 views - 8 years ago

16.1 Convergent Data Structure

16.1 Convergent Data Structure Seif Haridi

259 views - 8 years ago

16.0 Relaxed Consistency and Conflict-free Replicated Data Types

16.0 Relaxed Consistency and Conflict-free Replicated Data Types Seif Haridi

317 views - 8 years ago

12.0 Fail-Recovery, Raft and Reconfiguration

12.0 Fail-Recovery, Raft and Reconfiguration Seif Haridi

327 views - 8 years ago

12.3 Raft Election and Log Reconciliation

12.3 Raft Election and Log Reconciliation Seif Haridi

2.5K views - 8 years ago

12.2 Raft Overview

12.2 Raft Overview Seif Haridi

540 views - 8 years ago

12.1 Failure Recovery

12.1 Failure Recovery Seif Haridi

888 views - 8 years ago

15.3 Interval Clocks

15.3 Interval Clocks Seif Haridi

381 views - 8 years ago

15.2 Synchronized Clocks

15.2 Synchronized Clocks Seif Haridi

270 views - 8 years ago

15.1 Clocks in Shared Mwmory

15.1 Clocks in Shared Mwmory Seif Haridi

280 views - 8 years ago

14.3 Clock Drift

14.3 Clock Drift Seif Haridi

5.8K views - 8 years ago

14.2 Time lease

14.2 Time lease Seif Haridi

228 views - 8 years ago

14.1 Time Clocks in DS systems

14.1 Time Clocks in DS systems Seif Haridi

377 views - 8 years ago

13.3 Reconfiguration 2

13.3 Reconfiguration 2 Seif Haridi

195 views - 8 years ago

13.2 Stop-Sign Command

13.2 Stop-Sign Command Seif Haridi

188 views - 8 years ago

13.1 Reconfiguration

13.1 Reconfiguration Seif Haridi

273 views - 8 years ago

11.8 The final Sequence Paxos Algorithm

11.8 The final Sequence Paxos Algorithm Seif Haridi

455 views - 8 years ago

10.7.1 The Ballot-based Algorithm

10.7.1 The Ballot-based Algorithm Seif Haridi

96 views - 8 years ago

10.6.1 Ballot Leader Election

10.6.1 Ballot Leader Election Seif Haridi

83 views - 8 years ago

11.7 Accept and Decide

11.7 Accept and Decide Seif Haridi

205 views - 8 years ago

11.6 Accept Phase 1

11.6 Accept Phase 1 Seif Haridi

236 views - 8 years ago

11.5 Prepare phase optimizations

11.5 Prepare phase optimizations Seif Haridi

220 views - 8 years ago

11.4 Removing Redundancy

11.4 Removing Redundancy Seif Haridi

386 views - 8 years ago

11.3 LB Sequence Paxos Algorithm V1

11.3 LB Sequence Paxos Algorithm V1 Seif Haridi

351 views - 8 years ago

11.2 Decided Sequences

11.2 Decided Sequences Seif Haridi

253 views - 8 years ago

11.1 Leader-based sequence Paxos

11.1 Leader-based sequence Paxos Seif Haridi

796 views - 8 years ago

10.7 The Ballot-based Algorithm

10.7 The Ballot-based Algorithm Seif Haridi

322 views - 8 years ago

10.6 Ballot Leader Election

10.6 Ballot Leader Election Seif Haridi

375 views - 8 years ago

10.5 Sequence Paxos Correctness

10.5 Sequence Paxos Correctness Seif Haridi

320 views - 8 years ago

10.4 Ballot Arrays and Correctness

10.4 Ballot Arrays and Correctness Seif Haridi

343 views - 8 years ago

10.3 Sequence Paxos

10.3 Sequence Paxos Seif Haridi

663 views - 8 years ago

10.2 Sequence Consensus

10.2 Sequence Consensus Seif Haridi

1.5K views - 8 years ago

10.1 Replicated State Machines

10.1 Replicated State Machines Seif Haridi

4.1K views - 8 years ago

HopsWorks Seif Haridi

178 views - 8 years ago

S1 3 Assignments new

S1 3 Assignments new Seif Haridi

145 views - 9 years ago

S1 3 Assignments

S1 3 Assignments Seif Haridi

160 views - 9 years ago

S1 2 Programming Environment

S1 2 Programming Environment Seif Haridi

434 views - 9 years ago

0.1 Readings and Acknowledgements

0.1 Readings and Acknowledgements Seif Haridi

280 views - 9 years ago

2 Review Transition systems

2 Review Transition systems Seif Haridi

585 views - 9 years ago

1 Review: sets relations

1 Review: sets relations Seif Haridi

143 views - 9 years ago

9 8 Optimizations

9 8 Optimizations Seif Haridi

281 views - 9 years ago

9 7 Paxos examples

9 7 Paxos examples Seif Haridi

1.2K views - 9 years ago

9 6 Paxos: Correctness proof

9 6 Paxos: Correctness proof Seif Haridi

490 views - 9 years ago

9 5 Paxos IV algorithm

9 5 Paxos IV algorithm Seif Haridi

497 views - 9 years ago

9 4 Paxos III Seif Haridi

419 views - 9 years ago

9 3 Paxos II Seif Haridi

532 views - 9 years ago

9 2 Paxos I Seif Haridi

636 views - 9 years ago

9 1 Paxos: Abortable consensus

9 1 Paxos: Abortable consensus Seif Haridi

726 views - 9 years ago

S1 1 Ping Pong example

S1 1 Ping Pong example Seif Haridi

177 views - 9 years ago

S1 0 Kompics-Introduction

S1 0 Kompics-Introduction Seif Haridi

212 views - 9 years ago

9 0 Introduction Paxos for single value consensus

9 0 Introduction Paxos for single value consensus Seif Haridi

1.5K views - 9 years ago