Login / Signup
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.
Nikita Koval
Dmitry Khalanskiy
Dan Alistarh
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
np complete
database
artificial intelligence
data management