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