@PhdThesis{livshits-thesis,
  author =       "Benjamin Livshits",
  title =        "Improving Software Security with Precise Static and
                 Runtime Analysis",
  school =       "Stanford University",
  address =      "Stanford, California",
  year =         "2006",
}