D-Index & Metrics Best Publications

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 61 Citations 11,867 184 World Ranking 1503 National Ranking 834

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Artificial intelligence
  • Algorithm

Programming language, Theoretical computer science, Program synthesis, Algorithm and Set are his primary areas of study. Regular expression, String, Programming by example, Data manipulation language and Semantics are subfields of Programming language in which his conducts study. Sumit Gulwani has researched Theoretical computer science in several fields, including Computation, Data structure and Component.

His research integrates issues of Transformation, Simple, Automatic programming and Expression in his study of Program synthesis. His Algorithm study combines topics from a wide range of disciplines, such as Program analysis, Control flow and Invariant. His Set study incorporates themes from Geometry, Abstraction, Pruning, Heuristic and Instruction set.

His most cited work include:

  • Automating string processing in spreadsheets using input-output examples (496 citations)
  • Oracle-guided component-based program synthesis (344 citations)
  • Automated feedback generation for introductory programming assignments (286 citations)

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

His primary areas of investigation include Programming language, Theoretical computer science, Program synthesis, Set and Artificial intelligence. His Programming language study deals with Ranking intersecting with Ambiguity. His research in Theoretical computer science tackles topics such as Algorithm which are related to areas like Program analysis.

His studies deal with areas such as Dynamic programming, Code refactoring, Expression, Natural language and Domain-specific language as well as Program synthesis. The Set study combines topics in areas such as String and Table. His biological study spans a wide range of topics, including Machine learning and Natural language processing.

He most often published in these fields:

  • Programming language (30.89%)
  • Theoretical computer science (28.46%)
  • Program synthesis (21.54%)

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

  • Programming language (30.89%)
  • Program synthesis (21.54%)
  • Artificial intelligence (14.23%)

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

His primary scientific interests are in Programming language, Program synthesis, Artificial intelligence, Theoretical computer science and Key. In Programming language, Sumit Gulwani works on issues like Data wrangling, which are connected to Set. His research in Program synthesis intersects with topics in Transformation, Structure, Programming by example and Code refactoring.

His work carried out in the field of Artificial intelligence brings together such families of science as Machine learning and Natural language processing. Theoretical computer science and Cluster analysis are frequently intertwined in his study. The concepts of his Ambiguity study are interwoven with issues in Data manipulation language and End user.

Between 2015 and 2021, his most popular works were:

  • Program Synthesis (161 citations)
  • Learning syntactic program transformations from examples (113 citations)
  • Transforming spreadsheet data types using examples (70 citations)

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

  • Programming language
  • Artificial intelligence
  • Algorithm

Sumit Gulwani mainly investigates Program synthesis, Programming language, Artificial intelligence, Key and Software engineering. His Program synthesis study integrates concerns from other disciplines, such as Programming by example, Human–computer interaction and Code refactoring. His research in Set and Rank are components of Programming language.

His Artificial intelligence research includes themes of Machine learning and Natural language processing. He has included themes like Programming language theory and Cluster analysis in his Software engineering study. His studies deal with areas such as Regular expression, Intersection, String and Data structure as well as Theoretical computer science.

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

Automating string processing in spreadsheets using input-output examples

Sumit Gulwani.
symposium on principles of programming languages (2011)

698 Citations

Oracle-guided component-based program synthesis

Susmit Jha;Sumit Gulwani;Sanjit A. Seshia;Ashish Tiwari.
international conference on software engineering (2010)

465 Citations

Automated feedback generation for introductory programming assignments

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

412 Citations

SPEED: precise and efficient static estimation of program computational complexity

Sumit Gulwani;Krishna K. Mehra;Trishul Chilimbi.
symposium on principles of programming languages (2009)

371 Citations

Synthesis of loop-free programs

Sumit Gulwani;Susmit Jha;Ashish Tiwari;Ramarathnam Venkatesan.
programming language design and implementation (2011)

355 Citations

From program verification to program synthesis

Saurabh Srivastava;Sumit Gulwani;Jeffrey S. Foster.
symposium on principles of programming languages (2010)

316 Citations

Spreadsheet data manipulation using examples

Sumit Gulwani;William R. Harris;Rishabh Singh.
Communications of The ACM (2012)

277 Citations

Dimensions in program synthesis

Sumit Gulwani.
principles and practice of declarative programming (2010)

269 Citations

Program Synthesis

Oleksandr Polozov;Sumit Gulwani;Rishabh Singh.
(2017)

238 Citations

Program analysis as constraint solving

Sumit Gulwani;Saurabh Srivastava;Ramarathnam Venkatesan.
programming language design and implementation (2008)

233 Citations

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

Contact us

Best Scientists Citing Sumit Gulwani

Armando Solar-Lezama

Armando Solar-Lezama

MIT

Publications: 44

Rishabh Singh

Rishabh Singh

Google (United States)

Publications: 41

Viktor Kuncak

Viktor Kuncak

École Polytechnique Fédérale de Lausanne

Publications: 39

Krishnendu Chatterjee

Krishnendu Chatterjee

Institute of Science and Technology Austria

Publications: 33

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 32

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 29

Martin Rinard

Martin Rinard

MIT

Publications: 29

Alex Aiken

Alex Aiken

Stanford University

Publications: 29

Sriram Sankaranarayanan

Sriram Sankaranarayanan

University of Colorado Boulder

Publications: 28

Gilles Barthe

Gilles Barthe

Max Planck Institute for Security and Privacy

Publications: 27

Eran Yahav

Eran Yahav

Technion – Israel Institute of Technology

Publications: 25

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 25

Rastislav Bodik

Rastislav Bodik

University of Washington

Publications: 24

Tao Xie

Tao Xie

Peking University

Publications: 24

Ashish Tiwari

Ashish Tiwari

Microsoft (United States)

Publications: 23

Deepak Kapur

Deepak Kapur

University of New Mexico

Publications: 22

Something went wrong. Please try again later.