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
POPL 2022 Author of Better Learning through Programming Languages within the POPL-track
Session Chair of Dynamic Analysis (part of POPL)
Session Chair of Reasoning about Probabilistic Programs and Algorithms (part of POPL)
SPLASH 2021 Author of Liquid Information Flow Control within the SIGPLAN Papers-track
Author of Semantic Code Search via Equational Reasoning 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