WebCaL - a domain specific language for web caching. - Sumit Gulwani; A. Tarachandani; Deepak Gupta 001; Dheeraj Sanghi; Luciano Porto Barreto; Gilles Muller; Charles Consel (Comput. Commun., 2001)

A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols. - Sumit Gulwani; George C. Necula (CADE, 2003)

Discovering affine equalities using random interpretation. - Sumit Gulwani; George C. Necula (POPL, 2003)

Join Algorithms for the Theory of Uninterpreted Functions. - Sumit Gulwani; Ashish Tiwari 001; George C. Necula (FSTTCS, 2004)

Global value numbering using random interpretation. - Sumit Gulwani; George C. Necula (POPL, 2004)

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. - Sumit Gulwani; George C. Necula (SAS, 2004)

Randomized Algorithms for Program Analysis and Verification. - George C. Necula; Sumit Gulwani (CAV, 2005)

Precise interprocedural analysis using random interpretation. - Sumit Gulwani; George C. Necula (POPL, 2005)

A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. - Sumit Gulwani; George C. Necula (Inf. Comput., 2005)

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. - Sumit Gulwani; Ashish Tiwari 001 (ESOP, 2006)

Combining abstract interpreters. - Sumit Gulwani; Ashish Tiwari 001 (PLDI, 2006)

Logical Interpretation: Static Program Analysis Using Theorem Proving. - Ashish Tiwari 001; Sumit Gulwani (CADE, 2007)

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. - Sumit Gulwani; Ashish Tiwari 001 (CAV, 2007)

Computing Procedure Summaries for Interprocedural Analysis. - Sumit Gulwani; Ashish Tiwari 001 (ESOP, 2007)

Program verification as probabilistic inference. - Sumit Gulwani; Nebojsa Jojic (POPL, 2007)

Assertion Checking Unified. - Sumit Gulwani; Ashish Tiwari 001 (VMCAI, 2007)

A polynomial-time algorithm for global value numbering. - Sumit Gulwani; George C. Necula (Sci. Comput. Program., 2007)

Proving Conditional Termination. - Byron Cook; Sumit Gulwani; Tal Lev-Ami; Andrey Rybalchenko; Mooly Sagiv (CAV, 2008)

A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. - Bhargav S. Gulavani; Sumit Gulwani (CAV, 2008)

Constraint-Based Approach for Analysis of Hybrid Systems. - Sumit Gulwani; Ashish Tiwari 001 (CAV, 2008)

Ranking Abstractions. - Aziem Chawdhary; Byron Cook; Sumit Gulwani; Mooly Sagiv; Hongseok Yang (ESOP, 2008)

Cover Algorithms and Their Combination. - Sumit Gulwani; Madan Musuvathi (ESOP, 2008)

Inferring locks for atomic sections. - Sigmund Cherem; Trishul M. Chilimbi; Sumit Gulwani (PLDI, 2008)

Program analysis as constraint solving. - Sumit Gulwani; Saurabh Srivastava 001; Ramarathnam Venkatesan (PLDI, 2008)

Lifting abstract interpreters to quantified logical domains. - Sumit Gulwani; Bill McCloskey; Ashish Tiwari 001 (POPL, 2008)

SPEED: Symbolic Complexity Bound Analysis. - Sumit Gulwani (CAV, 2009)

VS3: SMT Solvers for Program Verification. - Saurabh Srivastava 001; Sumit Gulwani; Jeffrey S. Foster (CAV, 2009)

Control-flow refinement and progress invariants for bound analysis. - Sumit Gulwani; Sagar Jain; Eric Koskinen (PLDI, 2009)

Program verification using templates over predicate abstraction. - Saurabh Srivastava 001; Sumit Gulwani (PLDI, 2009)

A combination framework for tracking partition sizes. - Sumit Gulwani; Tal Lev-Ami; Mooly Sagiv (POPL, 2009)

SPEED: precise and efficient static estimation of program computational complexity. - Sumit Gulwani; Krishna K. Mehra; Trishul M. Chilimbi (POPL, 2009)

Constraint-Based Invariant Inference over Predicate Abstraction. - Sumit Gulwani; Saurabh Srivastava 001; Ramarathnam Venkatesan (VMCAI, 2009)

Synthesizing switching logic for safety and dwell-time requirements. - Susmit Jha; Sumit Gulwani; Sanjit A. Seshia; Ashish Tiwari 001 (ICCPS, 2010)

Oracle-guided component-based program synthesis. - Susmit Jha; Sumit Gulwani; Sanjit A. Seshia; Ashish Tiwari 001 (ICSE (1), 2010)

A simple inductive synthesis methodology and its applications. - Shachar Itzhaky; Sumit Gulwani; Neil Immerman; Mooly Sagiv (OOPSLA, 2010)

