Not registered as user yet

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/

PLDI 2016 Activities

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