Armando Solar-Lezama

Combinatorial sketching for finite programs

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík et al. · 2006 · 642 citations

Computing, Computer Engineering, Computer Science +12

Syntax-guided synthesis

Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · 2013 · 523 citations

Computing, Computer Science, Algorithms +11

Automated feedback generation for introductory programming assignments

Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama · 2013 · 385 citations

Education, Computer Science, Computer-assisted Instruction +14

Program synthesis by sketching

Rastislav Bodík, Armando Solar-Lezama · 2008 · 338 citations

Computing, Computer Science, Algorithms +8

Program sketching

Armando Solar-Lezama · International Journal on Software Tools for Technology Transfer · 2012 · 229 citations