Automatic Detection of Large Extended Data-Race-Free Regions with Conflict Isolation | Publicación