Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Maksim Zuev

dblp:386/4727 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Concurrent programming
concurrency bugs
0.812024
Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA · ISSTA 2024
Software testing
concurrency testing
0.812024
Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA · ISSTA 2024
Program verification
model checking
0.812024
Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA · ISSTA 2024
Debugging and program repair › record and replay
replay debugging
0.212024
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
YearPublicationVenuePosition
2024 Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA
abstract
This 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
ISSTA2