Armando Solar-Lezama

Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States

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/

Contributions

PLMW@PLDI	Speaker in Organizing Committee within the PLMW@PLDI 2016-track Speaker of What’s Next for Program Synthesis within the PLMW@PLDI 2016-track
PLDI 2016	Author 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

Tracks

Co-hosted Conferences

Co-hosted Workshops

Co-hosted Symposiums