SPLASH 2014 (series) / Armando Solar-Lezama
Registered user since Mon 10 Jun 2019
Name: Armando Solar-Lezama
Bio: 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.
Country: United States
Affiliation: MIT
Personal website: http://people.csail.mit.edu/asolar/
Contributions
| Onward! 2014 | Committee Member in Program Committee within the Onward! Papers-track | ||||||||||||||||||||||||||||||||||||||||
| SPLASH 2014 | Improved Program Synthesis Through the Use of Packages | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2014-profile
View general profile
View general profile