World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
68
Citations
15162
World Ranking
2118
National Ranking
1066

Overview

Sumit Gulwani is a researcher affiliated with Microsoft in the United States. Their work primarily lies within the field of Computer Science, with a focus on several key subfields including Artificial Intelligence, Information Systems, Software, Signal Processing, and Computer Networks and Communications.

The researcher's publications cover a range of topics, notably Software Engineering Research, Software Testing and Debugging Techniques, Topic Modeling, Software Reliability and Analysis Research, Advanced Malware Detection Techniques, Data Visualization and Analytics, and Spreadsheets and End-User Computing.

Sumit Gulwani has contributed to numerous papers, with some recent examples including:

  • "Repair Is Nearly Generation: Multilingual Program Repair with LLMs", 2023, Proceedings of the AAAI Conference on Artificial Intelligence
  • "Automatically Generating Algebra Problems", 2021, Proceedings of the AAAI Conference on Artificial Intelligence
  • "Synchromesh: Reliable code generation from pre-trained language models", 2022, arXiv (Cornell University)
  • "Repairing Bugs in Python Assignments Using Large Language Models", 2022, arXiv (Cornell University)
  • "PyDex: Repairing Bugs in Introductory Python Assignments using LLMs", 2024, Proceedings of the ACM on Programming Languages

The researcher frequently collaborates with a set of coauthors who have worked on multiple projects alongside them. These key collaborators include Gust Verbruggen, Arjun Radhakrishna, José Cambronero, Gustavo Soares, and Vu Le.

The venues in which Sumit Gulwani regularly publishes reflect a strong presence in both conference proceedings and preprint archives. Their frequent publication venues include:

  • arXiv (Cornell University)
  • Proceedings of the ACM on Programming Languages
  • Proceedings of the AAAI Conference on Artificial Intelligence
  • Proceedings of the VLDB Endowment
  • Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Best Publications

  • Automating string processing in spreadsheets using input-output examples

    Sumit Gulwani

  • Oracle-guided component-based program synthesis

    Susmit Jha;Sumit Gulwani;Sanjit A. Seshia;Ashish Tiwari

  • Automated feedback generation for introductory programming assignments

    Rishabh Singh;Sumit Gulwani;Armando Solar-Lezama

  • Synthesis of loop-free programs

    Sumit Gulwani;Susmit Jha;Ashish Tiwari;Ramarathnam Venkatesan

  • SPEED: precise and efficient static estimation of program computational complexity

    Sumit Gulwani;Krishna K. Mehra;Trishul Chilimbi

  • Spreadsheet data manipulation using examples

    Sumit Gulwani;William R. Harris;Rishabh Singh

  • From program verification to program synthesis

    Saurabh Srivastava;Sumit Gulwani;Jeffrey S. Foster

  • Dimensions in program synthesis

    Sumit Gulwani

  • Program Synthesis

    Oleksandr Polozov;Sumit Gulwani;Rishabh Singh

  • FlashMeta: a framework for inductive program synthesis

    Oleksandr Polozov;Sumit Gulwani

  • FlashExtract: a framework for data extraction by examples

    Vu Le;Sumit Gulwani

  • Program analysis as constraint solving

    Sumit Gulwani;Saurabh Srivastava;Ramarathnam Venkatesan

  • Learning syntactic program transformations from examples

    Reudismam Rolim;Gustavo Soares;Loris D'Antoni;Oleksandr Polozov

  • Spreadsheet table transformations from examples

    William R. Harris;Sumit Gulwani

  • Inductive programming meets the real world

    Sumit Gulwani;José Hernández-Orallo;Emanuel Kitzelmann;Stephen H. Muggleton

  • Lifting abstract interpreters to quantified logical domains

    Sumit Gulwani;Bill McCloskey;Ashish Tiwari

  • Recursive program synthesis

    Aws Albarghouthi;Sumit Gulwani;Zachary Kincaid

  • Inferring locks for atomic sections

    Sigmund Cherem;Trishul Chilimbi;Sumit Gulwani

  • Control-flow refinement and progress invariants for bound analysis

    Sumit Gulwani;Sagar Jain;Eric Koskinen

  • Constraint-Based Approach for Analysis of Hybrid Systems

    Sumit Gulwani;Ashish Tiwari

  • From relational verification to SIMD loop synthesis

    Gilles Barthe;Juan Manuel Crespo;Sumit Gulwani;Cesar Kunz

  • SPEED: Precise and Efficient Static Estimation of Program Computational Complexity (Full Version)

    Sumit Gulwani;Krishna K. Mehra;Trishul Chilimbi

Frequent Co-Authors

Ashish Tiwari
Ashish Tiwari Microsoft (United States)
Rishabh Singh
Rishabh Singh Google (United States)
George C. Necula
George C. Necula University of California, Berkeley
Ramarathnam Venkatesan
Ramarathnam Venkatesan Microsoft (United States)
Prateek Jain
Prateek Jain Google (United States)
Benjamin G. Zorn
Benjamin G. Zorn Microsoft (United States)
Zoran Popović
Zoran Popović University of Washington
Butler W. Lampson
Butler W. Lampson Microsoft (United States)
Mooly Sagiv
Mooly Sagiv Tel Aviv University
Adam Tauman Kalai
Adam Tauman Kalai Microsoft (United States)

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

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

While a Computer Science degree from a U.S. university opens up a range of tech careers, it’s important to consider other educational pathways that can support your goals. According to the most useful degrees in today’s job market, fields like computer science, engineering, and data analysis consistently top the list for job flexibility and long-term earning potential.

For those looking to upskill or pivot their careers, pursuing one of the easy masters degrees online can be an efficient choice. These programs are often designed for working professionals, offering flexibility and a faster path to advancement.

If you’re interested in research or academia, exploring the cheapest phd programs online may help you achieve your goals without incurring excessive debt. Likewise, those eyeing leadership in education might consider one of the online edd programs, which offer a fast-track to influential roles in academia and policy.

Each of these online degree options provides unique career pathways that can complement or enhance a foundation in computer science.

Best Scientists Citing Sumit Gulwani

Trending Scientists

Recently Published Articles