Local Reasoning for Storable Locks and Threads.

Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv

Browse the full APLAS paper archive.