| Multi-queues can be state-of-the-art priority schedulers A Postnikova, N Koval, G Nadiradze, D Alistarh Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of …, 2022 | 15 | 2022 |
| Efficiency guarantees for parallel incremental algorithms under relaxed schedulers D Alistarh, G Nadiradze, N Koval The 31st ACM Symposium on Parallelism in Algorithms and Architectures, 145-154, 2019 | 9 | 2019 |
| Fast and scalable channels in kotlin coroutines N Koval, D Alistarh, R Elizarov Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and …, 2023 | 8 | 2023 |
| Lincheck: A practical framework for testing concurrent data structures on JVM N Koval, A Fedorov, M Sokolova, D Tsitelov, D Alistarh International Conference on Computer Aided Verification, 156-169, 2023 | 6 | 2023 |
| Scalable fifo channels for programming via communicating sequential processes N Koval, D Alistarh, R Elizarov Euro-Par 2019: Parallel Processing: 25th International Conference on …, 2019 | 6 | 2019 |
| In search of the fastest concurrent union-find algorithm D Alistarh, A Fedorov, N Koval arXiv preprint arXiv:1911.06347, 2019 | 5 | 2019 |
| The state-of-the-art LCRQ concurrent queue algorithm does NOT require CAS2 R Romanov, N Koval Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and …, 2023 | 4 | 2023 |
| Testing concurrency on the JVM with lincheck N Koval, M Sokolova, A Fedorov, D Alistarh, D Tsitelov Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of …, 2020 | 4 | 2020 |
| A formallyverified framework for fair synchronization in kotlin coroutines N Koval, D Khalanskiy, D Alistarh CoRR, 2021 | 2 | 2021 |
| Restricted memory-friendly lock-free bounded queues N Koval, V Aksenov Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of …, 2020 | 2 | 2020 |
| Memory-Optimal Non-Blocking Queues V Aksenov, N Koval, P Kuznetsov arXiv preprint arXiv:2104.15003, 2023 | 1* | 2023 |
| CQS: A Formally-Verified Framework for Fair and Abortable Synchronization N Koval, D Khalanskiy, D Alistarh Proceedings of the ACM on Programming Languages 7 (PLDI), 244-266, 2023 | 1 | 2023 |
| A scalable concurrent algorithm for dynamic connectivity A Fedorov, N Koval, D Alistarh Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and …, 2021 | 1 | 2021 |
| Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA A Potapov, M Zuev, E Moiseenko, N Koval Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | | 2024 |
| Memory Bounds for Concurrent Bounded Queues V Aksenov, N Koval, P Kuznetsov, A Paramonov Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and …, 2024 | | 2024 |
| LIPIcs, Volume 313, ECOOP 2024, Complete Volume}} J Aldrich, G Salvaneschi, L Aceto, D Gorla, S Lybech, B Arvay, TTH Doan, ... 38th European Conference on Object-Oriented Programming (ECOOP 2024) 313, 1-1324, 2024 | | 2024 |
| Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines B Brockbernd, N Koval, A van Deursen, B Kulahcioglu Ozkan | | 2024 |
| 23rd International Conference on Principles of Distributed Systems (OPODIS 2019) R Guerraoui, K Censor-Hillel, H Pozidis, K Lev-Ari, A Spiegelman, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2020 | | 2020 |
| Lock-free channels for programming via communicating sequential processes: poster N Koval, D Alistarh, R Elizarov Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019 | | 2019 |
| Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs N Koval, D Tsitelov, R Elizarov Tools and Methods of Program Analysis: 4th International Conference, TMPA …, 2018 | | 2018 |
