@misc{indiciaef05ebd1e9eb1,
  title = {A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs},
  author = {Suvam Mukherjee and Oded Padon and Sharon Shoham and Deepak D'Souza and Noam Rinetzky},
  year = {2020},
  url = {https://arxiv.org/abs/2009.02775},
  note = {Source identifier: 2009.02775}
}