Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Sumit Gulwani

Programming by Rewards


Jul 14, 2020
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke


  Access Paper or Ask Questions

Information-theoretic User Interaction: Significant Inputs for Program Synthesis


Jun 22, 2020
Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman


  Access Paper or Ask Questions

Quantitative Programming by Examples


Sep 12, 2019
Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa


  Access Paper or Ask Questions

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


Sep 09, 2018
Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani

* Published in ICLR 2018, International Conference on Learning Representations (2018) 

  Access Paper or Ask Questions

FlashProfile: Interactive Synthesis of Syntactic Profiles


Sep 17, 2017
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd Millstein


  Access Paper or Ask Questions

Learning Syntactic Program Transformations from Examples


Aug 31, 2016
Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann


  Access Paper or Ask Questions

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System


Oct 29, 2015
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

* A formal version of the accepted AAAI '14 paper 

  Access Paper or Ask Questions

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games


Nov 14, 2014
Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

* A conference version of the paper will appear in AAAI 2015 

  Access Paper or Ask Questions

Automated Feedback Generation for Introductory Programming Assignments


Nov 16, 2012
Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama


  Access Paper or Ask Questions

Textual Features for Programming by Example


Sep 17, 2012
Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai


  Access Paper or Ask Questions