Memory-model-sensitive data race analysis (2004)

by Y Yang, G Gopalakrishnan, G Lindstrom
Venue:In ICFEM, LNCS 3308