Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nikita Koval
conf.researchr.org general profile
ICSE 2024 profile
ISSTA/ECOOP 2024 profile
PLDI 2023 profile
PLDI 2024 profile
PPoPP 2020 profile
PPoPP 2019 profile
PPoPP 2022 profile
PPoPP 2023 profile
PPoPP 2024 profile
Registered user since Wed 5 Dec 2018
Name:
Nikita Koval
Country:
Netherlands
Affiliation:
JetBrains
X (Twitter):
https://x.com/nkoval_
Contributions
2024
CAKC
Speaker in Organizing Committee within the Concurrent Algorithms in Kotlin Coroutines Tutorial-track
PLDI
Organizer of Concurrent Algorithms in Kotlin Coroutines within the Tutorials-track
IDE
Keynote Speaker of IDE Integration: A Case Study on Boosting Concurrency Testing within the IDE 2024-track
Principles and Practice of Parallel Programming
Author of Memory Bounds for Bounded Queues within the Main Conference-track
2023
PLDI
Author of CQS: A Formally-Verified Framework for Fair and Abortable Synchronization within the PLDI Research Papers-track
Principles and Practice of Parallel Programming
Author of The State-of-the-Art LCRQ Concurrent Queue Algorithm Does NOT Require CAS2 within the Main Conference-track
Author of Fast and Scalable Channels in Kotlin Coroutines within the Main Conference-track
2022
Principles and Practice of Parallel Programming
Author of Multi-Queues Can Be State-of-the-Art Priority Schedulers within the Main Conference-track
2020
Principles and Practice of Parallel Programming
Author of Brief Announcement: Memory-Friendly Lock-Free Bounded Queues within the Brief Announcements-track
Author of Brief Announcement: Testing Concurrency on the JVM with Lincheck within the Brief Announcements-track
2019
Principles and Practice of Parallel Programming
Committee Member in Artifact Evaluation Committee
Author of Lock-free Channels for Programming via Communicating Sequential Processes within the Posters-track
Share
x
Fri 19 Apr 02:48