Research group

Concurrent Computing

Publications

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: Restricted memory-friendly lock-free bounded queues

February 2020

Nikita Koval, Vitaly Aksenov

PPoPP 2020: 433-434

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: Lock-free channels for programming via communicating sequential processes

2019

Nikita Koval, Dan Alistarh, Roman Elizarov

PPoPP 2019: 417-418

Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers

2019

Dan Alistarh, Giorgi Nadiradze, Nikita Koval

SPAA 2019: 145-154

In Search of the Fastest Concurrent Union-Find Algorithm

2019

Dan Alistarh, Alexander Fedorov, Nikita Koval

OPODIS 2019: 15:1-15:16

Scalable FIFO Channels for Programming via Communicating Sequential Processes

2019

Nikita Koval, Dan Alistarh, Roman Elizarov

Euro-Par 2019: 317-333