The reachability-bound problem. - Sumit Gulwani; Florian Zuleger (PLDI, 2010)

Continuity analysis of programs. - Swarat Chaudhuri; Sumit Gulwani; Roberto Lublinerman (POPL, 2010)

From program verification to program synthesis. - Saurabh Srivastava 001; Sumit Gulwani; Jeffrey S. Foster (POPL, 2010)

Dimensions in program synthesis. - Sumit Gulwani (PPDP, 2010)

Synthesis of loop-free programs. - Sumit Gulwani; Susmit Jha; Ashish Tiwari 001; Ramarathnam Venkatesan (PLDI, 2011)

Synthesizing geometry constructions. - Sumit Gulwani; Vijay Anand Korthikanti; Ashish Tiwari 001 (PLDI, 2011)

Spreadsheet table transformations from examples. - William R. Harris; Sumit Gulwani (PLDI, 2011)

Path-based inductive synthesis for program inversion. - Saurabh Srivastava 001; Sumit Gulwani; Swarat Chaudhuri; Jeffrey S. Foster (PLDI, 2011)

Automating string processing in spreadsheets using input-output examples. - Sumit Gulwani (POPL, 2011)

Bound Analysis of Imperative Programs with the Size-Change Abstraction. - Florian Zuleger; Sumit Gulwani; Moritz Sinn; Helmut Veith (SAS, 2011)

Proving programs robust. - Swarat Chaudhuri; Sumit Gulwani; Roberto Lublinerman; Sara NavidPour (SIGSOFT FSE, 2011)

Synthesizing switching logic using constraint solving. - Ankur Taly; Sumit Gulwani; Ashish Tiwari 001 (Int. J. Softw. Tools Technol. Transf., 2011)

Automatically Generating Algebra Problems. - Rohit Singh 002; Sumit Gulwani; Sriram K. Rajamani (AAAI, 2012)

Synthesizing Number Transformations from Input-Output Examples. - Rishabh Singh; Sumit Gulwani (CAV, 2012)

QuickDraw: improving drawing experience for geometric diagrams. - Salman Cheema; Sumit Gulwani; Joseph J. LaViola Jr. (CHI, 2012)

Type-directed completion of partial expressions. - Daniel Perelman; Sumit Gulwani; Thomas Ball 001; Dan Grossman (PLDI, 2012)

Synthesis from Examples: Interaction Models and Algorithms. - Sumit Gulwani (SYNASC, 2012)

Continuity and robustness of programs. - Swarat Chaudhuri; Sumit Gulwani; Roberto Lublinerman (Commun. ACM, 2012)

Spreadsheet data manipulation using examples. - Sumit Gulwani; William R. Harris; Rishabh Singh (Commun. ACM, 2012)

Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) - Florian Zuleger; Sumit Gulwani; Moritz Sinn; Helmut Veith (CoRR, 2012)

Automated Semantic Grading of Programs - Rishabh Singh; Sumit Gulwani; Armando Solar-Lezama (CoRR, 2012)

Textual Features for Programming by Example - Aditya Krishna Menon; Omer Tamuz; Sumit Gulwani; Butler W. Lampson; Adam Tauman Kalai (CoRR, 2012)

Software Synthesis (Dagstuhl Seminar 12152). - Rastislav Bodík; Sumit Gulwani; Eran Yahav (Dagstuhl Reports, 2012)

Learning Semantic String Transformations from Examples. - Rishabh Singh; Sumit Gulwani (Proc. VLDB Endow., 2012)

Recursive Program Synthesis. - Aws Albarghouthi; Sumit Gulwani; Zachary Kincaid (CAV, 2013)

A trace-based framework for analyzing and synthesizing educational progressions. - Erik Andersen 001; Sumit Gulwani; Zoran Popovic (CHI, 2013)

A Machine Learning Framework for Programming by Example. - Aditya Krishna Menon; Omer Tamuz; Sumit Gulwani; Butler W. Lampson; Adam Kalai (ICML (1), 2013)

Teaching and learning programming and software engineering via interactive gaming. - Nikolai Tillmann; Jonathan de Halleux; Tao Xie 001; Sumit Gulwani; Judith Bishop (ICSE, 2013)

Automatically Generating Problems and Solutions for Natural Deduction. - Umair Z. Ahmed; Sumit Gulwani; Amey Karkare (IJCAI, 2013)

Automated Grading of DFA Constructions. - Rajeev Alur; Loris D'Antoni; Sumit Gulwani; Dileep Kini; Mahesh Viswanathan 001 (IJCAI, 2013)

Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning. - Shachar Itzhaky; Sumit Gulwani; Neil Immerman; Mooly Sagiv (LPAR, 2013)

