Armando Solar-Lezama
Associate Professor

phone: (617) 258-9727

Research Agenda:

I work with the Computer Assisted Programming Group; our goal is to develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems.

Sketch Version 1.7.4 Released (July, 2017) :

This version corresponds to changeset 2f6a8e422399 of the sketch-backend and changeset d143ce6987ce of the sketch-frontend. You can download an easy-to-install (relatively speaking)  source distribution from here:
Tar ball    
Working version of Sketch Manual
If you want to be notified about new releases or major bug-fixes, you can subscribe to the sketch users mailing list.


  • Fall  2013: 6.820 Foundations of Program Analysis
  • Spring 2013: 6.00 Introduction to Computer Science and Programming
  • Spring 2012: 6.005 Elements of Software Construction
  • Fal 2011: 6.820 Foundations of Program Analysis
  • Fall 2010: 6.820 Foundations of Program Analysis
  • Spring 2010: 6.005 Elements of Software Construction
  • Fall 2009: 6.883 Foundations of Program Analysis with Martin Rinard
  • Spring 2009: 6.035 Computer Language Engineering with Saman Amarasinghe
  • IAP 2009: 3 day mini-course on Sketching

Phd Thesis:

Program Synthesis by Sketching, U.C. Berkeley, December 2008, Advisor: Rastislav Bodik

Conference Papers

Journal Papers

Technical Reports


MIT Computer Science and Artificial Intelligence Laboratory
The Stata Center, Building 32-G840
32 Vassar Street
Cambridge, MA 02139
Assistant: Sally Lee (sally@