@inproceedings{pldi05-streambit,
  author = {Armando Solar-Lezama and Rodric Rabbah and Rastislav Rastislav Bod\'{\i}k and Kemal   Ebcio\u{g}lu},
  title = {Programming by sketching for bit-streaming programs},
  booktitle = {PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming   language design and implementation},
  year = {2005},
  isbn = {1-59593-056-6},
  pages = {281--294},
  location = {Chicago, IL, USA},
  doi = {http://doi.acm.org/10.1145/1065010.1065045},
  publisher = {ACM Press},
  address = {New York, NY, USA},
}