Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

   

2008 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.