SmartSynth: synthesizing smartphone automation scripts from natural language. - Vu Le 002; Sumit Gulwani; Zhendong Su 001 (MobiSys, 2013)

Keyword programming for TouchDevelop. - Vu Le 002; Jonathan de Halleux; Sumit Gulwani; Zhendong Su 001 (MobiSys, 2013)

Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. - Sriram Sankaranarayanan 001; Aleksandar Chakarov; Sumit Gulwani (PLDI, 2013)

Automated feedback generation for introductory programming assignments. - Rishabh Singh; Sumit Gulwani; Armando Solar-Lezama (PLDI, 2013)

From relational verification to SIMD loop synthesis. - Gilles Barthe; Juan Manuel Crespo; Sumit Gulwani; César Kunz; Mark Marron (PPoPP, 2013)

A colorful approach to text processing by example. - Kuat Yessenov; Shubham Tulsiani; Aditya Krishna Menon; Robert C. Miller; Sumit Gulwani; Butler W. Lampson; Adam Kalai (UIST, 2013)

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502). - Sumit Gulwani; Emanuel Kitzelmann; Ute Schmid (Dagstuhl Reports, 2013)

Template-based program verification and program synthesis. - Saurabh Srivastava 001; Sumit Gulwani; Jeffrey S. Foster (Int. J. Softw. Tools Technol. Transf., 2013)

Synthesis of Geometry Proof Problems. - Chris Alvin; Sumit Gulwani; Rupak Majumdar; Supratik Mukhopadhyay (AAAI, 2014)

Programming by Example Using Least General Generalizations. - Mohammad Raza; Sumit Gulwani; Natasa Milic-Frayling (AAAI, 2014)

Applications of program synthesis to end-user programming and intelligent tutoring systems. - Sumit Gulwani (GECCO (Companion), 2014)

A practical framework for constructing structured drawings. - Salman Cheema; Sarah Buchanan; Sumit Gulwani; Joseph J. LaViola Jr. (IUI, 2014)

LaSEWeb: automating search strategies over semi-structured web data. - Oleksandr Polozov; Sumit Gulwani (KDD, 2014)

FlashExtract: a framework for data extraction by examples. - Vu Le 002; Sumit Gulwani (PLDI, 2014)

Test-driven synthesis. - Daniel Perelman; Sumit Gulwani; Dan Grossman; Peter Provost (PLDI, 2014)

NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation. - Sumit Gulwani; Mark Marron (SIGMOD Conference, 2014)

Example-based learning in computer-aided STEM education. - Sumit Gulwani (Commun. ACM, 2014)

Program Synthesis. - Sumit Gulwani (Software Systems Safety, 2014)

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. - Umair Z. Ahmed; Krishnendu Chatterjee; Sumit Gulwani (AAAI, 2015)

Predicting a Correct Program in Programming by Example. - Rishabh Singh; Sumit Gulwani (CAV (1), 2015)

Automatic Game Progression Design through Analysis of Solution Features. - Eric Butler; Erik Andersen 001; Adam M. Smith 001; Sumit Gulwani; Zoran Popovic (CHI, 2015)

Mixed-Initiative Approaches to Global Editing in Slideware. - Darren Edge; Sumit Gulwani; Natasa Milic-Frayling; Mohammad Raza; Reza Adhitya Saputra; Chao Wang; Koji Yatani (CHI, 2015)

A Framework for Automatically Generating Interactive Instructional Scaffolding. - Eleanor O'Rourke; Erik Andersen 001; Sumit Gulwani; Zoran Popovic (CHI, 2015)

StriSynth: Synthesis for Live Programming. - Sumit Gulwani; Mikaël Mayer; Filip Niksic; Ruzica Piskac (ICSE (2), 2015)

FlashNormalize: Programming by Examples for Text Normalization. - Dileep Kini; Sumit Gulwani (IJCAI, 2015)

Personalized Mathematical Word Problem Generation. - Oleksandr Polozov; Eleanor O'Rourke; Adam M. Smith 001; Luke Zettlemoyer; Sumit Gulwani; Zoran Popovic (IJCAI, 2015)

Compositional Program Synthesis from Natural Language and Examples. - Mohammad Raza; Sumit Gulwani; Natasa Milic-Frayling (IJCAI, 2015)

Automating grammar comparison. - Ravichandhran Madhavan; Mikaël Mayer; Sumit Gulwani; Viktor Kuncak (OOPSLA, 2015)

FlashMeta: a framework for inductive program synthesis. - Oleksandr Polozov; Sumit Gulwani (OOPSLA, 2015)

FlashRelate: extracting relational data from semi-structured spreadsheets using examples. - Daniel W. Barowy; Sumit Gulwani; Ted Hart; Benjamin G. Zorn (PLDI, 2015)

