PLDI 2016
Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States
PLDI 2016 (series) / Armando Solar-Lezama
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/

Contributions

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
PLMW@PLDI Speaker in Organizing Committee within the PLMW@PLDI 2016-track
What’s Next for Program Synthesis
Show activities from other conferences

PLDI 2016-profile
View general profile