Login / Signup

CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.

Nikita KovalDmitry KhalanskiyDan Alistarh
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • np complete
  • database
  • artificial intelligence
  • data management