Fence placement for legacy data-race-free programs via synchronization read detectionAndrew J. McPhersonVijay Nagarajanet al.2015ACM TACO