Sound Automatic Lock Placement for Concurrent Programs with Pointers.

Nicolas Waldburger, Florian Faissole, Ryo Okabe, Denis Cousineau

Browse the full FORTE paper archive.