SPLASH 2016 (series) / Armando Solar-Lezama
Registered user since Mon 10 Jun 2019
Name:Armando Solar-Lezama
Country:United States
Affiliation:MIT CSAIL
Contributions
| SPLASH 2016 | sk_p: a neural program corrector for MOOCs Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2016-profile
View general profile
View general profile