并发计算实验室

← 返回到实验室

出版物

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

最先进的 LCRQ 并发队列算法不需要 CAS2

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

通过通信顺序进程进行编程的可扩缩 FIFO 通道

Euro-Par 2019: 317-333

2019 年
Dan Alistarh, Alexander Fedorov

寻找最快的并发并查算法

OPODIS 2019: 15:1-15:16

2019 年
Nikita Koval, Dan Alistarh, Roman Elizarov

海报：通过通信顺序进程进行编程的无锁通道

PPoPP 2019: 417-418

2019 年
Dan Alistarh, Giorgi Nadiradze, Nikita Koval

宽松调度器下并行增量算法的效率保证

SPAA 2019: 145-154