@Article{CACM-soundiness,
  author =       "Benjamin Livshits and Manu Sridharan and Yannis
                 Smaragdakis and Ondrej Lhotak and J. Nelson Amaral and
                 Bor-Yuh Evan Chang and Samuel Z. Guyer and Uday P.
                 Khedker and Anders Moller and Dimitrios Vardoulakis",
  title =        "In Defense of Soundiness: A Manifesto",
  journal =      "Communications of the ACM",
  issue_date =   "January 2013",
  volume =       "56",
  number =       "1",
  month =        feb,
  year =         "2015",
}