並行コンピューティングラボ

← ラボに戻る

出版物

2023
Nikita Koval, Dmitry Khalanskiy, Dan Alistarh

CQS: 適正で中止可能な同期のための形式的検証フレームワーク

PLDI 2023 : 244-266 (2023)

2023
Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh

Lincheck: JVM 上の並行データ構造をテストするための実用的なフレームワーク

CAV 2023: 156-169

2023
Raed Romanov, Nikita Koval

CAS2 が不要な最先端の LCRQ 並行キューアルゴリズム

PPoPP 2023: 14-26

2023
Nikita Koval, Dan Alistarh, Roman Elizarov

Kotlin コルーチンの高速かつスケーラブルなチャンネル

PPoPP 2023: 107-118

2023
Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh

最先端の優先順位スケジューラーになり得るマルチキュー

PPoPP 2022: 353-367

2021
Alexander Fedorov, Nikita Koval, Dan Alistarh:

動的接続のためのスケーラブルな並行アルゴリズム

SPAA 2021: 208-220

2020
Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov

lincheck による JVM 上の並行性テスト

PPoPP 2020: 423-424

2020
Nikita Koval, Vitaly Aksenov

制約付きのメモリに優しいロックフリーの有界キュー

PPoPP 2020: 433-434

2019
Nikita Koval, Dan Alistarh, Roman Elizarov

Communicating Sequential Processes（CSP）によるプログラミング向けのスケーラブルな FIFO チャンネル

Euro-Par 2019: 317-333

2019
Dan Alistarh, Alexander Fedorov

最速の並行 Union-Find アルゴリズムを求めて

OPODIS 2019: 15:1-15:16

2019
Nikita Koval, Dan Alistarh, Roman Elizarov

POSTER: Communicating Sequential Processes（CSP）によるプログラミング向けのロックフリーチャンネル

PPoPP 2019: 417-418

2019
Dan Alistarh, Giorgi Nadiradze, Nikita Koval

緩和されたスケジューラーの下での並行増分アルゴリズムの効率性の保証

SPAA 2019: 145-154