Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
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, USA


MAPL 2020 Neurosymbolic Reasoning and the Third Wave of Program Synthesis
PLDI 2020 Semantic Code Search via Equational Reasoning
Committee Member in External Program Committee within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2020-profile
View general profile