Armando Solar-Lezama
Assistant Professor

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

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.

Teaching:

  • 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

Recent Publications:

Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama: Data-Driven Synthesis for Object-Oriented Frameworks, in OOPSLA 2011 (SPLASH) OOPSLA 11
Rishabh Singh, Armando Solar-Lezama: Synthesizing data structure manipulations from storyboards, in ACM SIGSOFT Symposium on the Foundations of Software Engineering FSE 11
Alvin Cheung, Armando Solar-Lezama, Samuel Madden: Partial replay of long-running applications, in ACM SIGSOFT Symposium on the Foundations of Software Engineering FSE 11
Swarat Chaudhuri, Armando Solar-Lezama: Smoothing a Program Soundly and Robustly, in 23rd International Conference on Computer Aided Verification CAV 11
Swarat Chaudhuri, Armando Solar-Lezama, "Smooth Interpretation", in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '10) [Slides] PLDI 10
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)