Nikita Koval

24 papers A 2B 10Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automatic Data Structures Visualization in IntelliJ IDEA.
J. Object Technol.
Grigorii Emdin, Dmitrii Kirkhmeier, Nikita Koval
2026 J jnl
Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin.
J. Object Technol.
Dmitrii Artiukhov, Bob Brockbernd, Evgeniia Fedotova, Nikita Koval, Ivan Kylchik, Evgenii Moiseenko, Lev Serebryakov, Evgeniy Zhelenskiy, Maksim Zuev
2024 B conf
Memory Bounds for Concurrent Bounded Queues.
PPoPP
Vitaly Aksenov, Nikita Koval, Petr Kuznetsov, Anton Paramonov
2024 A conf
Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA.
ISSTA
Aleksandr Potapov, Maksim Zuev, Evgenii Moiseenko, Nikita Koval
2024 A conf
Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines.
ECOOP
Bob Brockbernd, Nikita Koval, Arie van Deursen, Burcu Kulahcioglu Ozkan
2023 J jnl
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.
Proc. ACM Program. Lang.
Nikita Koval, Dmitry Khalanskiy, Dan Alistarh
2023 B conf
Fast and Scalable Channels in Kotlin Coroutines.
PPoPP
Nikita Koval, Dan Alistarh, Roman Elizarov
2023 — conf
Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.
CAV (1)
Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh
2023 B conf
The State-of-the-Art LCRQ Concurrent Queue Algorithm Does NOT Require CAS2.
PPoPP
Raed Romanov, Nikita Koval
2022 J jnl
Fast and Scalable Channels in Kotlin Coroutines.
CoRR
Nikita Koval, Dan Alistarh, Roman Elizarov
2022 B conf
Multi-queues can be state-of-the-art priority schedulers.
PPoPP
Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh
2021 J jnl
A Formally-Verified Framework for Fair Synchronization in Kotlin Coroutines.
CoRR
Nikita Koval, Dmitry Khalanskiy, Dan Alistarh
2021 B conf
A Scalable Concurrent Algorithm for Dynamic Connectivity.
SPAA
Alexander Fedorov, Nikita Koval, Dan Alistarh
2021 J jnl
A Scalable Concurrent Algorithm for Dynamic Connectivity.
CoRR
Alexander Fedorov, Nikita Koval, Dan Alistarh
2021 J jnl
Memory-Optimality for Non-Blocking Containers.
CoRR
Vitaly Aksenov, Nikita Koval, Petr Kuznetsov
2021 J jnl
Multi-Queues Can Be State-of-the-Art Priority Schedulers.
CoRR
Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh
2020 J jnl
Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers.
CoRR
Dan Alistarh, Nikita Koval, Giorgi Nadiradze
2020 B conf
Restricted memory-friendly lock-free bounded queues.
PPoPP
Nikita Koval, Vitaly Aksenov
2020 B conf
Testing concurrency on the JVM with lincheck.
PPoPP
Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov
2019 B conf
Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers.
SPAA
Dan Alistarh, Giorgi Nadiradze, Nikita Koval
2019 B conf
In Search of the Fastest Concurrent Union-Find Algorithm.
OPODIS
Dan Alistarh, Alexander Fedorov, Nikita Koval
2019 J jnl
In Search of the Fastest Concurrent Union-Find Algorithm.
CoRR
Dan Alistarh, Alexander Fedorov, Nikita Koval
2019 B conf
Lock-free channels for programming via communicating sequential processes: poster.
PPoPP
Nikita Koval, Dan Alistarh, Roman Elizarov
2019 — conf
Scalable FIFO Channels for Programming via Communicating Sequential Processes.
Euro-Par
Nikita Koval, Dan Alistarh, Roman Elizarov