Automatic Detection of Large Extended Data-Race-Free Regions with Conflict Isolation | IEEE Journals & Magazine | IEEE Xplore