@InProceedings{livshits14probabilistic,
  title =        "In Defense of Probabilistic Static Analysis",
  author =       "Benjamin Livshits and Shuvendu Lahiri",
  year =         "2014",
  month =        jun,
  booktitle =    "Workshop on Approximate Computing {(APPROX)}",
}