Никита Коваль

Никита Коваль


Исследовательские группы

Биография

Никита разрабатывает алгоритмы для корутин в команде Kotlin и получает PhD в области многопоточного программирования. Помимо этого, преподает курс по параллельному программированию в Университете ИТМО и интересуется как самими многопоточными структурами данных, так и их верификацией и анализом.

Публикации

Multi-queues can be state-of-the-art priority schedulers

Апрель 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

Подробнее

A Scalable Concurrent Algorithm for Dynamic Connectivity

Июль 2021

Alexander Fedorov, Nikita Koval, Dan Alistarh

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

Подробнее

POSTER: Testing concurrency on the JVM with Lincheck

Февраль 2020

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

PPoPP 2020: 433-434

POSTER: Restricted memory-friendly lock-free bounded queues

Февраль 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