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

PLMW@PLDI Speaker in Organizing Committee within the PLMW@PLDI 2016-track
What’s Next for Program Synthesis
PLDI 2016 Precise, Dynamic Information Flow for Database-Backed Applications
Committee Member in External Program Committee
Session Chair of Verification II (part of Research Papers)
Program Synthesis from Polymorphic Refinement Types
Verified Lifting of Stencil Computations
Show activities from other conferences

PLDI 2016-profile
View general profile