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

by Armando Solar-Lezama
Venue:In PLDI