Scalable FIFO Channels for Programming via Communicating Sequential Processes. - Nikita Koval; Dan Alistarh; Roman Elizarov (Euro-Par, 2019)

In Search of the Fastest Concurrent Union-Find Algorithm. - Dan Alistarh; Alexander Fedorov; Nikita Koval (OPODIS, 2019)

Lock-free channels for programming via communicating sequential processes: poster. - Nikita Koval; Dan Alistarh; Roman Elizarov (PPoPP, 2019)

Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers. - Dan Alistarh; Giorgi Nadiradze; Nikita Koval (SPAA, 2019)

Restricted memory-friendly lock-free bounded queues. - Nikita Koval; Vitaly Aksenov (PPoPP, 2020)

Testing concurrency on the JVM with lincheck. - Nikita Koval; Maria Sokolova; Alexander Fedorov; Dan Alistarh; Dmitry Tsitelov (PPoPP, 2020)

A Scalable Concurrent Algorithm for Dynamic Connectivity. - Alexander Fedorov; Nikita Koval; Dan Alistarh (SPAA, 2021)

Memory-Optimality for Non-Blocking Containers. - Vitaly Aksenov; Nikita Koval; Petr Kuznetsov (CoRR, 2021)

A Formally-Verified Framework for Fair Synchronization in Kotlin Coroutines. - Nikita Koval; Dmitry Khalanskiy; Dan Alistarh (CoRR, 2021)

Multi-queues can be state-of-the-art priority schedulers. - Anastasiia Postnikova; Nikita Koval; Giorgi Nadiradze; Dan Alistarh (PPoPP, 2022)

Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. - Nikita Koval; Alexander Fedorov; Maria Sokolova; Dmitry Tsitelov; Dan Alistarh (CAV (1), 2023)

Fast and Scalable Channels in Kotlin Coroutines. - Nikita Koval; Dan Alistarh; Roman Elizarov (PPoPP, 2023)

The State-of-the-Art LCRQ Concurrent Queue Algorithm Does NOT Require CAS2. - Raed Romanov; Nikita Koval (PPoPP, 2023)

CQS: A Formally-Verified Framework for Fair and Abortable Synchronization. - Nikita Koval; Dmitry Khalanskiy; Dan Alistarh (Proc. ACM Program. Lang., 2023)

Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines. - Bob Brockbernd; Nikita Koval; Arie van Deursen; Burcu Kulahcioglu Ozkan (ECOOP, 2024)

Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA. - Aleksandr Potapov; Maksim Zuev; Evgenii Moiseenko; Nikita Koval (ISSTA, 2024)

Memory Bounds for Concurrent Bounded Queues. - Vitaly Aksenov; Nikita Koval; Petr Kuznetsov; Anton Paramonov (PPoPP, 2024)