Proving Concurrent Data Structures Linearizable.

Vineet Singh, Iulian Neamtiu, Rajiv Gupta

Browse the full ISSRE paper archive.