2009 Research Summary

Programming by Sketching

View Current Project Information

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.