Armando Solar-Lezama
Massachusetts Institute of Technology
Professor
Department of Electrical Engineering and Computer Science
Research Area
#Computer science#Program synthesis#Theoretical computer science#Programming language#Artificial intelligence#Code (cryptography)#Algorithm#Java#Domain (software engineering)#Solver
SCIE paper information
Papers relevant to ‘Computer science’: 4
Research performance of SCIE papers matching with ‘Computer science’
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
InverseCSG: automatic conversion of 3D models to CSG trees
2019/01 ACM TRANSACTIONS ON GRAPHICS 5.084 Impact Factor 37 citations
Search-based program synthesis
2018/11 COMMUNICATIONS OF THE ACM 5.41 Impact Factor 34 citations
Papers for author ‘Armando Solar-Lezama’: 4
Number of published SCIE papers by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
InverseCSG: automatic conversion of 3D models to CSG trees
2019/01 ACM TRANSACTIONS ON GRAPHICS 5.084 Impact Factor 37 citations
Search-based program synthesis
2018/11 COMMUNICATIONS OF THE ACM 5.41 Impact Factor 34 citations
conference information
Papers relevant to ‘Computer science’: 24
Research performance of Top-tier Conference matching with ‘Computer science’
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Program synthesis from polymorphic refinement types
2016/06 PLDI Top-tier Conference 169 citations
Learning to Infer Graphics Programs from Hand-Drawn Images
2018/02 NEURIPS Top-tier Conference 104 citations
Papers for author ‘Armando Solar-Lezama’: 24
Number of published Top-tier Conference by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Program synthesis from polymorphic refinement types
2016/06 PLDI Top-tier Conference 169 citations
Learning to Infer Graphics Programs from Hand-Drawn Images
2018/02 NEURIPS Top-tier Conference 104 citations
Log in to PhD.GO
Access the Bookmarks
Add or remove professors and programs of interest from your Bookmarks
Subscribe to the graduate program newsletters that you've bookmarked
Enter your test results to ensure you meet the minimum for each graduate program at Bookmarks
At a glance, see program deadlines you've bookmarked on your calendar