@InProceedings{stephenson:pldi:2000,
  author = "Mark Stephenson and Johnathan Babb and Saman Amarasinghe",
  title = "Bitwidth Analysis with Application to Silicon Compilation",
  url = "http://groups.csail.mit.edu/commit/papers/00/bitwise-pldi2k.pdf",
  keywords = "Bitwise",
  month = "Jun",
  year = "2000",
  booktitle = "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)",
  address = "Vancouver, British Columbia",
}