Armando Solar-Lezama
Assistant Professor

e-mail:
phone: (617) 258-9727
mit_logo.gif
asolar_180.jpg
""

Research Agenda:

My goal is to develop tools and techniques that can exploit massive computing power to help programmers tackle challenging programming problems. 

Teaching:

Recent Publications:

Armando Solar-Lezama, "Program Synthesis by Sketching", PhD Thesis Berkeley 08
Armando Solar-Lezama, Christopher G. Jones, Rastislav Bodik, "Sketching Concurrent Datastructures"in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '08) PLDI 08
  Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia, "Sketching Stencils" in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '07) PLDI 07
  Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit A. Seshia, "Combinatorial Sketching for Finite Programs", Proceedings of ASPLOS 2006. ASPLOS 06
  Armando Solar-Lezama, Rodric Rabbah, Rastislav Bodik, and Kemal Ebcioglu, "Programming by Sketching for Bitstreaming Programs", PLDI 2005, Best paper award. PLDI 05

Contact:

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