Armando Solar-Lezama

Combinatorial sketching for finite programs

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

Mathematical Programming, Engineering, Compiler Technology +21

Syntax-guided synthesis

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

Program-synthesis Problem, Logic Synthesis, Syntax +14

Automated feedback generation for introductory programming assignments

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

Minimal Corrections, Engineering, Feedback Generation +15

Program synthesis by sketching

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

Engineering, Compiler Technology, Software Engineering +18

Program sketching

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