Nikita Siniachenko
Company: VK
Talk type: Talk
Application of TLA+ for Efficient Testing of Distributed Systems
In the talk we will study the problem of development and testing of distributed systems, consider the TLA+ specification language and its application for program verification. In addition, we will describe the method of testing distributed systems based on the actor model, which combines the advantages of both fuzzing and TLA+.
Speakers
Evgenii Chernatskiy
Company: VK
Other talks on «Database Internals»
- Watch recording
- Watch recording
Talk type: Talk
Room 3What it takes to achieve linearizability in a distributed system
Sergey Petrenko
Company: Tarantool
- Watch recording
- Watch recording
Talk type: Talk
Room 1How We Adapted Dynamic YTsaurus Tables to Store Blobs
Maksim Babenko
Company: Yandex
- Watch recording
- Watch recording
Talk type: Talk
Room 1Compression, encryption and more: changing the behavior and guarantees of a distributed database
Anton Vinogradov
Company: Apache Software Foundation
- Watch recording
Talk type: Talk
Room 1Speed-up queries: How to Cook ClickHouse Well-done
Kuzma Leshakov
Company: Yandex Cloud
- Watch recording
Talk type: Talk
Room 2A distributed SQL query engine for data analytics
Alexey Ozeritskii
Company: Yandex
- Watch recording
Talk type: Talk
Room 2Moving Towards Universality: A Hybrid OLTP Database with OLAP Query Support
Aleksei Dmitriev
Company: Yandex
- Watch recording
Talk type: Talk
Room 2Predictive Analysis of Parasitic Load on GreenPlum Clusters
Pavel Ternyuk
Company: Data Sapience
Mark Lebedev
Company: GlowByte Consulting
- Watch recording
Talk type: Talk
Room 1Fast data processing in Data Lake with Trino
Vladimir Ozerov
Company: Querify Labs
