Talks Hydra 2019

Cliff Click

CRATUS

Day 1 / 10:30 / Track 1 / EN / Для практикующих инженеров

The Azul Hardware Transactional Memory experience

Azul made a really strong Hardware Transactional Memory, and yet in practice it was not good enough to run Java synchronized blocks concurrently — and Cliff will tell you why it didn't work and why HTM/STM in general will not allow concurrent execution in practice.

Martin Kleppmann

University of Cambridge

Day 2 / 10:30 / Track 1 / EN / Для практикующих инженеров

Syncing data across user devices for distributed collaboration

An update on the latest research on Conflict-free Replicated Data Types (CRDTs).

Maurice Herlihy

Brown University Computer Science Dept

Day 1 / 18:30 / Track 1 / EN / Введение в технологию

Blockchains and the future of distributed computing

This talk surveys the theory and practice of blockchain-based distributed systems from the point of view of classical distributed computing, and how treating blockchains as a distributed computing problem simplifies everything.

Pedro Ramalhete

Cisco Systems

Day 2 / 14:00 / Track 1 / EN / Академический доклад

Wait-free data structures and wait-free transactions

Learn how to make a wait-free data structure.

Roman Elizarov

JetBrains

Day 1 / 17:00 / Track 1 / EN / Введение в технологию

Structured concurrency

We'll tell the story of the path that we went through when designing concurrency libraries for Kotlin programming language.

Heidi Howard

University of Cambridge

Day 1 / 14:00 / Track 1 / EN / Академический доклад

Liberating distributed consensus

We revisit the underlying theory behind Paxos, weakening its original requirements and generalising the algorithm.

Vladislav Kuznecov

Yandex

Day 1 / 17:00 / Track 2 / RU / Для практикующих инженеров

Yandex Database — how we guarantee fault tolerance

For providing fault tolerance of Yandex Database, we use our own algorithm of achieving distributed consensus as well as several technical solutions explored in this talk.

Ori Lahav

Tel Aviv University

Day 1 / 12:00 / Track 1 / EN / Академический доклад

Weak memory concurrency in C/C++11

Ori will introduce the formal underpinning of the C/C++ concurrency model from 2011 and the key ideas behind it. He will discuss some of the flaws of the model, ways of correcting it, and some remaining open problems.

Nikita Koval

JetBrains

Day 2 / 12:00 / Track 2 / RU / Хардкор. Сложный низкоуровневый доклад, требующий от слушателя знаний технологии

Lin-Check: Testing concurrent data structures in Java

Nikita presents Lin-Check, a tool for testing concurrent data structures in JVM-based languages.

Leslie Lamport

Microsoft

Day 2 / 12:00 / Track 1 / EN / Академический доклад

Q & A

Attendees will be expected to watch videos of Leslie's talks "Programming Should Be More Than Coding" and "If You're Not Writing a Program, Don't Use a Programming Language", and Leslie will answer questions related to the topics of these talks. Each attendee should prepare at least one question.

Dmitry Bugaychenko

Odnoklassniki

Day 1 / 15:30 / Track 2 / EN / Для практикующих инженеров

Accelerating distributed graph analysis by means of probabilistic sketches (and not only them)

We'll discuss several tricks we use at OK for working with big graphs.

Michael Scott

University of Rochester

Day 2 / 17:00 / Track 1 / EN / Академический доклад

Dual data structures

How java.util.concurrent.SynchronousQueue and java.util.concurrent.Exchanger work, and why you should care if you write multithreaded code.

Denis Rystsov

Microsoft

Day 2 / 15:30 / Track 2 / EN / Академический доклад

The cost of distributed transactions between arbitrary databases

This talk's main purpose is to introduce protocols of distributed transactions invented in the last few years, which can be implemented on client side on any cloud storage supporting compare-and-set.

Dmitry Vyukov

Google

Day 1 / 14:00 / Track 2 / EN / Хардкор. Сложный низкоуровневый доклад, требующий от слушателя знаний технологии

Go scheduler: Implementing language with lightweight concurrency

Dmitry will look inside of the Go scheduler and expose how magic of goroutines is implemented.

Semyon Checherinda

Yandex

Day 2 / 14:00 / Track 2 / RU / Для практикующих инженеров

Distributed transactions in YDB

We'll explore transaction planning algorithm which Yandex Database (YDB) transactional system is based on. We'll see which entities participate in transactions, who sets global order for the transactions, and how transaction atomicity, reliability and high-level isolation are achieved.

Alex Petrov

Day 1 / 15:30 / Track 1 / EN / Для практикующих инженеров

Reduce your storage costs with Transient Replication and Cheap Quorums

We discuss Witness Replicas, a replication scheme used in Spanner and Megastore, and Apache Cassandra implementation of this concept, called Transient Replication and Cheap Quorums.

Cliff Click

CRATUS

Day 2 / 15:30 / Track 1 / EN / Хардкор. Сложный низкоуровневый доклад, требующий от слушателя знаний технологии

The H2O distributed K/V algorithm

A fast (typically under a microsecond) and exact (Java Memory Model) distributed key/value store.

Alexey Zinoviev

Apache Ignite Committer

Day 1 / 12:00 / Track 2 / RU / Введение в технологию

Not all ML algorithms go to distributed heaven

Alexey will tell about problems of adapting classic machine learning algorithms for distributed execution from his experience of working with Apache Spark ML, Apache Mahout, Apache Flink ML and creating Apache Ignite ML.