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

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

PLDI 2016-profile
View general profile