Никита Коваль
Исследовательские группы
Биография
Никита разрабатывает алгоритмы для корутин в команде 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