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

PPoPP '22: Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Read more

A Scalable Concurrent Algorithm for Dynamic Connectivity

July 2021

Alexander Fedorov, Nikita Koval, Dan Alistarh

SPAA '21: Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures

Read more

POSTER: Testing concurrency on the JVM with Lincheck

February 2020

Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov

PPoPP 2020: 433-434

POSTER: Restricted memory-friendly lock-free bounded queues

February 2020

Nikita Koval, Vitaly Aksenov

PPoPP 2020: 433-434

In Search of the Fastest Concurrent Union-Find Algorithm

2019

Dan Alistarh, Alexander Fedorov, Nikita Koval

OPODIS 2019: 15:1-15:16

Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers

2019

Dan Alistarh, Giorgi Nadiradze, Nikita Koval

SPAA 2019: 145-154

Scalable FIFO Channels for Programming via Communicating Sequential Processes

2019

Nikita Koval, Dan Alistarh, Roman Elizarov

Euro-Par 2019: 317-333

POSTER: Lock-free channels for programming via communicating sequential processes

2019

Nikita Koval, Dan Alistarh, Roman Elizarov

PPoPP 2019: 417-418