@article{DBLP:journals/corr/0001L14,
  title = "Automatically finding atomic regions for fixing bugs in Concurrent programs",
  author = "Saurabh Joshi and Akash Lal",
  year = "2014",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1403.1749",
  volume = "abs/1403.1749",
}