_id,doi,title
13179,10.1145/3591230,CQS: A formally-verified framework for fair and abortable synchronization