Programming by sketching for bit-streaming programs.

Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodk, Kemal Ebcioglu

Browse the full PLDI paper archive.