@misc{indiciae756de99a5c43,
  title = {Fast, Sound and Effectively Complete Dynamic Race Prediction},
  author = {Andreas Pavlogiannis},
  year = {2019},
  url = {https://arxiv.org/abs/1901.08857},
  note = {Source identifier: 1901.08857}
}