Nikita Koval
where else to find them
no profile links on file
what they talk about
where they keep going back
- Hydra2 editions2020–2022
all 5 in the filters
on a stage with
- Dan Alistarhonce
- Dmitry Khalanskiyonce
who talks about the same things
- Roman Elizarov18 talks
- Marcin Moskała26 talks
- Svetlana Isakova17 talks
- Louis CAD14 talks
- Sean McQuillan24 talks
- Vsevolod Tolstopyatov4 talks
| title | conference | date |
|---|---|---|
| CQS: A Formally-Verified Framework for Fair and Abortable Synchronization | PLDI 2024 | 2024-06-24 |
CQS provides a queue-based synchronizer that implements fair FIFO ordering and efficient abortable operations by reserving array slots for suspend and resume… | ||
| Lincheck: Testing Concurrent Algorithms on JVM | droidcon Berlin 2023 | 2023-07-05 |
Lincheck is a JVM/Kotlin testing framework that finds concurrency bugs by inserting bytecode transformation hooks (before-read/before-write) and exhaustively… | ||
| How we test concurrent algorithms in Kotlin Coroutines | KotlinConf 2023 | 2023-04-12 |
JetBrains uses Lincheck to declaratively test a dozen non‑trivial concurrent data structures (queues, semaphores, channels), generating and controlling… | ||
| Intro to Concurrent Programming 1/3: Classic Stack and Queue Algorithms | Hydra 2022 | 2022-06-02 |
Covers lock-free implementations of a linked-list stack and the Michael-Scott queue, using CAS-based push/pop loops, the universal-copy-on-write construction… | ||
| Intro to Concurrent Programming 2/3: Modern Queues and Flat Combining | Hydra 2022 | 2022-06-02 |
Shows how to build a high-throughput queue using the unconditional Fetch-And-Add counter plus a tiny CAS path: claim slots via 64-bit fetch-and-adds, handle… | ||
| Intro to Concurrent Programming 3/3: Relaxed Data Structures for Parallel Algorithms | Hydra 2022 | 2022-06-02 |
Relaxed (non-linearizable) priority structures trade strict FIFO for speed and still produce correct parallel shortest‑path results by tolerating extra… | ||
| Synchronization primitives can be faster with SegmentQueueSynchronizer | Hydra 2020 | 2020-07-06 |
Presents a new synchronization abstraction called SegmentQueueSynchronizer implemented for Kotlin coroutines that starts from a novel semaphore/mutex algorithm… | ||
| The Tale of How We Implemented the Channel Algorithm in Kotlin Coroutines | JPoint 2019 | 2019-04-05 |
An exploration of Kotlin coroutines' channel implementation: it compares channel algorithms used in other languages and libraries, explains the Kotlin team's… | ||
| nothing matches | ||