Automating Repetitive Tasks for the Masses. - Sumit Gulwani (POPL, 2015)

Cultivating research taste (illustrated via a journey in program synthesis research). - Sumit Gulwani (PLMW@POPL, 2015)

User Interaction Models for Disambiguation in Programming by Example. - Mikaël Mayer; Gustavo Soares; Maxim Grechkin; Vu Le 002; Mark Marron; Oleksandr Polozov; Rishabh Singh; Benjamin G. Zorn; Sumit Gulwani (UIST, 2015)

Browser Record and Replay as a Building Block for End-User Web Automation Tools. - Sarah E. Chasins; Shaon Barman; Rastislav Bodík; Sumit Gulwani (WWW (Companion Volume), 2015)

Inductive programming meets the real world. - Sumit Gulwani; José Hernández-Orallo; Emanuel Kitzelmann; Stephen H. Muggleton; Ute Schmid; Benjamin G. Zorn (Commun. ACM, 2015)

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. - Chris Alvin; Sumit Gulwani; Rupak Majumdar; Supratik Mukhopadhyay (CoRR, 2015)

How Can Automatic Feedback Help Students Construct Automata? - Loris D'Antoni; Dileep Kini; Rajeev Alur; Sumit Gulwani; Mahesh Viswanathan 001; Björn Hartmann (ACM Trans. Comput. Hum. Interact., 2015)

Program synthesis using natural language. - Aditya Desai; Sumit Gulwani; Vineet Hingorani; Nidhi Jain; Amey Karkare; Mark Marron; Sailesh R; Subhajit Roy 001 (ICSE, 2016)

Ringer: web automation by demonstration. - Shaon Barman; Sarah E. Chasins; Rastislav Bodík; Sumit Gulwani (OOPSLA, 2016)

FIDEX: filtering spreadsheet data using examples. - Xinyu Wang 006; Sumit Gulwani; Rishabh Singh (OOPSLA, 2016)

Transforming spreadsheet data types using examples. - Rishabh Singh; Sumit Gulwani (POPL, 2016)

Feedback generation for performance problems in introductory programming assignments. - Florian Zuleger; Ivan Radicek; Sumit Gulwani (Software Engineering, 2016)

Semi-supervised verified feedback generation. - Shalini Kaleeswaran; Anirudh Santhiar; Aditya Kanade 001; Sumit Gulwani (SIGSOFT FSE, 2016)

Technical Perspective: Program synthesis using stochastic techniques. - Sumit Gulwani (Commun. ACM, 2016)

Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. - Rajdeep Das; Umair Z. Ahmed; Amey Karkare; Sumit Gulwani (CoRR, 2016)

Programming by Examples - and its applications in Data Wrangling. - Sumit Gulwani (Dependable Software Systems Engineering, 2016)

Automated Data Extraction Using Predictive Program Synthesis. - Mohammad Raza; Sumit Gulwani (AAAI, 2017)

Synthesis of Problems for Shaded Area Geometry Reasoning. - Chris Alvin; Sumit Gulwani; Rupak Majumdar; Supratik Mukhopadhyay (AIED, 2017)

Programming by Examples: PL Meets ML. - Sumit Gulwani; Prateek Jain 002 (APLAS, 2017)

Synthesis of Solutions for Shaded Area Geometry Problems. - Chris Alvin; Sumit Gulwani; Rupak Majumdar; Supratik Mukhopadhyay (FLAIRS, 2017)

Learning syntactic program transformations from examples. - Reudismam Rolim; Gustavo Soares; Loris D'Antoni; Oleksandr Polozov; Sumit Gulwani; Rohit Gheyi; Ryo Suzuki 001; Björn Hartmann (ICSE, 2017)

Learning to Learn Programs from Examples: Going Beyond Program Structure. - Kevin Ellis; Sumit Gulwani (IJCAI, 2017)

Programming by examples: applications, algorithms, and ambiguity resolution. - Sumit Gulwani (PPDP, 2017)

Interactive Program Synthesis. - Vu Le 002; Daniel Perelman; Oleksandr Polozov; Mohammad Raza; Abhishek Udupa; Sumit Gulwani (CoRR, 2017)

FlashProfile: Interactive Synthesis of Syntactic Profiles. - Saswat Padhi; Prateek Jain 002; Daniel Perelman; Oleksandr Polozov; Sumit Gulwani; Todd D. Millstein (CoRR, 2017)

Program Synthesis. - Sumit Gulwani; Oleksandr Polozov; Rishabh Singh (Found. Trends Program. Lang., 2017)

Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples. - Peter Alvaro; Sumit Gulwani; Peter Bailis (ACM Queue, 2017)

Disjunctive Program Synthesis: A Robust Approach to Programming by Example. - Mohammad Raza; Sumit Gulwani (AAAI, 2018)

