D-Index & Metrics Best Publications
Armando Solar-Lezama

Armando Solar-Lezama

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 35 Citations 6,876 104 World Ranking 6005 National Ranking 2917

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Artificial intelligence

His scientific interests lie mostly in Programming language, Programmer, Program synthesis, Theoretical computer science and Sketch. His work on Correctness and Functional programming as part of general Programming language study is frequently linked to Type checking and Predicate abstraction, bridging the gap between disciplines. His study in Programmer is interdisciplinary in nature, drawing from both Compiler, Programming paradigm and Concurrency.

His Program synthesis study combines topics in areas such as Decidability, Program analysis, Simple and Component. His Theoretical computer science research includes elements of Optimizing compiler, Reference implementation, Translation, Formal specification and Benchmark. His Sketch study integrates concerns from other disciplines, such as Data flow diagram, Data structure and Implementation.

His most cited work include:

  • Combinatorial sketching for finite programs (486 citations)
  • Automated feedback generation for introductory programming assignments (286 citations)
  • Program synthesis by sketching (272 citations)

What are the main themes of his work throughout his whole career to date?

Armando Solar-Lezama mainly focuses on Programming language, Program synthesis, Theoretical computer science, Artificial intelligence and Code. His Programming language study deals with Sketch intersecting with Class. Armando Solar-Lezama combines subjects such as Domain, Scalability, Simple, Key and Solver with his study of Program synthesis.

His Domain research incorporates themes from Artificial neural network, Algorithm and Range. His studies in Theoretical computer science integrate themes in fields like Reference implementation, Set and Computational problem. As a part of the same scientific study, Armando Solar-Lezama usually deals with the Programmer, concentrating on Information flow and frequently concerns with Decidability.

He most often published in these fields:

  • Programming language (37.04%)
  • Program synthesis (36.30%)
  • Theoretical computer science (22.96%)

What were the highlights of his more recent work (between 2019-2021)?

  • Program synthesis (36.30%)
  • Programming language (37.04%)
  • Artificial intelligence (12.59%)

In recent papers he was focusing on the following fields of study:

Armando Solar-Lezama mainly investigates Program synthesis, Programming language, Artificial intelligence, Domain and Distributed computing. The concepts of his Program synthesis study are interwoven with issues in Sketch, Control, Execution model, Key and Language construct. His Control research integrates issues from Security policy, Decidability, Information flow and Programmer.

As part of his studies on Programming language, Armando Solar-Lezama frequently links adjacent subjects like Semantics. The study incorporates disciplines such as Machine learning, Parametric cad and Set in addition to Artificial intelligence. His Domain research incorporates themes from Consistency, Construct and Ambiguity.

Between 2019 and 2021, his most popular works were:

  • DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning. (22 citations)
  • Learning Compositional Rules via Neural Program Synthesis (16 citations)
  • Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction (5 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algorithm
  • Artificial intelligence

His primary areas of investigation include Artificial intelligence, Set, Program synthesis, Domain and Programming language. His Range, Learning rule and Benchmark study in the realm of Artificial intelligence connects with subjects such as Object detection. His Set research incorporates elements of Python, Compiler, Java and Oracle.

His Program synthesis study combines topics in areas such as Security policy, Control, Decidability and Programmer. His Domain research is multidisciplinary, relying on both Inductive programming, Vector algebra, Bayesian probability and Human–computer interaction. His studies link Code with Programming language.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Combinatorial sketching for finite programs

Armando Solar-Lezama;Liviu Tancau;Rastislav Bodik;Sanjit Seshia.
architectural support for programming languages and operating systems (2006)

706 Citations

Syntax-guided synthesis

Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin.
formal methods in computer-aided design (2013)

528 Citations

Syntax-Guided Synthesis.

Rajeev Alur;Rastislav Bodík;Eric Dallal;Dana Fisman.
Dependable Software Systems Engineering (2015)

511 Citations

Automated feedback generation for introductory programming assignments

Rishabh Singh;Sumit Gulwani;Armando Solar-Lezama.
programming language design and implementation (2013)

412 Citations

Program synthesis by sketching

Rastislav Bodik;Armando Solar-Lezama.
(2008)

315 Citations

Programming by sketching for bit-streaming programs

Armando Solar-Lezama;Rodric Rabbah;Rastislav Bodík;Kemal Ebcioğlu.
programming language design and implementation (2005)

287 Citations

Syntax-guided synthesis

Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin.
Other univ. web domain (2013)

274 Citations

Program sketching

Armando Solar-Lezama.
(2013)

206 Citations

Sketching concurrent data structures

Armando Solar-Lezama;Christopher Grant Jones;Rastislav Bodik.
programming language design and implementation (2008)

195 Citations

Program synthesis from polymorphic refinement types

Nadia Polikarpova;Ivan Kuraj;Armando Solar-Lezama.
programming language design and implementation (2016)

181 Citations

Best Scientists Citing Armando Solar-Lezama

Sumit Gulwani

Sumit Gulwani

Microsoft (United States)

Publications: 76

Rishabh Singh

Rishabh Singh

Google (United States)

Publications: 51

Rastislav Bodik

Rastislav Bodik

University of Washington

Publications: 36

Sanjit A. Seshia

Sanjit A. Seshia

University of California, Berkeley

Publications: 34

Martin Vechev

Martin Vechev

ETH Zurich

Publications: 31

Viktor Kuncak

Viktor Kuncak

École Polytechnique Fédérale de Lausanne

Publications: 28

Martin Rinard

Martin Rinard

MIT

Publications: 27

Roderick Bloem

Roderick Bloem

Graz University of Technology

Publications: 25

Cesare Tinelli

Cesare Tinelli

University of Iowa

Publications: 25

Sarfraz Khurshid

Sarfraz Khurshid

The University of Texas at Austin

Publications: 25

Clark Barrett

Clark Barrett

Stanford University

Publications: 22

Eran Yahav

Eran Yahav

Technion – Israel Institute of Technology

Publications: 21

Stavros Tripakis

Stavros Tripakis

Northeastern University

Publications: 21

Ashish Tiwari

Ashish Tiwari

Microsoft (United States)

Publications: 20

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 19

Abhik Roychoudhury

Abhik Roychoudhury

National University of Singapore

Publications: 16

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us
Something went wrong. Please try again later.