Write a Blog >>
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/


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