@MastersThesis{ygyurova:meng-thesis:2015,
  title = "Efficient and Proven Verification of Unreliable Hardware Executions of Classic Algorithms",
  author = "Yoana Gyurova",
  month = "Jun",
  year = "2015",
  url = "http://groups.csail.mit.edu/commit/papers/2015/ygyurova-meng-thesis.pdf",
  type = "M.Eng. Thesis",
  address = "Cambridge, MA",
  school = "Massachusetts Institute of Technology",
}