Login / Signup

Fence placement for legacy data-race-free programs via synchronization read detection.

Andrew J. McPhersonVijay NagarajanSusmit SarkarMarcelo Cintra
Published in: PPOPP (2015)
Keyphrases