@inproceedings{DBLP:conf/pldi/Solar-LezamaRBE05,
  author       = {Armando Solar{-}Lezama and
                  Rodric M. Rabbah and
                  Rastislav Bod{\'{\i}}k and
                  Kemal Ebcioglu},
  title        = {Programming by sketching for bit-streaming programs},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
                  Language Design and Implementation, Chicago, IL, USA, June 12-15,
                  2005},
  pages        = {281--294},
  year         = {2005},
  crossref     = {DBLP:conf/pldi/2005},
  url          = {https://doi.org/10.1145/1065010.1065045},
  doi          = {10.1145/1065010.1065045},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/Solar-LezamaRBE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"GkwWEZPQzunNBQgmp","bibbaseid":"solarlezama-rabbah-bodk-ebcioglu-programmingbysketchingforbitstreamingprograms-2005","author_short":["Solar-Lezama, A.","Rabbah, R. M.","Bodík, R.","Ebcioglu, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]},{"firstnames":["Rodric","M."],"propositions":[],"lastnames":["Rabbah"],"suffixes":[]},{"firstnames":["Rastislav"],"propositions":[],"lastnames":["Bodík"],"suffixes":[]},{"firstnames":["Kemal"],"propositions":[],"lastnames":["Ebcioglu"],"suffixes":[]}],"title":"Programming by sketching for bit-streaming programs","booktitle":"Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005","pages":"281–294","year":"2005","crossref":"DBLP:conf/pldi/2005","url":"https://doi.org/10.1145/1065010.1065045","doi":"10.1145/1065010.1065045","timestamp":"Thu, 14 Oct 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/pldi/Solar-LezamaRBE05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/pldi/Solar-LezamaRBE05,\n author = {Armando Solar{-}Lezama and\n Rodric M. Rabbah and\n Rastislav Bod{\\'{\\i}}k and\n Kemal Ebcioglu},\n title = {Programming by sketching for bit-streaming programs},\n booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming\n Language Design and Implementation, Chicago, IL, USA, June 12-15,\n 2005},\n pages = {281--294},\n year = {2005},\n crossref = {DBLP:conf/pldi/2005},\n url = {https://doi.org/10.1145/1065010.1065045},\n doi = {10.1145/1065010.1065045},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/pldi/Solar-LezamaRBE05.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Solar-Lezama, A.","Rabbah, R. M.","Bodík, R.","Ebcioglu, K."],"key":"DBLP:conf/pldi/Solar-LezamaRBE05","id":"DBLP:conf/pldi/Solar-LezamaRBE05","bibbaseid":"solarlezama-rabbah-bodk-ebcioglu-programmingbysketchingforbitstreamingprograms-2005","role":"author","urls":{"Paper":"https://doi.org/10.1145/1065010.1065045"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["rGuy4xgsrB7zfgooW","DAnxudWukpMXCtWy8"],"keywords":[],"search_terms":["programming","sketching","bit","streaming","programs","solar-lezama","rabbah","bodík","ebcioglu"],"title":"Programming by sketching for bit-streaming programs","year":2005}