
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
POPL 2016 | T3: Syntax-Guided Synthesis (SyGuS) T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile