stilkov’s Twitter Archive—№ 11,153

“Proving the Correctness of Nonblocking Data Structures”—You can be happy if someone else takes care of that for you queue.acm.org/detail.cfm?id=2490873