Automatic Diagnosis of Students' Misconceptions in K-8 Mathematics. - Molly Q. Feldman; Ji Yong Cho; Monica Ong; Sumit Gulwani; Zoran Popovic; Erik Andersen 001 (CHI, 2018)

Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. - Ashwin Kalyan; Abhishek Mohta; Oleksandr Polozov; Dhruv Batra; Prateek Jain 002; Sumit Gulwani (ICLR (Poster), 2018)

Compilation error repair: for the student programs, from the student programs. - Umair Z. Ahmed; Pawan Kumar; Amey Karkare; Purushottam Kar; Sumit Gulwani (ICSE (SEET), 2018)

Automated clustering and program repair for introductory programming assignments. - Sumit Gulwani; Ivan Radicek; Florian Zuleger (PLDI, 2018)

Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. - Ashwin J. Vijayakumar; Abhishek Mohta; Oleksandr Polozov; Dhruv Batra; Prateek Jain 002; Sumit Gulwani (CoRR, 2018)

FlashProfile: a framework for synthesizing data profiles. - Saswat Padhi; Prateek Jain 002; Daniel Perelman; Oleksandr Polozov; Sumit Gulwani; Todd D. Millstein (Proc. ACM Program. Lang., 2018)

Combining Model Checking and Data-Flow Analysis. - Dirk Beyer 001; Sumit Gulwani; David A. Schmidt (Handbook of Model Checking, 2018)

Learning Natural Programs from a Few Examples in Real-Time. - Nagarajan Natarajan; Danny Simmons; Naren Datha; Prateek Jain 002; Sumit Gulwani (AISTATS, 2019)

Quantitative Programming by Examples. - Sumit Gulwani; Kunal Pathak; Arjun Radhakrishna; Ashish Tiwari 001; Abhishek Udupa (CoRR, 2019)

On the fly synthesis of edit suggestions. - Anders Miltner; Sumit Gulwani; Vu Le 002; Alan Leung; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001; Abhishek Udupa (Proc. ACM Program. Lang., 2019)

Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists. - Ian Drosos; Titus Barik; Philip J. Guo; Robert DeLine; Sumit Gulwani (CHI, 2020)

An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction. - Mengshi Zhang; Daniel Perelman; Vu Le 002; Sumit Gulwani (ICPR, 2020)

ExTuNe: Explaining Tuple Non-conformance. - Anna Fariha; Ashish Tiwari 001; Arjun Radhakrishna; Sumit Gulwani (SIGMOD Conference, 2020)

Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference. - Mohammad Raza; Sumit Gulwani (SIGMOD Conference, 2020)

Data Invariants: On Trust in Data-Driven Systems. - Anna Fariha; Ashish Tiwari 001; Arjun Radhakrishna; Sumit Gulwani; Alexandra Meliou (CoRR, 2020)

Information-theoretic User Interaction: Significant Inputs for Program Synthesis. - Ashish Tiwari 001; Arjun Radhakrishna; Sumit Gulwani; Daniel Perelman (CoRR, 2020)

Computer-Aided Personalized Education. - Rajeev Alur; Richard G. Baraniuk; Rastislav Bodík; Ann W. Drobnis; Sumit Gulwani; Bjoern Hartmann; Yasmin B. Kafai; Jeff Karpicke; Ran Libeskind-Hadas; Debra J. Richardson; Armando Solar-Lezama; Candace Thille; et al. (CoRR, 2020)

Programming by Rewards. - Nagarajan Natarajan; Ajaykrishna Karthikeyan; Prateek Jain 002; Ivan Radicek; Sriram K. Rajamani; Sumit Gulwani; Johannes Gehrke (CoRR, 2020)

Feedback-driven semi-supervised synthesis of program transformations. - Xiang Gao 012; Shraddha Barke; Arjun Radhakrishna; Gustavo Soares; Sumit Gulwani; Alan Leung; Nachiappan Nagappan; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2020)

Structure interpretation of text formats. - Sumit Gulwani; Vu Le 002; Arjun Radhakrishna; Ivan Radicek; Mohammad Raza (Proc. ACM Program. Lang., 2020)

Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. - Rangeet Pan; Vu Le 002; Nachiappan Nagappan; Sumit Gulwani; Shuvendu K. Lahiri; Mike Kaufman (ICSE, 2021)

CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. - Anna Fariha; Ashish Tiwari 001; Alexandra Meliou; Arjun Radhakrishna; Sumit Gulwani (SIGMOD Conference, 2021)

Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. - Anna Fariha; Ashish Tiwari 001; Arjun Radhakrishna; Sumit Gulwani; Alexandra Meliou (SIGMOD Conference, 2021)

reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example. - Wode Ni; Joshua Sunshine; Vu Le 002; Sumit Gulwani; Titus Barik (UIST, 2021)

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. - Kia Rahmani; Mohammad Raza; Sumit Gulwani; Vu Le 002; Daniel Morris 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (CoRR, 2021)

APIfix: output-oriented program synthesis for combating breaking changes in libraries. - Xiang Gao 012; Arjun Radhakrishna; Gustavo Soares; Ridwan Shariffdeen; Sumit Gulwani; Abhik Roychoudhury (Proc. ACM Program. Lang., 2021)

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. - Kia Rahmani; Mohammad Raza; Sumit Gulwani; Vu Le 002; Daniel Morris 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2021)

Semantic programming by example with pre-trained models. - Gust Verbruggen; Vu Le 002; Sumit Gulwani (Proc. ACM Program. Lang., 2021)

Synchromesh: Reliable Code Generation from Pre-trained Language Models. - Gabriel Poesia; Alex Polozov; Vu Le 002; Ashish Tiwari 001; Gustavo Soares; Christopher Meek; Sumit Gulwani (ICLR, 2022)

AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote). - Sumit Gulwani (ESEC/SIGSOFT FSE, 2022)

NL2Viz: natural language to visualization via constrained syntax-guided synthesis. - Zhengkai Wu; Vu Le 002; Ashish Tiwari 001; Sumit Gulwani; Arjun Radhakrishna; Ivan Radicek; Gustavo Soares; Xinyu Wang 006; Zhenwen Li; Tao Xie 001 (ESEC/SIGSOFT FSE, 2022)

Storytelling and science. - Titus Barik; Sumit Gulwani; Mario Juarez (Commun. ACM, 2022)

CORNET: A neurosymbolic approach to learning conditional table formatting rules by example. - Mukul Singh; José Pablo Cambronero Sánchez; Sumit Gulwani; Vu Le 002; Carina Negreanu; Mohammad Raza; Gust Verbruggen (CoRR, 2022)

Repairing Bugs in Python Assignments Using Large Language Models. - Jialu Zhang 002; José Cambronero; Sumit Gulwani; Vu Le 002; Ruzica Piskac; Gustavo Soares; Gust Verbruggen (CoRR, 2022)

Neurosymbolic repair for low-code formula languages. - Rohan Bavishi; Harshit Joshi; José Cambronero; Anna Fariha; Sumit Gulwani; Vu Le 002; Ivan Radicek; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2022)

Overwatch: learning patterns in code edit sequences. - Yuhao Zhang 005; Yasharth Bajpai; Priyanshu Gupta; Ameya Ketkar; Miltiadis Allamanis; Titus Barik; Sumit Gulwani; Arjun Radhakrishna; Mohammad Raza; Gustavo Soares; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2022)

Repair Is Nearly Generation: Multilingual Program Repair with LLMs. - Harshit Joshi; José Pablo Cambronero Sánchez; Sumit Gulwani; Vu Le 002; Gust Verbruggen; Ivan Radicek (AAAI, 2023)

EmFore: Online Learning of Email Folder Classification Rules. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Gust Verbruggen (CIKM, 2023)

Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. - Tung Phung; José Cambronero; Sumit Gulwani; Tobias Kohn; Rupak Majumdar; Adish Singla; Gustavo Soares (EDM, 2023)

TSTR: Target Similarity Tuning Meets the Real World. - Anirudh Khatry; Sumit Gulwani; Priyanshu Gupta; Vu Le 002; Mukul Singh; Ananya Singha; Gust Verbruggen (EMNLP (Findings), 2023)

CodeFusion: A Pre-trained Diffusion Model for Code Generation. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Gust Verbruggen (EMNLP, 2023)

Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. - Tung Phung; Victor-Alexandru Padurean; José Cambronero; Sumit Gulwani; Tobias Kohn; Rupak Majumdar; Adish Singla; Gustavo Soares (ICER (2), 2023)

Personalized action suggestions in low-code automation platforms. - Saksham Gupta; Gust Verbruggen; Mukul Singh; Sumit Gulwani; Vu Le 002 (ICSE Companion, 2023)

Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience. - Priyan Vaithilingam; Elena L. Glassman; Peter Groenwegen; Sumit Gulwani; Austin Z. Henley; Rohan Malpani; David Pugh; Arjun Radhakrishna; Gustavo Soares; Joey Wang; Aaron Yim (ICSE-SEIP, 2023)

CoWrangler: Recommender System for Data-Wrangling Scripts. - Bhavya Chopra; Anna Fariha; Sumit Gulwani; Austin Z. Henley; Daniel Perelman; Mohammad Raza; Sherry Shi; Danny Simmons; Ashish Tiwari 001 (SIGMOD Conference Companion, 2023)

