Login / Signup
Dmitry Khalanskiy
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Lightweight
Databases
Mobile Robot
Main Contribution
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Nikita Koval
,
Dmitry Khalanskiy
,
Dan Alistarh
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.
Proc. ACM Program. Lang.
7 (PLDI) (2023)
Nikita Koval
,
Dmitry Khalanskiy
,
Dan Alistarh
A Formally-Verified Framework for Fair Synchronization in Kotlin Coroutines.
CoRR
(2021)