Reasoning about Lock Placements.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Browse the full ESOP paper archive.