Hydra 2021

2021

Videos

1 — Markus Kuppe — Workshop: TLA+ in action (Part 4)
2 — Maurice Herlihy — Data parallelism from a multicore perspective
3 — Jack Vanlightly — Distributed systems showdown — TLA + vs real code
4 — Alvaro Videla — What we talk about when we talk about distributed systems
5 — Andras Gerlits — Simplifying global-scale strong consistency
6 — Adam Morrison — Designing fast lock free algorithms by understanding cache coherence dynamics
7 — Maria Sokolova — Workshop. Lincheck: Testing concurrency on the JVM (Part 1)
8 — Mike Kowalski — CAP Theorem — two decades and few clouds later
9 — Markus Kuppe — Workshop: TLA+ in action (Part 1)
10 — Lalith Suresh — Building scalable and flexible cluster managers using declarative programming
11 — Maria Sokolova — Workshop. Lincheck: Testing concurrency on the JVM (Part 2)
12 — Alex Gallego — Co-designing Raft + thread-per-core execution model for the Kafka-API
13 — Markus Kuppe — Workshop: TLA+ in action (Part 3)
14 — Markus Kuppe — Workshop: TLA+ in action (Part 2)
15 — Andrey Fomichev — Serverless nature of Yandex Database
16 — Irfan Sharif — The hitchhiker's guide to distributed transactions
17 — Aleksey Shipilev — Workshop: Java Concurrency Stress (JCStress). Part 1
18 — Aleksey Shipilev — Workshop: Java Concurrency Stress (JCStress). Part 2
19 — Aleksey Shipilev — Workshop: Java Concurrency Stress (JCStress). Part 3
20 — Nathan VanBenschoten — Fearless global transactions with CockroachDB
21 — Lena Hall — Theoretical and practical worlds of failure detectors