Lock Removal for Concurrent Trace Programs.

Vineet Kahlon, Chao Wang

Browse the full CAV paper archive.