author-photo

Sumit Gulwani

5

Papers

24

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples

2018 arXiv: Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (2)
Learning Syntactic Program Transformations from Examples

2016 arXiv: Software Engineering
Show All
- Source
- Cite
- Save
Citations (1)
Example-based reasoning techniques developed for programming languages also help automate repetitive tasks in education.

2014
- Sumit Gulwani
Show All
- Source
- Cite
- Save
Citations (0)
Backward Analysis for Inferring Quantified Preconditions

2007
- Tal Lev-AmiMooly Sagiv
- Sumit Gulwani
Show All
- Source
- Cite
- Save
Citations (15)
Probabilistic inference of programs from input/output examples

2006
- Sumit Gulwani
- Nebojsa Jojic
Show All
- Source
- Cite
- Save
Citations (6)