Position Paper: Verifying Optimistic Algorithms Should be Easy

Noam Rinetzky,  Martin Vechev,  Eran Yahav and Greta Yorsh

EC2: Exploiting Concurrency Efficiently and Correctly -- CAV Workshop 2009

Paper

In this paper, we call to bridge the gap between what makes highly-concurrent optimistic algorithms work and current approaches for proving their correctness.