Distributed systems showdown — TLA+ vs real code
|
Workshop. Lincheck: Testing concurrency on the JVM (part 1)
|
Serverless nature of Yandex Database
|
Apache Ignite 3: GridGain everyday work
|
Data parallelism from a multicore perspective
|
Workshop. Lincheck: Testing concurrency on the JVM (part 2)
|
Algorithms for practical distributed agreement
|
What we talk about when we talk about distributed systems
|
Designing fast lock-free algorithms by understanding cache coherence dynamics
|
Workshop: TLA+ in action (part 1)
|
Theoretical and practical worlds of failure detectors
|
Simplifying global-scale strong consistency
|
Workshop: TLA+ in action (part 2)
|
Workshop: Java Concurrency Stress (JCStress) (part 1)
|
CAP Theorem — two decades and few clouds later
|
Workshop: TLA+ in action (part 3)
|
Workshop: Java Concurrency Stress (JCStress) (part 2)
|
Fearless global transactions with CockroachDB
|
Workshop: TLA+ in action (part 4)
|
Co-designing Raft + thread-per-core execution model for the Kafka-API
|
The hitchhiker's guide to distributed transactions
|
Building scalable and flexible cluster managers using declarative programming
|
The official ten-year retrospective of NewSQL databases
|