Research Projects

Programming by Sketching

Ras Bodik

The vision behind the Programming by Sketching project is to bring the power of software synthesis to programmers' hands. A key problem in making automatic synthesis practical is how to allow the programmer to specify what code she wants to generate. We are currently investigating two approaches: implementation sketching and jungloid mining.

More information: http://www.cs.berkeley.edu/~bodik/research/sketching.html