Automatic detection of extended data-race-free regions | Publicación