Automatic Atomicity Verification for Clients of Concurrent Data Structures.

Mohsen Lesani, Todd D. Millstein, Jens Palsberg

Browse the full CAV paper archive.