conf.researchr.org / 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:Massachusetts Institute of Technology
Contributions
2023
SPLASH
2022
ICFP
Principles and Practice of Parallel Programming
2021
SPLASH
PLDI
2020
PLDI
2019
SPLASH
2018
SPLASH
- 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
MAPS
2017
SPLASH
- 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
Principles and Practice of Parallel Programming
2016
SPLASH
PLDI
- 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