Grace: Language Models Meet Code Edits. - Priyanshu Gupta; Avishree Khare; Yasharth Bajpai; Saikat Chakraborty; Sumit Gulwani; Aditya Kanade 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (ESEC/SIGSOFT FSE, 2023)

From Words to Code: Harnessing Data for Program Synthesis from Natural Language. - Anirudh Khatry; Joyce Cahoon; Jordan Henkel; Shaleen Deep; K. Venkatesh Emani; Avrilia Floratou; Sumit Gulwani; Vu Le 002; Mohammad Raza; Sherry Shi; Mukul Singh; Ashish Tiwari 001 (CoRR, 2023)

GrACE: Generation using Associated Code Edits. - Priyanshu Gupta; Avishree Khare; Yasharth Bajpai; Saikat Chakraborty; Sumit Gulwani; Aditya Kanade 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (CoRR, 2023)

Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Gust Verbruggen (CoRR, 2023)

DataVinci: Learning Syntactic and Semantic String Repairs. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Gust Verbruggen (CoRR, 2023)

Augmented Embeddings for Custom Retrievals. - Anirudh Khatry; Yasharth Bajpai; Priyanshu Gupta; Sumit Gulwani; Ashish Tiwari 001 (CoRR, 2023)

Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs. - Ananya Singha; José Cambronero; Sumit Gulwani; Vu Le 002; Chris Parnin (CoRR, 2023)

Conversational Challenges in AI-Powered Data Science: Obstacles, Needs, and Design Opportunities. - Bhavya Chopra; Ananya Singha; Anna Fariha; Sumit Gulwani; Chris Parnin; Ashish Tiwari 001; Austin Z. Henley (CoRR, 2023)

TSTR: Target Similarity Tuning Meets the Real World. - Anirudh Khatry; Sumit Gulwani; Priyanshu Gupta; Vu Le 002; Ananya Singha; Mukul Singh; Gust Verbruggen (CoRR, 2023)

Assessing GPT4-V on Structured Reasoning Tasks. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Gust Verbruggen (CoRR, 2023)

CORNET: Learning Table Formatting Rules By Example. - Mukul Singh; José Pablo Cambronero Sánchez; Sumit Gulwani; Vu Le 002; Carina Negreanu; Mohammad Raza; Gust Verbruggen (Proc. VLDB Endow., 2023)

CORNET: Learning Spreadsheet Formatting Rules By Example. - Mukul Singh; José Pablo Cambronero Sánchez; Sumit Gulwani; Vu Le 002; Carina Negreanu; Gust Verbruggen (Proc. VLDB Endow., 2023)

FlashFill++: Scaling Programming by Example by Cutting to the Chase. - José Cambronero; Sumit Gulwani; Vu Le 002; Daniel Perelman; Arjun Radhakrishna; Clint Simon; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2023)

FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Elnaz Nouri; Mohammad Raza; Gust Verbruggen (Proc. VLDB Endow., 2023)

FLAME: A Small Language Model for Spreadsheet Formulas. - Harshit Joshi; Abishai Ebenezer; José Pablo Cambronero Sánchez; Sumit Gulwani; Aditya Kanade 001; Vu Le 002; Ivan Radicek; Gust Verbruggen (AAAI, 2024)

EmFORE: Learning Email Folder Classification Rules by Demonstration. - Mukul Singh; Gust Verbruggen; José Cambronero; Vu Le 002; Sumit Gulwani (AAAI, 2024)

RUBICON: Rubric-Based Evaluation of Domain-Specific Human AI Conversations. - Param Biyani; Yasharth Bajpai; Arjun Radhakrishna; Gustavo Soares; Sumit Gulwani (AIware, 2024)

Tabularis Revilio: Converting Text to Tables. - Mukul Singh; Gust Verbruggen; Vu Le 002; Sumit Gulwani (CIKM, 2024)

RAR: Retrieval-augmented retrieval for code generation in low resource languages. - Avik Dutta; Mukul Singh; Gust Verbruggen; Sumit Gulwani; Vu Le 002 (EMNLP, 2024)

MetaReflection: Learning Instructions for Language Agents using Past Reflections. - Priyanshu Gupta; Shashank Kirtania; Ananya Singha; Sumit Gulwani; Arjun Radhakrishna; Gustavo Soares; Sherry Shi (EMNLP, 2024)

One-to-many testing for code generation from (just) natural language. - Mansi Uniyal; Mukul Singh; Gust Verbruggen; Sumit Gulwani; Vu Le 002 (EMNLP (Findings), 2024)

Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation. - Tung Phung; Victor-Alexandru Padurean; Anjali Singh; Christopher Brooks 001; José Cambronero; Sumit Gulwani; Adish Singla; Gustavo Soares (LAK, 2024)

