Kill-safe synchronization abstractions.

Matthew Flatt, Robert Bruce Findler

Browse the full PLDI paper archive.