A Formally-Verified Framework for Fair Synchronization in Kotlin Coroutines. - Nikita Koval; Dmitry Khalanskiy; Dan Alistarh (CoRR, 2021)

CQS: A Formally-Verified Framework for Fair and Abortable Synchronization. - Nikita Koval; Dmitry Khalanskiy; Dan Alistarh (Proc. ACM Program. Lang., 2023)