Nikita Koval

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 20

Top Topics

Incremental Algorithms

Mutual Exclusion

Top Venues

Proc. ACM Program. Lang.

Publications

Vitaly Aksenov, Nikita Koval, Petr Kuznetsov, Anton Paramonov
Memory Bounds for Concurrent Bounded Queues. PPoPP (2024)
Nikita Koval, Dmitry Khalanskiy, Dan Alistarh
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Nikita Koval, Dan Alistarh, Roman Elizarov
Fast and Scalable Channels in Kotlin Coroutines. PPoPP (2023)
Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh
Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. CAV (1) (2023)
Raed Romanov, Nikita Koval
The State-of-the-Art LCRQ Concurrent Queue Algorithm Does NOT Require CAS2. PPoPP (2023)
Nikita Koval, Dan Alistarh, Roman Elizarov
Fast and Scalable Channels in Kotlin Coroutines. CoRR (2022)
Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh
Multi-queues can be state-of-the-art priority schedulers. PPoPP (2022)
Alexander Fedorov, Nikita Koval, Dan Alistarh
A Scalable Concurrent Algorithm for Dynamic Connectivity. SPAA (2021)
Nikita Koval, Dmitry Khalanskiy, Dan Alistarh
A Formally-Verified Framework for Fair Synchronization in Kotlin Coroutines. CoRR (2021)
Alexander Fedorov, Nikita Koval, Dan Alistarh
A Scalable Concurrent Algorithm for Dynamic Connectivity. CoRR (2021)
Vitaly Aksenov, Nikita Koval, Petr Kuznetsov
Memory-Optimality for Non-Blocking Containers. CoRR (2021)
Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh
Multi-Queues Can Be State-of-the-Art Priority Schedulers. CoRR (2021)
Dan Alistarh, Nikita Koval, Giorgi Nadiradze
Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers. CoRR (2020)
Nikita Koval, Vitaly Aksenov
Restricted memory-friendly lock-free bounded queues. PPoPP (2020)
Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov
Testing concurrency on the JVM with lincheck. PPoPP (2020)
Nikita Koval, Dan Alistarh, Roman Elizarov
Scalable FIFO Channels for Programming via Communicating Sequential Processes. Euro-Par (2019)
Dan Alistarh, Alexander Fedorov, Nikita Koval
In Search of the Fastest Concurrent Union-Find Algorithm. OPODIS (2019)
Dan Alistarh, Alexander Fedorov, Nikita Koval
In Search of the Fastest Concurrent Union-Find Algorithm. CoRR (2019)
Nikita Koval, Dan Alistarh, Roman Elizarov
Lock-free channels for programming via communicating sequential processes: poster. PPoPP (2019)
Dan Alistarh, Giorgi Nadiradze, Nikita Koval
Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers. SPAA (2019)