Automatic detection of extended data-race-free regions.

Alexandra Jimborean, Jonatan Waern, Per Ekemark, Stefanos Kaxiras, Alberto Ros

Browse the full CGO paper archive.