@INPROCEEDINGS{pldi2012,
  author = {Michael Pradel and Thomas R. Gross},
  title = {Fully Automatic and Precise Detection of Thread Safety Violations},
  booktitle = {Conference on Programming Language Design and Implementation (PLDI)},
  year = {2012}
}