Laboratório de Computação Concorrente

← Voltar ao laboratório

Publicações

2023
Nikita Koval, Dmitry Khalanskiy, Dan Alistarh

CQS: A Formally-Verified Framework for Fair and Abortable Synchronization (CQS: uma framework formalmente verificada para sincronização justa e anulável)

PLDI 2023 : 244-266 (2023)

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

Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM (Lincheck: uma framework prática para testar estruturas de dados concorrentes na JVM)

CAV 2023: 156-169

2023
Raed Romanov, Nikita Koval

The State-of-the-Art LCRQ Concurrent Queue Algorithm Does NOT Require CAS2 (O algoritmo de fila concorrente LCRQ de última geração NÃO exige CAS2)

PPoPP 2023: 14-26

2023
Nikita Koval, Dan Alistarh, Roman Elizarov

Fast and Scalable Channels in Kotlin Coroutines (Canais rápidos e escaláveis em corrotinas Kotlin)

PPoPP 2023: 107-118

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

Multi-queues can be state-of-the-art priority schedulers (Multifilas podem ser agendadores de prioridade de última geração)

PPoPP 2022: 353-367

2021
Alexander Fedorov, Nikita Koval, Dan Alistarh:

A Scalable Concurrent Algorithm for Dynamic Connectivity (Um algoritmo concorrente escalável para conectividade dinâmica)

SPAA 2021: 208-220

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

Testing concurrency on the JVM with lincheck (Testando a concorrência na JVM com o lincheck)

PPoPP 2020: 423-424

2020
Nikita Koval, Vitaly Aksenov

Restricted memory-friendly lock-free bounded queues (Filas limitadas sem bloqueio e com memória restrita)

PPoPP 2020: 433-434

2019
Nikita Koval, Dan Alistarh, Roman Elizarov

Scalable FIFO Channels for Programming via Communicating Sequential Processes (Canais FIFO escaláveis para programação via comunicação de processos sequenciais)

Euro-Par 2019: 317-333

2019
Dan Alistarh, Alexander Fedorov

In Search of the Fastest Concurrent Union-Find Algorithm (Em busca do algoritmo union-find concorrente mais rápido)

OPODIS 2019: 15:1-15:16

2019
Nikita Koval, Dan Alistarh, Roman Elizarov

POSTER: Lock-free channels for programming via communicating sequential processes (Canais sem bloqueio para programação por meio de processos sequenciais de comunicação)

PPoPP 2019: 417-418

2019
Dan Alistarh, Giorgi Nadiradze, Nikita Koval

Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers (Garantias de eficiência para algoritmos incrementais paralelos em agendadores relaxados)

SPAA 2019: 145-154