Armando Solar-Lezama

Registered user since Mon 10 Jun 2019

Name: Armando Solar-Lezama

Bio: Armando Solar-Lezama is an associate professor at MIT where he leads the Computer Aided Programming Group. His research interests include software synthesis and its applications in diverse areas such as high-performance computing, information flow security and probabilistic programming.

Country: United States

Affiliation: MIT CSAIL

Contributions

POPL 2020Committee Member in Selection Committee (tentative) within the Student Research Competition-track
Committee Member in Program Committee within the Research Papers-track
MAPL 2019Program Chair in Organizing Committee within the MAPL 2019-track
SPLASH 2019Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA Artifacts-track
Author of Probabilistic Verification of Fairness Properties via Concentration within the OOPSLA-track
Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track
PLATEAU 2018Author of One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview within the PLATEAU 2018-track
MAPL 2018Committee Member in Program Committee within the MAPL 2018-track
Author of The Three Pillars of Machine Programming within the MAPL 2018-track
PLMW 2018Author of How to Become a Researcher within the PLMW-track
Committee Member in Speakers within the PLMW-track
SPLASH 2018Author of One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax within the Posters-track
Committee Member in Review Committee within the OOPSLA-track
Author of One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax within the OOPSLA-track
Author of One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax within the Artifacts-track
ICFP 2018Author of Capturing the Future by Replaying the Past (Functional Pearl) within the Research Papers-track
PLMW 2017Speaker in Mentors within the PLMW-track
Speaker of Program synthesis within the PLMW-track
VMCAI 2017Committee Member in Program committee
ISSTA 2017Keynote Speaker of Keynote Talk: Advances and Challenges in Program Synthesis within the Keynotes-track
PPoPP 2017Programme Committee in Program Committee
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
SPLASH 2017Author of Natural Synthesis of Provably-Correct Data-Structure Manipulations within the OOPSLA-track
Author of QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge within the Posters-track
Author of Incremental Parametric Syntax for Multi-Language Transformation within the Posters-track
PLDI 2017Author of DemoMatch: API Discovery from Demonstrations within the PLDI Research Papers-track
Committee Member in External Program Committee
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
ECOOP 2016Committee Member in External Review Committee within the Research Track-track
SPLASH 2016Author of sk_p: a neural program corrector for MOOCs within the Posters-track
Author of Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations within the OOPSLA-track
POPL 2016Author of T3: Syntax-Guided Synthesis (SyGuS) within the Tutorials-track
Author of T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material) within the Tutorials-track
PPoPP 2016Author of Autogen: Automatic Discovery of Cache-Oblivious Parallel Recursive Algorithms for Solving Dynamic Programs within the Main conference-track
PLOOC 2015Presenter of Opening and Welcome within the PLOOC 2015-track
Co-chair in Program Committee within the PLOOC 2015-track
ESOP 2015Committee Member in Program Committee within the ESOP-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
Onward! 2014Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2014Co-author of Improved Program Synthesis Through the Use of Packages within the Student Research Competition-track
SPLASH 2013Committee Member in External Review Committee within the OOPSLA-track