연구
Concurrent Computing 연구소
간행물
2023
Nikita Koval, Dmitry Khalanskiy, Dan Alistarh
Nikita Koval, Dmitry Khalanskiy, Dan Alistarh
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization(CQS: 공정하고 중단 가능한 동기화를 위해 공식적으로 검증된 프레임워크)
PLDI 2023 : 244-266 (2023)
2023
Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh
Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh
Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM(Lincheck: JVM에서 동시 데이터 구조를 테스트하기 위한 실용적 프레임워크)
CAV 2023: 156-169
2023
Raed Romanov, Nikita Koval
Raed Romanov, Nikita Koval
The State-of-the-Art LCRQ Concurrent Queue Algorithm Does NOT Require CAS2(CAS2가 필요 없는 첨단 LCRQ 동시 대기열 알고리즘)
PPoPP 2023: 14-26
2023
Nikita Koval, Dan Alistarh, Roman Elizarov
Nikita Koval, Dan Alistarh, Roman Elizarov
Fast and Scalable Channels in Kotlin Coroutines(Kotlin 코루틴의 빠르고 확장 가능한 채널)
PPoPP 2023: 107-118
2023
Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh
Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh
Multi-queues can be state-of-the-art priority schedulers(첨단 우선순위 스케줄러가 될 수 있는 다중 대기열)
PPoPP 2022: 353-367
2021년
Alexander Fedorov, Nikita Koval, Dan Alistarh:
Alexander Fedorov, Nikita Koval, Dan Alistarh:
A Scalable Concurrent Algorithm for Dynamic Connectivity(동적 연결을 위한 확장 가능한 동시 알고리즘)
SPAA 2021: 208-220
2020년
Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov
Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov
Testing concurrency on the JVM with lincheck(Lincheck를 사용하여 JVM에서 동시성 테스트)
PPoPP 2020: 423-424
2020년
Nikita Koval, Vitaly Aksenov
Nikita Koval, Vitaly Aksenov
Restricted memory-friendly lock-free bounded queues(제한된 메모리 친화적인 잠금 없는 한정적 대기열)
PPoPP 2020: 433-434
2019년
Nikita Koval, Dan Alistarh, Roman Elizarov
Nikita Koval, Dan Alistarh, Roman Elizarov
Scalable FIFO Channels for Programming via Communicating Sequential Processes(순차 프로세스 통신을 사용해 프로그래밍하기 위한 확장 가능한 FIFO 채널)
Euro-Par 2019: 317-333
2019년
Dan Alistarh, Alexander Fedorov
Dan Alistarh, Alexander Fedorov
In Search of the Fastest Concurrent Union-Find Algorithm(가장 빠른 동시 공용체 검색 알고리즘을 찾아서)
OPODIS 2019: 15:1-15:16