@ScienceThesis{stephenson:sm-thesis:2000,
  author = "Mark Stephenson",
  month = "May",
  year = "2000",
  title = "Bitwise: Optimizing Bitwidths Using Data-Range Propagation",
  url = "https://commit.csail.mit.edu/papers/2000/Mark-SM.pdf",
  keywords = "Bitwise",
  type = "S.M. Thesis",
  address = "Cambridge, MA",
  school = "Massachusetts Institute of Technology",
}