Armando Solar-Lezama Home

Armando Solar-Lezama
Assistant Professor e-mail: phone: (617) 258-9727

Research Agenda:

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

Teaching:

IAP 2009: I will teach a 3 day mini-course on Sketching
Spring 2009: I will be co-teaching 6.035 Computer Language Engineering with Saman Amarasinghe

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 ()