Nikita Koval
Biography
Nikita is a researcher in the Kotlin team at JetBrains and getting a PhD in the field of concurrency. He got both bachelor’s and master’s degrees at ITMO University, where he has also been teaching a course on concurrent programming. His primary research interests are concurrent data structures and algorithms, their verification, and practically applicable code analysis approaches.
Publications
Multi-queues can be state-of-the-art priority schedulers
April 2022
Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh
A Scalable Concurrent Algorithm for Dynamic Connectivity
July 2021
Alexander Fedorov, Nikita Koval, Dan Alistarh
POSTER: Testing concurrency on the JVM with Lincheck
February 2020
Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov
POSTER: Restricted memory-friendly lock-free bounded queues
February 2020
Nikita Koval, Vitaly Aksenov
In Search of the Fastest Concurrent Union-Find Algorithm
2019
Dan Alistarh, Alexander Fedorov, Nikita Koval
Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers
2019
Dan Alistarh, Giorgi Nadiradze, Nikita Koval
Scalable FIFO Channels for Programming via Communicating Sequential Processes
2019
Nikita Koval, Dan Alistarh, Roman Elizarov
POSTER: Lock-free channels for programming via communicating sequential processes
2019
Nikita Koval, Dan Alistarh, Roman Elizarov