Rodric M. Rabbah, Rastislav Bod́ık, and Kemal Ebcioglu. Programming by sketching for bit-streaming programs (2005)

by Armando Solar-Lezama
Venue:In PLDI