Nikita Koval

Research Groups

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

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