ISSTA/ECOOP 2024 (series) / Nikita Koval
![Nikita Koval](https://conf.researchr.org/getProfileImage/nikitakoval/90c70596-65f9-4873-9231-4cf613f1b74c/small.jpg?1711675391000)
Registered user since Wed 5 Dec 2018
Contributions
2024
CAKC
- Fast and Scalable Communication Channels
- Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM
- CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Primitives
- Speaker in Organizing Committee within the Concurrent Algorithms in Kotlin Coroutines Tutorial-track
- Coroutines Scheduler
Using general profile