Extended Sequential Reasoning for Data-Race-Free Programs ∗

by Laura Effinger-dean, Hans-j. Boehm, Dhruva Chakrabarti, Pramod Joisha