Armando Solar-Lezama
Massachusetts Institute of Technology(US)
Publications by Year
Research Areas
Software Engineering Research, Logic, programming, and type systems, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques, Formal Methods in Verification
Most-Cited Works
- → Combinatorial sketching for finite programs(2006)638 cited
- → Syntax-guided synthesis(2013)513 cited
- → Automated feedback generation for introductory programming assignments(2013)380 cited
- Program synthesis by sketching(2008)
- → Program sketching(2012)229 cited
- → QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge(2017)219 cited
- → Programming by sketching for bit-streaming programs(2005)211 cited
- → Sketching concurrent data structures(2008)194 cited
- → Program synthesis from polymorphic refinement types(2016)192 cited