| 2026 | ACL | TEN: Table Explicitization, Neurosymbolically. | Nikita Mehrotra, Aayush Kumar, Sumit Gulwani, Arjun Radhakrishna, Ashish Tiwari |
| 2026 | CHI | The Invisible Mentor: Inferring User Actions from Screen Recordings to Recommend Better Workflows. | Litao Yan, Andrew Head, Ken Milne, Vu Le, Sumit Gulwani, Chris Parnin, Emerson R. Murphy-Hill |
| 2026 | SIGCSE | Closing the Loop: An Instructor-in-the-Loop AI Assistance System for Supporting Student Help-Seeking in Programming Education. | Tung Phung, Heeryung Choi, Mengyan Wu, Christopher Brooks, Sumit Gulwani, Adish Singla |
| 2026 | SIGMOD | ConDABench: Interactive Evaluation of Language Models for Data Analysis. | Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari |
| 2025 | EMNLP | STACKFEED: Structured Textual Actor-Critic Knowledge base editing with FEEDback. | Shashank Kirtania, Naman Gupta, Priyanshu Gupta, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy Iyengar, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares |
| 2025 | ICLR | Execution-guided within-prompt search for programming-by-example. | Gust Verbruggen, Ashish Tiwari, Mukul Singh, Vu Le, Sumit Gulwani |
| 2025 | NAACL | TeCoFeS: Text Column Featurization using Semantic Analysis. | Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin |
| 2025 | NAACL | An empirical study of validating synthetic data for formula generation. | Usneek Singh, Jos Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen |
| 2025 | SANER | Building Your Own Product Copilot: Challenges, Opportunities, and Needs. | Chris Parnin, Gustavo Soares, Rahul Pandita, Sumit Gulwani, Jessica Rich, Austin Z. Henley |
| 2024 | AAAI | FLAME: A Small Language Model for Spreadsheet Formulas. | Harshit Joshi, Abishai Ebenezer, Jos Pablo Cambronero Snchez, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen |
| 2024 | AAAI | EmFORE: Learning Email Folder Classification Rules by Demonstration. | Mukul Singh, Gust Verbruggen, Jos Cambronero, Vu Le, Sumit Gulwani |
| 2024 | CIKM | Untitled record | Mukul Singh, Gust Verbruggen, Vu Le, Sumit Gulwani |
| 2024 | EMNLP | RAR: Retrieval-augmented retrieval for code generation in low resource languages. | Avik Dutta, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le |
| 2024 | EMNLP | MetaReflection: Learning Instructions for Language Agents using Past Reflections. | Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Sherry Shi |
| 2024 | EMNLP | One-to-many testing for code generation from (just) natural language. | Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le |
| 2024 | LAK | 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, Jos Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares |
| 2024 | SIGCSE | Investigating Student Mistakes in Introductory Data Science Programming. | Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Z. Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani |
| 2023 | AAAI | Repair Is Nearly Generation: Multilingual Program Repair with LLMs. | Harshit Joshi, Jos Pablo Cambronero Snchez, Sumit Gulwani, Vu Le, Gust Verbruggen, Ivan Radicek |
| 2023 | CIKM | EmFore: Online Learning of Email Folder Classification Rules. | Mukul Singh, Jos Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen |
| 2023 | EDM | 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 |
| 2023 | EMNLP | TSTR: Target Similarity Tuning Meets the Real World. | Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Mukul Singh, Ananya Singha, Gust Verbruggen |
| 2023 | EMNLP | CodeFusion: A Pre-trained Diffusion Model for Code Generation. | Mukul Singh, Jos Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen |
| 2023 | ICER | 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 |
| 2023 | ICSE | Personalized action suggestions in low-code automation platforms. | Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le |
| 2023 | ICSE | 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 |
| 2023 | SIGMOD | 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 |
| 2022 | ICLR | Synchromesh: Reliable Code Generation from Pre-trained Language Models. | Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani |
| 2021 | ICSE | Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. | Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman |
| 2021 | SIGMOD | CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. | Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani |
| 2021 | SIGMOD | Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. | Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou |
| 2021 | UIST | reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example. | Wode Ni, Joshua Sunshine, Vu Le, Sumit Gulwani, Titus Barik |
| 2020 | CHI | 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 |
| 2020 | ICPR | An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction. | Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani |
| 2020 | SIGMOD | ExTuNe: Explaining Tuple Non-conformance. | Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani |
| 2020 | SIGMOD | Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference. | Mohammad Raza, Sumit Gulwani |
| 2019 | AISTATS | Learning Natural Programs from a Few Examples in Real-Time. | Nagarajan Natarajan, Danny Simmons, Naren Datha, Prateek Jain, Sumit Gulwani |
| 2018 | AAAI | Disjunctive Program Synthesis: A Robust Approach to Programming by Example. | Mohammad Raza, Sumit Gulwani |
| 2018 | CHI | Automatic Diagnosis of Students' Misconceptions in K-8 Mathematics. | Molly Q. Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen |
| 2018 | ICLR | Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. | Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani |
| 2018 | ICSE | Compilation error repair: for the student programs, from the student programs. | Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani |
| 2018 | PLDI | Automated clustering and program repair for introductory programming assignments. | Sumit Gulwani, Ivan Radicek, Florian Zuleger |
| 2017 | AAAI | Automated Data Extraction Using Predictive Program Synthesis. | Mohammad Raza, Sumit Gulwani |
| 2017 | AIED | Synthesis of Problems for Shaded Area Geometry Reasoning. | Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay |
| 2017 | APLAS | Programming by Examples: PL Meets ML. | Sumit Gulwani, Prateek Jain |
| 2017 | FlAIRS | Synthesis of Solutions for Shaded Area Geometry Problems. | Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay |
| 2017 | IJCAI | Learning to Learn Programs from Examples: Going Beyond Program Structure. | Kevin Ellis, Sumit Gulwani |
| 2017 | ICSE | Learning syntactic program transformations from examples. | Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjrn Hartmann |
| 2017 | PPDP | Programming by examples: applications, algorithms, and ambiguity resolution. | Sumit Gulwani |
| 2016 | CADE | Programming by Examples: Applications, Algorithms, and Ambiguity Resolution. | Sumit Gulwani |
| 2016 | ICSE | Program synthesis using natural language. | Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy |
| 2016 | OOPSLA | Ringer: web automation by demonstration. | Shaon Barman, Sarah E. Chasins, Rastislav Bodk, Sumit Gulwani |
| 2016 | OOPSLA | FIDEX: filtering spreadsheet data using examples. | Xinyu Wang, Sumit Gulwani, Rishabh Singh |
| 2016 | POPL | Transforming spreadsheet data types using examples. | Rishabh Singh, Sumit Gulwani |
| 2015 | AAAI | Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. | Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani |
| 2015 | CAV | Predicting a Correct Program in Programming by Example. | Rishabh Singh, Sumit Gulwani |
| 2015 | CHI | Automatic Game Progression Design through Analysis of Solution Features. | Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popovic |
| 2015 | CHI | Mixed-Initiative Approaches to Global Editing in Slideware. | Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani |
| 2015 | CHI | A Framework for Automatically Generating Interactive Instructional Scaffolding. | Eleanor O'Rourke, Erik Andersen, Sumit Gulwani, Zoran Popovic |
| 2015 | IJCAI | FlashNormalize: Programming by Examples for Text Normalization. | Dileep Kini, Sumit Gulwani |
| 2015 | IJCAI | Personalized Mathematical Word Problem Generation. | Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic |
| 2015 | IJCAI | Compositional Program Synthesis from Natural Language and Examples. | Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling |
| 2015 | ICSE | StriSynth: Synthesis for Live Programming. | Sumit Gulwani, Mikal Mayer, Filip Niksic, Ruzica Piskac |
| 2015 | OOPSLA | Automating grammar comparison. | Ravichandhran Madhavan, Mikal Mayer, Sumit Gulwani, Viktor Kuncak |
| 2015 | OOPSLA | FlashMeta: a framework for inductive program synthesis. | Oleksandr Polozov, Sumit Gulwani |
| 2015 | PLDI | FlashRelate: extracting relational data from semi-structured spreadsheets using examples. | Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn |
| 2015 | POPL | Automating Repetitive Tasks for the Masses. | Sumit Gulwani |
| 2015 | POPL | Cultivating research taste (illustrated via a journey in program synthesis research). | Sumit Gulwani |
| 2015 | WWW | Browser Record and Replay as a Building Block for End-User Web Automation Tools. | Sarah E. Chasins, Shaon Barman, Rastislav Bodk, Sumit Gulwani |
| 2015 | UIST | User Interaction Models for Disambiguation in Programming by Example. | Mikal Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani |
| 2014 | AAAI | Synthesis of Geometry Proof Problems. | Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay |
| 2014 | AAAI | Programming by Example Using Least General Generalizations. | Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling |
| 2014 | GECCO | Applications of program synthesis to end-user programming and intelligent tutoring systems. | Sumit Gulwani |
| 2014 | IUI | A practical framework for constructing structured drawings. | Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr. |
| 2014 | KDD | LaSEWeb: automating search strategies over semi-structured web data. | Oleksandr Polozov, Sumit Gulwani |
| 2014 | PLDI | FlashExtract: a framework for data extraction by examples. | Vu Le, Sumit Gulwani |
| 2014 | PLDI | Test-driven synthesis. | Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost |
| 2014 | SIGMOD | NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation. | Sumit Gulwani, Mark Marron |
| 2013 | CAV | Recursive Program Synthesis. | Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid |
| 2013 | CHI | A trace-based framework for analyzing and synthesizing educational progressions. | Erik Andersen, Sumit Gulwani, Zoran Popovic |
| 2013 | ICML | A Machine Learning Framework for Programming by Example. | Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai |
| 2013 | IJCAI | Automatically Generating Problems and Solutions for Natural Deduction. | Umair Z. Ahmed, Sumit Gulwani, Amey Karkare |
| 2013 | IJCAI | Automated Grading of DFA Constructions. | Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan |
| 2013 | ICSE | Teaching and learning programming and software engineering via interactive gaming. | Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop |
| 2013 | LPAR | Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning. | Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv |
| 2013 | Mobisys | SmartSynth: synthesizing smartphone automation scripts from natural language. | Vu Le, Sumit Gulwani, Zhendong Su |
| 2013 | Mobisys | Keyword programming for TouchDevelop. | Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su |
| 2013 | PLDI | Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. | Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani |
| 2013 | PLDI | Automated feedback generation for introductory programming assignments. | Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama |
| 2013 | PPoPP | From relational verification to SIMD loop synthesis. | Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, Csar Kunz, Mark Marron |
| 2013 | UIST | 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 |
| 2012 | AAAI | Automatically Generating Algebra Problems. | Rohit Singh, Sumit Gulwani, Sriram K. Rajamani |
| 2012 | CAV | Synthesizing Number Transformations from Input-Output Examples. | Rishabh Singh, Sumit Gulwani |
| 2012 | CHI | QuickDraw: improving drawing experience for geometric diagrams. | Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr. |
| 2012 | PLDI | Type-directed completion of partial expressions. | Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman |
| 2012 | SYNASC | Synthesis from Examples: Interaction Models and Algorithms. | Sumit Gulwani |
| 2011 | PLDI | Synthesis of loop-free programs. | Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan |
| 2011 | PLDI | Synthesizing geometry constructions. | Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari |
| 2011 | PLDI | Spreadsheet table transformations from examples. | William R. Harris, Sumit Gulwani |
| 2011 | PLDI | Path-based inductive synthesis for program inversion. | Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster |
| 2011 | POPL | Automating string processing in spreadsheets using input-output examples. | Sumit Gulwani |
| 2011 | SAS | Bound Analysis of Imperative Programs with the Size-Change Abstraction. | Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith |
| 2010 | FMCAD | Dimensions in program synthesis. | Sumit Gulwani |
| 2010 | ICSE | Oracle-guided component-based program synthesis. | Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari |
| 2010 | OOPSLA | A simple inductive synthesis methodology and its applications. | Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv |
| 2010 | PLDI | The reachability-bound problem. | Sumit Gulwani, Florian Zuleger |
| 2010 | POPL | Continuity analysis of programs. | Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman |
| 2010 | POPL | From program verification to program synthesis. | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster |
| 2010 | PPDP | Dimensions in program synthesis. | Sumit Gulwani |
| 2009 | CAV | SPEED: Symbolic Complexity Bound Analysis. | Sumit Gulwani |
| 2009 | CAV | VS3: SMT Solvers for Program Verification. | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster |
| 2009 | PLDI | Control-flow refinement and progress invariants for bound analysis. | Sumit Gulwani, Sagar Jain, Eric Koskinen |
| 2009 | PLDI | Program verification using templates over predicate abstraction. | Saurabh Srivastava, Sumit Gulwani |
| 2009 | POPL | A combination framework for tracking partition sizes. | Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv |
| 2009 | POPL | SPEED: precise and efficient static estimation of program computational complexity. | Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi |
| 2009 | VMCAI | Constraint-Based Invariant Inference over Predicate Abstraction. | Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan |
| 2009 | VMCAI | Synthesizing Switching Logic Using Constraint Solving. | Ankur Taly, Sumit Gulwani, Ashish Tiwari |
| 2008 | CAV | Proving Conditional Termination. | Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv |
| 2008 | CAV | A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. | Bhargav S. Gulavani, Sumit Gulwani |
| 2008 | CAV | Constraint-Based Approach for Analysis of Hybrid Systems. | Sumit Gulwani, Ashish Tiwari |
| 2008 | ESOP | Ranking Abstractions. | Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang |
| 2008 | ESOP | Cover Algorithms and Their Combination. | Sumit Gulwani, Madan Musuvathi |
| 2008 | PLDI | Inferring locks for atomic sections. | Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani |
| 2008 | PLDI | Program analysis as constraint solving. | Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan |
| 2008 | POPL | Lifting abstract interpreters to quantified logical domains. | Sumit Gulwani, Bill McCloskey, Ashish Tiwari |
| 2007 | CADE | Logical Interpretation: Static Program Analysis Using Theorem Proving. | Ashish Tiwari, Sumit Gulwani |
| 2007 | CAV | An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. | Sumit Gulwani, Ashish Tiwari |
| 2007 | ESOP | Computing Procedure Summaries for Interprocedural Analysis. | Sumit Gulwani, Ashish Tiwari |
| 2007 | POPL | Program verification as probabilistic inference. | Sumit Gulwani, Nebojsa Jojic |
| 2007 | VMCAI | Assertion Checking Unified. | Sumit Gulwani, Ashish Tiwari |
| 2006 | ESOP | Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. | Sumit Gulwani, Ashish Tiwari |
| 2006 | PLDI | Combining abstract interpreters. | Sumit Gulwani, Ashish Tiwari |
| 2005 | CAV | Randomized Algorithms for Program Analysis and Verification. | George C. Necula, Sumit Gulwani |
| 2005 | POPL | Precise interprocedural analysis using random interpretation. | Sumit Gulwani, George C. Necula |
| 2004 | POPL | Global value numbering using random interpretation. | Sumit Gulwani, George C. Necula |
| 2004 | SAS | A Polynomial-Time Algorithm for Global Value Numbering. | Sumit Gulwani, George C. Necula |
| 2004 | SAS | Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. | Sumit Gulwani, George C. Necula |
| 2003 | CADE | A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols. | Sumit Gulwani, George C. Necula |
| 2003 | POPL | Discovering affine equalities using random interpretation. | Sumit Gulwani, George C. Necula |