Semantically Aligned Question and Code Generation for Automated Insight Generation. - Ananya Singha; Bhavya Chopra; Anirudh Khatry; Sumit Gulwani; Austin Z. Henley; Vu Le 002; Chris Parnin; Mukul Singh; Gust Verbruggen (LLM4CODE@ICSE, 2024)

Investigating Student Mistakes in Introductory Data Science Programming. - Anjali Singh; Anna Fariha; Christopher Brooks 001; Gustavo Soares; Austin Z. Henley; Ashish Tiwari 001; Chethan M; Heeryung Choi; Sumit Gulwani (SIGCSE (1), 2024)

Let's Fix this Together: Conversational Debugging with GitHub Copilot. - Yasharth Bajpai; Bhavya Chopra; Param Biyani; Cagri Aslan; Dustin Coleman; Sumit Gulwani; Chris Parnin; Arjun Radhakrishna; Gustavo Soares (VL/HCC, 2024)

Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. - Paul Denny 001; Sumit Gulwani; Neil T. Heffernan; Tanja Käser; Steven Moore; Anna N. Rafferty; Adish Singla (CoRR, 2024)

Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants. - Bhavya Chopra; Yasharth Bajpai; Param Biyani; Gustavo Soares; Arjun Radhakrishna; Chris Parnin; Sumit Gulwani (CoRR, 2024)

Enhancing Creativity in Large Language Models through Associative Thinking Strategies. - Pronita Mehrotra; Aishni Parab; Sumit Gulwani (CoRR, 2024)

STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack. - Naman Gupta; Shashank Kirtania; Priyanshu Gupta; Krishna K. Mehra; Sumit Gulwani; Arun Iyer; Suresh Parthasarathy; Arjun Radhakrishna; Sriram K. Rajamani; Gustavo Soares (CoRR, 2024)

PyDex: Repairing Bugs in Introductory Python Assignments using LLMs. - Jialu Zhang 002; José Pablo Cambronero; Sumit Gulwani; Vu Le 002; Ruzica Piskac; Gustavo Soares; Gust Verbruggen (Proc. ACM Program. Lang., 2024)

Challenges in Using Conversational AI for Data Science. - Bhavya Chopra; Ananya Singha; Anna Fariha; Sumit Gulwani; Chris Parnin; Ashish Tiwari 001; Austin Z. Henley (HILDA@SIGMOD, 2025)

Execution-guided within-prompt search for programming-by-example. - Gust Verbruggen; Ashish Tiwari 001; Mukul Singh; Vu Le 002; Sumit Gulwani (ICLR, 2025)

An empirical study of validating synthetic data for formula generation. - Usneek Singh; José Cambronero; Sumit Gulwani; Aditya Kanade 001; Anirudh Khatry; Vu Le 002; Mukul Singh; Gust Verbruggen (NAACL (Findings), 2025)

TeCoFeS: Text Column Featurization using Semantic Analysis. - Ananya Singha; Mukul Singh; Ashish Tiwari 001; Sumit Gulwani; Vu Le 002; Chris Parnin (NAACL (Findings), 2025)

Building Your Own Product Copilot: Challenges, Opportunities, and Needs. - Chris Parnin; Gustavo Soares; Rahul Pandita; Sumit Gulwani; Jessica Rich; Austin Z. Henley (SANER, 2025)

TableTalk: Scaffolding Spreadsheet Development with a Language Agent. - Jenny T. Liang; Aayush Kumar; Yasharth Bajpai; Sumit Gulwani; Vu Le 002; Chris Parnin; Arjun Radhakrishna; Ashish Tiwari 001; Emerson R. Murphy-Hill; Gustavo Soares (CoRR, 2025)

DataVinci: Learning Syntactic and Semantic String Repairs. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Arjun Radhakrishna; Gust Verbruggen (Proc. ACM Manag. Data, 2025)

LLM-Guided Compositional Program Synthesis. - Ruhma Khan; Sumit Gulwani; Vu Le 002; Arjun Radhakrishna; Ashish Tiwari 001; Gust Verbruggen (CoRR, 2025)

Sharp Tools: How Developers Wield Agentic AI in Real Software Engineering Tasks. - Aayush Kumar; Yasharth Bajpai; Sumit Gulwani; Gustavo Soares; Emerson R. Murphy-Hill (CoRR, 2025)

TEN: Table Explicitization, Neurosymbolically. - Nikita Mehrotra; Aayush Kumar; Sumit Gulwani; Arjun Radhakrishna; Ashish Tiwari 001 (CoRR, 2025)

Diffusion is a code repair operator and generator. - Mukul Singh; Gust Verbruggen; Vu Le 002; Sumit Gulwani (CoRR, 2025)

Tabularis Formatus: Predictive Formatting for Tables. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Gust Verbruggen (CoRR, 2025)