Labor für nebenläufiges Computing

← Zurück zum Labor

Publikationen

2023
Nikita Koval, Dmitry Khalanskiy, Dan Alistarh

CQS: A Formally-Verified Framework for Fair and Abortable Synchronization (CQS: ein formal verifiziertes Framework für faire und abbruchfähige Synchronisierung)

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: ein praxisorientiertes Framework zum Testen nebenläufiger Datenstrukturen in der JVM)

CAV 2023: 156-169

2023
Raed Romanov, Nikita Koval

The State-of-the-Art LCRQ Concurrent Queue Algorithm Does NOT Require CAS2 (Der moderne LCRQ-Algorithmus für nebenläufige Warteschlangen erfordert KEIN CAS2)

PPoPP 2023: 14-26

2023
Nikita Koval, Dan Alistarh, Roman Elizarov

Fast and Scalable Channels in Kotlin Coroutines (Schnelle und skalierbare Channels in Kotlin-Coroutinen)

PPoPP 2023: 107-118

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

Multi-queues can be state-of-the-art priority schedulers (Multi-Queues können als moderne Prioritäts-Scheduler dienen)

PPoPP 2022: 353-367

2021
Alexander Fedorov, Nikita Koval, Dan Alistarh:

A Scalable Concurrent Algorithm for Dynamic Connectivity (Ein skalierbarer nebenläufiger Algorithmus für dynamische Konnektivität)

SPAA 2021: 208-220

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

Testing concurrency on the JVM with lincheck (Nebenläufigkeitstests in der JVM mit lincheck)

PPoPP 2020: 423-424

2020
Nikita Koval, Vitaly Aksenov

Restricted memory-friendly lock-free bounded queues (Beschränkte, speicherfreundliche, sperrfreie Bounded Queues)

PPoPP 2020: 433-434

2019
Nikita Koval, Dan Alistarh, Roman Elizarov

Scalable FIFO Channels for Programming via Communicating Sequential Processes (Skalierbare FIFO-Channels für die Programmierung über kommunizierende sequenzielle Prozesse)

Euro-Par 2019: 317-333

2019
Dan Alistarh, Alexander Fedorov

In Search of the Fastest Concurrent Union-Find Algorithm (Auf der Suche nach dem schnellsten nebenläufigen Union-Find-Algorithmus)

OPODIS 2019: 15:1-15:16

2019
Nikita Koval, Dan Alistarh, Roman Elizarov

POSTER: Lock-free channels for programming via communicating sequential processes (POSTER: Sperrfreie Channels für die Programmierung über kommunizierende sequenzielle Prozesse)

PPoPP 2019: 417-418

2019
Dan Alistarh, Giorgi Nadiradze, Nikita Koval

Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers (Effizienzgarantien für parallele inkrementelle Algorithmen unter Relaxed Schedulern)

SPAA 2019: 145-154