Armando Solar-Lezama

Massachusetts Institute of Technology

Professor

Department of Electrical Engineering and Computer Science

Which program are you applying for ?

View Bookmark

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’

Citations of SCIE papers SCIE papers 08k16k24k32k40k070140210280350420490560

*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

    Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, Wojciech Matusik

    DOI : 10.1145/3272127.3275006

  • Search-based program synthesis

    2018/11 COMMUNICATIONS OF THE ACM 5.41 Impact Factor 34 citations

    Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama

    DOI : 10.1145/3208071

How can I correct errors in PhD.GO?


Papers for author ‘Armando Solar-Lezama’: 4

Number of published SCIE papers by year

012342015201620182019
H-index 3
Number of NCS papers 0

*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

    Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, Wojciech Matusik

    DOI : 10.1145/3272127.3275006

  • Search-based program synthesis

    2018/11 COMMUNICATIONS OF THE ACM 5.41 Impact Factor 34 citations

    Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama

    DOI : 10.1145/3208071

How can I correct errors in PhD.GO?

conference information

Papers relevant to ‘Computer science’: 24

Research performance of Top-tier Conference matching with ‘Computer science’

Citations of Top-tier Conference Top-tier Conference paper(s) 020k40k60k80k100k0306090120150180210240

*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

    Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

    DOI : 10.1145/2908080.2908093

  • Learning to Infer Graphics Programs from Hand-Drawn Images

    2018/02 NEURIPS Top-tier Conference 104 citations

    Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Joshua B. Tenenbaum

How can I correct errors in PhD.GO?


Papers for author ‘Armando Solar-Lezama’: 24

Number of published Top-tier Conference by year

024682014201520162017201820192020
Top-tier Conference 24

*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

    Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

    DOI : 10.1145/2908080.2908093

  • Learning to Infer Graphics Programs from Hand-Drawn Images

    2018/02 NEURIPS Top-tier Conference 104 citations

    Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Joshua B. Tenenbaum

How can I correct errors in PhD.GO?