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
2024
Principles and Practice of Parallel Programming
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