Nikita Koval is qualified to endorse.
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
Nikita Koval: | Is registered as an author of this paper. Can endorse for cs.DS. (why?) |
Dmitry Khalanskiy and Dan Alistarh are not registered as owners of this paper. (why?)