Section based program analysis to reduce overhead of detecting unsynchronized thread communication.

Madan Mohan Das, Gabriel Southern, Jose Renau

Browse the full PPoPP paper archive.