Demo Data from VLDB 2026 / reviewers in the wild / expert
Maksim Zuev
dblp:386/4727
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2024
0009-0002-7308-8384ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Concurrent programming · 30% Software testing · 30% Program verification · 30% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Concurrent programming
concurrency bugs |
0.8 | 1 | 2024 | Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA · ISSTA 2024 |
Software testing
concurrency testing |
0.8 | 1 | 2024 | Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA · ISSTA 2024 |
Program verification
model checking |
0.8 | 1 | 2024 | Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA · ISSTA 2024 |
Debugging and program repair › record and replay
replay debugging |
0.2 | 1 | 2024 | Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA · ISSTA 2024 |
Methods — techniques the papers use, named apart from their topics
model checking · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEAabstractThis paper presents an IntelliJ IDEA plugin for Lincheck -- a popular framework for testing concurrent data structures on JVM. The Lincheck framework automatically generates concurrent scenarios and examines them with a model checker, providing a detailed execution trace that reproduces the detected error. This trace includes all shared memory access and synchronization events. The IntelliJ IDEA plugin offers record-and-replay debugging to study the execution trace, providing native debugging experience in the IDE. The Lincheck plugin pauses the failed execution at the beginning and provides additional panels that visualize the failed scenario, the execution trace, and the current state of the data structure. One can step through the trace and reproduce the error, moving forward and backward and observing how the data structure changes. These novel capabilities significantly improve the debugging process, making identifying and fixing complex concurrency bugs easier. Aleksandr Potapov, Maksim Zuev, Evgenii Moiseenko, Nikita Koval |
ISSTA | 2 |