most citedA Universal Technique for Machine-Certified Proofs of Linearizable Algorithms

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.DC2023★ 1 cited

A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms

Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz +1

Linearizability has been the long standing gold standard for consistency in concurrent data structures. However, proofs of linearizability can be long and intricate, hard to produc…