Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky: A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs. CoRR abs/2009.02775 (2020)