Proving Data Race Freedom in Relaxed Memory Models Beverly Sanders Computer & Information Science & Engineering * Overview Motivation Memory models and data races…