ROSAEC center Seoul National University

Seminars & Workshops

Speaker:Armando Solar-Lezama , Massachusetts Institute of Technology
When:2009-12-14 09:00
Place:Room B103, Bldg 39, SNU


Sketching is a new form of localized software synthesis that aims to bridge the gap between a programmer’s high-level insights about a problem and the computer’s ability to manage low-level details. In sketching, the programmer uses partial programs to describe the desired implementation strategy, and leaves the low-level details of the imple- mentation to an automated synthesis procedure. This paper describes the sketching approach to program synthesis, including the details of the Sketch language and synthesizer. The paper will then describe some of the techniques that make synthesis from sketches possible, and will close with a brief discussion of open problems in programmer guided synthesis.

Short bio

Assistant Prof. at MIT Comp. Sci. and A.I. Lab.

Ph.D. at UC Berkeley


© Copyright 2008-2010 ROSAEC Center, Seoul National University