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.

Affiliation:Massachusetts Institute of Technology

Contributions

HOPE 2021 Author of Dynamic Scope + Laziness = Counterfactuals within the HOPE 2021-track
SPLASH 2021 Author of Liquid Information Flow Control within the SIGPLAN Papers-track
Author of Deductive Optimization of Relational Data Storage within the SIGPLAN Papers-track
LAFI 2021 Author of Parametric Inversion of Non-Invertible Programs within the LAFI 2021-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
Author of DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning within the PLDI-track
MAPL 2020 Invited Speaker of Neurosymbolic Reasoning and the Third Wave of Program Synthesis within the MAPL-track
SPLASH 2020 Author of Deductive Optimization of Relational Data Storage within the OOPSLA-track
ICFP 2020 Author of Liquid Information Flow Control within the ICFP Program-track
PLDI 2020 Author of Semantic Code Search via Equational Reasoning within the PLDI Research Papers-track
Committee Member in External Program Committee within the PLDI Research Papers-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
MAPL 2019 Program Chair in Organizing Committee within the MAPL 2019-track
SPLASH 2019 Author 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 2018 Author of One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview within the PLATEAU 2018-track
MAPL 2018 Committee Member in Program Committee within the MAPL 2018-track
Author of The Three Pillars of Machine Programming within the MAPL 2018-track
PLMW 2018 Author of How to Become a Researcher within the PLMW-track
Committee Member in Speakers within the PLMW-track
SPLASH 2018 Author 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 2018 Author of Capturing the Future by Replaying the Past (Functional Pearl) within the Research Papers-track
PLMW 2017 Speaker in Mentors within the PLMW-track
Speaker of Program synthesis within the PLMW-track
VMCAI 2017 Committee Member in Program committee
ISSTA 2017 Keynote Speaker of Keynote Talk: Advances and Challenges in Program Synthesis within the Keynotes-track
PPoPP 2017 Programme Committee in Program Committee
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
SPLASH 2017 Author 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 2017 Author of DemoMatch: API Discovery from Demonstrations within the PLDI Research Papers-track
Committee Member in External Program Committee
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
ECOOP 2016 Committee Member in External Review Committee within the Research Track-track
SPLASH 2016 Author 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 2016 Author of T3: Syntax-Guided Synthesis (SyGuS) within the Tutorials-track
Author of T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material) within the Tutorials-track
PPoPP 2016 Author of Autogen: Automatic Discovery of Cache-Oblivious Parallel Recursive Algorithms for Solving Dynamic Programs within the Main conference-track
PLOOC 2015 Presenter of Opening and Welcome within the PLOOC 2015-track
Co-chair in Program Committee within the PLOOC 2015-track
ESOP 2015 Committee Member in Program Committee within the ESOP-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
Onward! 2014 Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2014 Co-author of Improved Program Synthesis Through the Use of Packages within the Student Research Competition-track
SPLASH 2013 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2011 Author of Data-Driven Synthesis for Object-Oriented Frameworks within the OOPSLA-track