Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
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

Contributions

SPLASH 2014 Improved Program Synthesis Through the Use of Packages
Onward! 2014 Committee Member in Program Committee within the Onward! Papers-track
Show activities from other conferences

SPLASH 2014-profile
View general profile