Sumit Gulwani

Distinguished Scientist and Vice President

Papiers de Collaboration

Afficher par:

- STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with Feedback
  
  Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
  
  July 2025
  
  Preprint
- Sharp Tools: How Developers Wield Agentic AI in Real Software Engineering Tasks
  
  Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
  
  June 2025
  
  DOI Publication
- An Empirical Study of Validating Synthetic Data for Formula Generation
  
  Usneek Singh, J. Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
  
  NAACL 2025 | April 2025
  
  DOI Publication
- Execution-guided within-prompt search for programming-by-example
  
  Gust Verbruggen, Ashish Tiwari, Mukul Singh, Vu Le, Sumit Gulwani
  
  ICLR 2025 | April 2025
  
  Publication
- TeCoFeS: Text Column Featurization using Semantic Analysis
  
  Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
  
  NAACL 2025 | April 2025
  
  Publication
- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
  
  Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
  
  ArXiv | February 2025, Vol abs/2502.09787
  
  DOI Publication
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Publié par Microsoft
  
  Publication Projet Projet
- METAREFLECTION: Learning Instructions for Language Agents using Past Reflections
  
  Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
  
  EMNLP'24 | October 2024
  
  Publication
- One-to-many testing for code generation from (just) natural language
  
  Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
  
  Findings of EMNLP 2024 | September 2024
  
  Publication
- RAR: Retrieval Augmented Retrieval for Code Generation in Low Resource Languages
  
  Avik Dutta, Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  EMNLP 2024 | September 2024
  
  Publication
- Let’s Fix this Together: Conversational Debugging with GitHub Copilot
  
  Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Sumit Gulwani, Dustin Coleman, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
  
  IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | August 2024
  
  Best Research Paper Award
  
  Publication
- Tabularis Revilio: Converting Text to Tables
  
  Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  CIKM '24: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management | August 2024
  
  Publication
- RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations
  
  Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
  
  AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024
  
  Best Paper Presentation Award
  
  Publication DOI
- Semantically Aligned Question and Code Generation for Automated Insight Generation
  
  Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen
  
  LLM4Code Workshop at ICSE '24 | April 2024
  
  Best Paper
  
  Publication
- EmFORE: Learning Email Folder Classification Rules by Demonstration
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  38th Annual AAAI Conference on Artificial Intelligence - Demo Track | March 2024, pp. 23835-23837
  
  Publication DOI Vidéo
- 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 Pădurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares
  
  International Learning Analytics and Knowledge Conference | March 2024
  
  Publication
- 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
  
  NAACL: Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing | February 2024
  
  DOI Publication
- FLAME: A Small Language Model for Spreadsheet Formulas
  
  Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
  
  AAAI | February 2024
  
  Publication
- 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
  
  Technical Symposium on Computer Science Education | January 2024
  
  Publication
- PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
  
  Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
  
  Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) | January 2024
  
  Publication
- Assessing GPT4-V on Structured Reasoning Tasks
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  Preprint | December 2023
  
  Publication Preprint
- Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs
  
  Ananya Singha, José Cambronero, Sumit Gulwani, Vu Le, Chris Parnin
  
  Table Representation Learning Workshop at NeurIPS 2023 | December 2023
  
  Publication Publication
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- CODEFUSION: A Pre-trained Diffusion Model for Code Generation
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen, Carina Negreanu
  
  EMNLP 2023 | November 2023
  
  Publication Vidéo
- TSTR: Target Similarity Tuning Meets the Real World
  
  Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen
  
  Findings of EMNLP 2023 | November 2023
  
  Publication Vidéo
- EmFore: Online Learning of Email Folder Classification Rules
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  CIKM '23: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management | October 2023
  
  Publication DOI Vidéo
- FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
  
  50th International Conference on Very Large Data Bases (VLDB 24) | October 2023
  
  Publication
- 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
  
  Conference on International Computing Education Research | September 2023
  
  Publication
- DataVinci: Learning Syntactic and Semantic String Repairs
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
  
  Preprint | August 2023
  
  Publication Preprint
- Demonstration of CORNET: Learning Spreadsheet Formatting Rules by Example
  
  Mukul Singh, José Cambronero, Carina Negreanu, Sumit Gulwani, Gust Verbruggen
  
  49th International Conference on Very Large Data Bases - Demo Track | August 2023
  
  Publication DOI Vidéo
- Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models
  
  Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adisha Singla, Gustavo Soares
  
  International Conference on Educational Data Mining | July 2023
  
  Publication
- 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
  
  SIGMOD | June 2023
  
  Publication
- From Words to Code: Harnessing Data for Program Synthesis from Natural Language
  
  Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari
  
  May 2023
  
  Publication
- Cornet: Learning Table Formatting Rules By Example
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
  
  49th International Conference on Very Large Data Bases | May 2023
  
  Publication DOI Vidéo
- Repair Is Nearly Generation: Multilingual Program Repair with LLMs
  
  Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
  
  February 2023
  
  Publié par : AAAI | February 2023
  
  Publication
- FlashFill++: Scaling Programming by Example by Cutting to the Chase
  
  José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
  
  Principles of Programming Languages | January 2023
  
  Publication
- Neurosymbolic Repair for Low-Code Formula Languages
  
  Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
  
  OOPSLA | December 2022
  
  Publication
- Personalized Action Suggestions in Low-Code Automation Platforms
  
  Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le
  
  International Conference on Software Engineering (ICSE) 2023 - Industry Track | December 2022
  
  Publication DOI
- NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis
  
  Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
  
  FSE | November 2022
  
  PDF
- Overwatch: Learning Patterns in Code Edit Sequences
  
  Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
  
  OOPSLA: Proceedings of the ACM on Programming Languages | October 2022
  
  Publication Projet
- Repairing Bugs in Python Assignments using Large Language Models
  
  Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
  
  September 2022
  
  Publication
- AI-assisted Programming | IJCAI-ECAI 2022 Keynote by Sumit Gulwani
  
  Sumit Gulwani
  
  August 2022
  
  Publication
- PROSE Research Fellowship Program
  
  Sumit Gulwani, Arjun Radhakrishna
  
  May 2022
  
  Publication
- Synchromesh: Reliable code generation from pre-trained language models
  
  Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Chris Meek, Sumit Gulwani
  
  ICLR 2022 | April 2022
  
  Publication PDF Projet
- Shaping the future with: Sumit Gulwani
  
  Sumit Gulwani
  
  March 2022
  
  Max Planck-Humboldt Medal 2021
  
  Publication
- Storytelling and Science
  
  Titus Barik, Sumit Gulwani, Mario Juarez
  
  March 2022
  
  Publication
- Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
  
  Kia Rahmani, Mohammad Raza (moraza), Sumit Gulwani (sumitg), Vu Le (levu), Dan Morris (damorri), Arjun Radhakrishna (arradha), Gustavo Soares (gsoares), Ashish Tiwari (astiwar)
  
  OOPSLA | October 2021
  
  Publication
- 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
  
  UIST 2021 | October 2021
  
  Publication
- Semantic programming by example with pre-trained models
  
  Gust Verbruggen, Vu Le, Sumit Gulwani
  
  OOPSLA | October 2021
  
  Publication Projet
- APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
  
  Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
  
  OOPSLA | September 2021
  
  PDF
- Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
  
  Proceedings of the 2021 International Conference on Management of Data | June 2021
  
  DOI Publication Publication
- Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
  
  Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
  
  2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE '21) | May 2021
  
  Publication Projet
- Structure interpretation of text formats
  
  Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | November 2020
  
  DOI PDF Author's Version Publication Publication Publication Vidéo Projet Projet Projet
- An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction
  
  Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
  
  International Conference on Pattern Recognition | October 2020
  
  PDF Publication Projet Projet
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication Vidéo Vidéo Projet
- Programming by Rewards
  
  Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
  
  July 2020
  
  Publication
- ExTuNe: Explaining Tuple Non-conformance
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
  
  2020 International Conference on Management of Data | June 2020
  
  DOI PDF Publication Vidéo
- Web data extraction using hybrid program synthesis: a combination of top-down and bottom-up inference
  
  Mohammad Raza, Sumit Gulwani
  
  SIGMOD (Special Interest Group on Management of Data) | June 2020
  
  Publication Projet Projet Projet
- 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
  
  ACM CHI Conference on Human Factors in Computing Systems | April 2020
  
  Best Paper Award
  
  Publication Projet
- On the fly synthesis of edit suggestions
  
  Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2019
  
  PDF DOI Vidéo Projet Projet
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  Dependable Software Systems Engineering | Publié par IOS Press | 2019
  
  Publication Projet
- Learning Natural Programs from a Few Examples in Real-Time
  
  Nagarajan Natarajan, Danny Simmons, Naren Datha (narend), Prateek Jain, Sumit Gulwani
  
  AIStats | January 2019
  
  Publication Projet
- FlashProfile: A Framework for Synthesizing Data Profiles
  
  Saswat Padhi, Daniel Perelman, Prateek Jain, Alex Polozov, Sumit Gulwani, Todd Millstein
  
  ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH - OOPSLA) | November 2018
  
  Publication Projet
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  Publication Projet Projet
- Compilation Error Repair: For the Student Programs, From the Student Programs
  
  Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
  
  40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
  
  Publication Publication Projet Projet
- Disjunctive Program Synthesis: A Robust Approach to Programming by Example
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2018 | February 2018
  
  Publication Projet Projet
- Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
  
  Ashwin Kalyan, Abhishek Mohta, Alex Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani
  
  6th International Conference on Learning Representations (ICLR) | January 2018
  
  Publication Projet
- Automatic Diagnosis of Students’ Misconceptions in K-8 Mathematics
  
  Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
  
  2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
  
  Publication Projet Projet
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  APLAS 2017 | October 2017
  
  Publication Projet
- FlashProfile: Interactive Synthesis of Syntactic Profiles
  
  Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Milstein
  
  arXiv preprint | September 2017, Vol arXiv:1709.05725
  
  Publication Publication Projet
- Program Synthesis
  
  Sumit Gulwani, Alex Polozov, Rishabh Singh
  
  Foundations and Trends in Programming Languages
  
  Published by NOW | August 2017, Vol 4
  
  Publication Projet
- Research for Practice: Programming by Examples
  
  Sumit Gulwani
  
  Research for Practice, CACM | July 2017, Vol 60: pp. 46-49
  
  Publication Projet
- Learning Syntactic Program Transformations from Examples
  
  Reudismam Rolim, Gustavo Soares (gsoares), Loris D'Antoni, Alex Polozov, Sumit Gulwani, Rohit Gheyi, Bjoern Hartmann
  
  39th International Conference on Software Engineering (ICSE) | May 2017
  
  Publication Publication Projet
- Learning to Learn Programs from Examples: Going Beyond Program Structure
  
  Kevin Ellis, Sumit Gulwani
  
  IJCAI 2017 | May 2017
  
  Publication Projet
- Interactive Program Synthesis
  
  Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
  
  arXiv preprint | March 2017, Vol arXiv:1703.03539
  
  Publication Projet
- Automated Data Extraction using Predictive Program Synthesis
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2017 | February 2017
  
  Publication Projet Projet Projet
- Ringer: Web Automation by Demonstration
  
  Shaon Barman, Sarah Chasins, Ras Bodik, Sumit Gulwani
  
  OOPSLA 2016 | November 2016
  
  Publication Publication Projet
- FIDEX: Filtering Spreadsheet Data using Examples
  
  Xinyu Wang, Sumit Gulwani, Rishabh Singh
  
  OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
  
  Publication Projet
- Programming by Examples: Applications, Algorithms, and Ambiguity Resolution
  
  Sumit Gulwani
  
  Invited talk at IJCAR 2016 | June 2016
  
  Publication Publication Projet
- Program Synthesis using Natural Language
  
  Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
  
  ICSE '16, Austin, TX, USA | May 2016
  
  Publication DOI
- Program Synthesis Using Natural Language
  
  Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
  
  ICSE '16 Proceedings of the 38th International Conference on Software Engineering | May 2016
  
  Publication DOI Projet
- Semi-Supervised Verified Feedback Generation
  
  Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
  
  March 2016
  
  Publication Projet
- Program Synthesis Using Stochastic Techniques
  
  Sumit Gulwani
  
  Communications of the ACM, Technical Perspective | February 2016, Vol 59(2): pp. 113
  
  Publication Publication Projet
- Programming by Examples
  
  Sumit Gulwani
  
  Tutorial at PLDI 2016 | January 2016
  
  Publication
- Programming by Examples (and its Applications in Data Wrangling)
  
  Sumit Gulwani
  
  Verification and Synthesis of Correct and Secure Systems | January 2016
  
  Publication Projet
- Spreadsheet Programming using Examples
  
  Sumit Gulwani
  
  Keynote at SEMS 2016 | January 2016
  
  Publication Projet
- Transforming Spreadsheet Data Types using Examples
  
  Rishabh Singh, Sumit Gulwani
  
  43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
  
  Publication Projet
- User Interaction Models for Disambiguation in Programming by Example
  
  Mikaël Mayer, Gustavo Soares (gsoares), Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
  
  ACM Symposium on User Interface Software and Technology (UIST) 2015 | November 2015
  
  Publication Projet Projet Projet
- Inductive Programming Meets the Real World
  
  Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Ben Zorn
  
  Communications of The ACM | November 2015
  
  Publication
- Programming by Examples: Applications, Ambiguity Resolutions, Approach
  
  Sumit Gulwani
  
  Lecture at UC-Berkeley | November 2015
  
  Publication
- Automating Grammar Comparison
  
  Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak
  
  OOPSLA 2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications | October 2015
  
  Publication Publication Publication
- FlashMeta: A Framework for Inductive Program Synthesis
  
  Alex Polozov, Sumit Gulwani
  
  ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) 2015 | October 2015
  
  Publication Publication Publication Vidéo Projet
- Applications of Inductive Programming in Data Wrangling
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  Publication
- Deductive Techniques for Synthesis from Inductive Specifications
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  Publication
- Microsoft FlashMeta SDK A Framework for Creating Inductive Synthesizers
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  Publication
- Programming by Examples (and its applications in Data Wrangling)
  
  Sumit Gulwani
  
  Lectures at Marktoberdorf Summer School, Aug 2015 | August 2015
  
  Publication Publication Publication Publication Projet
- FlashNormalize: Programming by Examples for Text Normalization
  
  Dileep Kini, Sumit Gulwani
  
  IJCAI'15 Proceedings of the 24th International Conference on Artificial Intelligence | July 2015
  
  Publication Publication
- Personalized Mathematical Word Problem Generation
  
  Alex Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
  
  24th International Joint Conference on Artificial Intelligence (IJCAI) | July 2015
  
  Publication
- Automated Feedback and Recognition through Data Mining in Code Hunt
  
  Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman
  
  MSR-TR-2015-57 | July 2015
  
  Publication Projet Projet
- Data Wrangling using Programming by Examples
  
  Sumit Gulwani
  
  Invited talk at ECOOP | July 2015
  
  Publication Vidéo
- Predicting a Correct Program in Programming by Example
  
  Rishabh Singh, Sumit Gulwani
  
  27th International Conference on Computer Aided Verification (CAV 2015) | July 2015
  
  27th International Conference on Computer Aided Verification (CAV 2015)
  
  Publication Publication
- Building Bing Developer Assistant
  
  Yi Wei, Nirupama Chandrasekaran, Sumit Gulwani, Youssef Hamadi
  
  MSR-TR-2015-36 | May 2015
  
  Publication Vidéo
- Compositional Program Synthesis from Natural Language and Examples
  
  Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
  
  IJCAI 2015 | May 2015
  
  Publication Publication
- Personalized Mathematical Word Problem Generation
  
  Oleksandr Polozov, Eleanor O’Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
  
  IJCAI 2015 | May 2015
  
  Publication Publication
- A Framework for Automatically Generating Interactive Instructional Scaffolding
  
  Eleanor O’Rourke, Erik Andersen, Sumit Gulwani, Zoran Popović
  
  CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
  
  Publication Publication Vidéo
- Automatic Game Progression Design through Analysis of Solution Features
  
  Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popović
  
  CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
  
  Publication Publication
- How Can Automatic Feedback Help Students Construct Automata?
  
  Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
  
  ACM Transactions on Computer-Human Interaction (TOCHI) - Special Issue on Online Learning at Scale | April 2015, Vol 22(2)
  
  Publication Publication Projet
- 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 Conference on Human Factors in Information Systems | April 2015
  
  CHI 2015 Conference on Human Factors in Information Systems
  
  Publication Publication Vidéo
- Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games
  
  Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
  
  AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015
  
  ISBN: 0-262-51129-0
  
  Publication Publication Projet
- Automating Repetitive Tasks for the Masses
  
  Sumit Gulwani
  
  POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  Publication Publication Publication Projet
- Applications of Formal Methods to Data Wrangling and Education
  
  Sumit Gulwani
  
  Keynote at CBSoft 2015 | January 2015
  
  Publication Publication Projet
- Automating Repetitive Tasks for the Masses
  
  Sumit Gulwani
  
  Keynote at POPL 2015 | January 2015
  
  Publication
- Programming by Examples applied to Data Wrangling
  
  Sumit Gulwani
  
  Invited talk at SYNT 2015 | January 2015
  
  Publication
- Feedback Generation for Performance Problems in Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radiček, Florian Zuleger
  
  SIGSOFT/FSE'14, November 16 - 22 2014, Hong Kong, China | November 2014
  
  Publication Publication Projet
- LaSEWeb: Automating Search Strategies over Semi-structured Web Data
  
  Alex Polozov, Sumit Gulwani
  
  20th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) | August 2014
  
  Publication
- Example-Based Learning in Computer-Aided STEM Education
  
  Sumit Gulwani
  
  Communications of the ACM | August 2014, Vol 57(8): pp. 70-80
  
  Publication Publication Publication Vidéo
- Synthesis of Geometry Proof Problems
  
  Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
  
  AAAI'14 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence | July 2014
  
  Publication Publication Projet
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  Invited talk at GECCO 2014, Genetic Programming Track | July 2014
  
  Publication
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  GECCO'14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
  
  Publication Publication Publication Projet Projet
- Programming by Example using Least General Generalizations
  
  Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
  
  July 2014
  
  Publication Publication Vidéo Projet
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
  
  Publication Publication Vidéo Projet
- Test-Driven Synthesis
  
  Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
  
  PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
  
  Publication Publication Publication Projet
- FlashExtract: a framework for data extraction by examples
  
  Vu Le, Sumit Gulwani
  
  2014 Programming Language Design and Implementation | June 2014
  
  DOI PDF PDF Publication Publication Publication Publication Vidéo Vidéo Projet Projet Projet Projet Projet
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD '14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
  
  Publication Publication Vidéo
- FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
  
  Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
  
  PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
  
  Distinguished Artifact Award
  
  Publication Vidéo Projet Projet
- A Practical Framework for Constructing Structured Drawings
  
  Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.
  
  IUI'14, February 24 - 27 2014, Haifa, Israel | February 2014
  
  Publication Publication Publication
- Problem Generation and Feedback Generation
  
  Sumit Gulwani
  
  Invited talk at ASSESS 2014 | January 2014
  
  Publication
- Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning
  
  Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
  
  19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings | December 2013
  
  Publication Publication
- A Colorful Approach to Text Processing by Example
  
  Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
  
  PDF DOI Projet
- Automated Grading of DFA constructions
  
  Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini
  
  IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
  
  ISBN: 978-1-57735-633-2
  
  Publication Publication Publication Publication Projet
- Automatically Generating Problems and Solutions for Natural Deduction
  
  Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
  
  IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
  
  ISBN: 978-1-57735-633-2
  
  Publication Publication Projet Projet
- Recursive Program Synthesis
  
  Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
  
  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
  
  Publication Publication Publication Projet
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  Publication Publication Publication Publication Projet Projet
- SmartSynth: synthesizing smartphone automation scripts from natural language
  
  Vu Le, Sumit Gulwani, Zhendong Su
  
  MobiSys'13 | June 2013
  
  PDF DOI Vidéo Projet
- Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths
  
  Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
  
  PLDI'13, June 16-19, 2013, Seattle, WA, USA | June 2013
  
  Distinguished Paper Award
  
  Publication
- A Machine Learning Framework for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
  
  PDF PDF Publication Projet Projet
- Teaching and Learning Programming and Software Engineering via Interactive Gaming
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
  
  ICSE '13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
  
  ISBN: 978-1-4673-3076-3
  
  Publication Projet
- A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
  
  Sumit Gulwani, Erik Andersen, Zoran Popović
  
  CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
  
  Publication Publication Projet Projet Projet
- Biological Synthesis
  
  Sumit Gulwani
  
  April 2013
  
  Publication Publication
- From Relational Verification to SIMD Loop Synthesis
  
  Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
  
  PPoPP '13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
  
  Best Paper Award & CACM Highlight Nomination
  
  Publication Publication Projet
- Keyword Programming for TouchDevelop
  
  Sumit Gulwani, Jonathan "Peli" de Halleux
  
  Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
  
  Publication Projet
- Textual Features for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | September 2012
  
  Publication Publication
- Continuity and Robustness of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  Cummunications of the ACM, Research Highlights | August 2012
  
  Publication Publication Publication
- Learning Semantic String Transformations from Examples
  
  Rishabh Singh, Sumit Gulwani
  
  PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
  
  Publication Publication Vidéo Projet
- Synthesizing Number Transformations from Input-Output Examples
  
  Rishabh Singh, Sumit Gulwani
  
  24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
  
  Publication Publication Publication Vidéo Projet
- Type-Directed Completion of Partial Expressions
  
  Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
  
  PLDI'12, June 11-16, 2012, Beijing, China | June 2012
  
  Publication Publication Projet
- QuickDraw: Improving Drawing Experience for Geometric Diagrams
  
  Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.
  
  CHI'12, May 5-10, 2012, Austin, Texas, USA | May 2012
  
  Publication Publication Projet
- Automatically Generating Algebra Problems
  
  Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
  
  AAAI | April 2012
  
  AAAI
  
  Publication Publication Projet Projet
- Synthesis from Examples
  
  Sumit Gulwani
  
  February 2012, Vol 10(2)
  
  Publication Projet
- Template-Based Program Verification and Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
  
  International Journal on Software Tools for Technology Transfer | January 2012, Vol 15(5): pp. 497-518
  
  Publication Publication Publication Projet
- Spreadsheet Data Manipulation using Examples
  
  Sumit Gulwani, William R. Harris, Rishabh Singh
  
  January 2012
  
  Invited to CACM Research Highlights
  
  Publication Publication Vidéo Projet Projet
- Synthesis from Examples: Interaction Models and Algorithms
  
  Sumit Gulwani
  
  14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
  
  Publication Publication Projet
- Bound Analysis of Imperative Programs with the Size-change Abstraction
  
  Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
  
  18th International Static Analysis Symposium, SAS 2011, Venice, Italy, September 14-16, 2011 | September 2011
  
  Publication Publication Publication Vidéo Projet
- Proving Programs Robust
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara Navidpour
  
  ESEC/FSE'11, September 5-9, 2011, Szeged, Hungary | September 2011
  
  Distinguished Paper Award, Invited to CACM Research Highlights
  
  Publication Publication
- Path-based Inductive Synthesis for Program Inversion
  
  Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  Publication Publication Projet
- Synthesis of Loop-Free Programs
  
  Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  Publication Publication Projet
- Synthesizing Geometry Constructions
  
  Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  Publication Publication Projet
- Spreadsheet Table Transformations from Examples
  
  Bill Harris, Sumit Gulwani
  
  PLDI 2011 | June 2011
  
  Publication Publication
- Automating String Processing in Spreadsheets using Input-Output Examples
  
  Sumit Gulwani
  
  PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
  
  Most Influential POPL Paper Award
  
  Publication Publication Publication Vidéo Vidéo Vidéo Projet Projet
- A Simple Inductive Synthesis Methodology and its Applications
  
  Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
  
  OOPSLA/SPLASH'10, October 17-21, 2010, Reno/Tahoe, Nevada, USA | October 2010
  
  Publication Projet
- The Reachability-Bound Problem
  
  Sumit Gulwani, Florian Zuleger
  
  PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
  
  Publication Projet
- Oracle-Guided Component-Based Program Synthesis
  
  Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
  
  ICSE '10, May 2-8 2010, Cape Town, South Africa | May 2010
  
  Publication Vidéo Projet
- Synthesizing Switching Logic for Safety and Dwell-Time Requirement
  
  Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
  
  ICCPS '10, April 13-15, 2010, Stockholm, Germany | April 2010
  
  Publication Publication Projet
- Continuity Analysis of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  Publication Publication
- From Program Verification to Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  Publication Publication Vidéo Projet Projet
- Dimensions in Program Synthesis
  
  Sumit Gulwani
  
  PPDP '10 Hagenberg, Austria | January 2010
  
  Publication Publication Projet
- The Reachability-Bound Problem
  
  Sumit Gulwani
  
  MSR-TR-2009-146 | October 2009
  
  Publication
- Bound Analysis using Backward Symbolic Execution
  
  Sumit Gulwani, Sudeep Juvekar
  
  MSR-TR-2009-156 | October 2009
  
  Publication
- Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
  
  Sumit Gulwani
  
  Oregon Summer School | July 2009
  
  Publication Publication Publication Publication Vidéo Vidéo Vidéo Projet
- SPEED: Symbolic Complexity Bound Analysis
  
  Sumit Gulwani
  
  Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
  
  Publication Publication Publication Projet
- VS3: SMT Solvers for Program Verification
  
  Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
  
  CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009
  
  Publication Publication Publication Projet
- Control-flow Refinement and Progress Invariants for Bound Analysis
  
  Sumit Gulwani, Sagar Jain, Eric Koskinen
  
  PLDI '09 Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2009
  
  Publication Projet
- Program Verification using Templates over Predicate Abstraction
  
  Saurabh Srivastava, Sumit Gulwani
  
  PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
  
  Publication Publication Projet
- Component Based Synthesis Applied to Bitvector Circuits
  
  Sumit Gulwani, Ramarathnam Venkatesan
  
  MSR-TR-2010-12 | April 2009
  
  Publication
- A Combination Framework for Tracking Partition Sizes
  
  Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
  
  POPL'09, January 18-24, 2009, Savannah, Georgia, USA | January 2009
  
  Publication Publication Publication Projet Projet
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  Publication Publication Projet
- Constraint-Based Invariant Inference Over Predicate Abstraction
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
  
  Publication Publication Publication Projet
- Synthesizing Switching Logic Using Constraint Solving
  
  Ankur Taly, Sumit Gulwani, Ashish Tiwari
  
  VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
  
  Publication Publication Publication Publication Projet Projet
- A Combination Framework for Tracking Partition Sizes
  
  Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
  
  MSR-TR-2008-158 | October 2008
  
  Publication Publication
- A Numerical Abstract Domain based on Expression Abstraction and Max Operator with Application in Timing Analysis
  
  Bhargav S. Gulavani, Sumit Gulwani
  
  CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
  
  Publication Publication Publication Projet
- Proving Conditional Termination
  
  Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
  
  CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
  
  Publication Publication
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  Publication Publication
- Program Analysis as Constraint Solving
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  Publication Publication Projet
- Cover Algorithms and their Combination
  
  Sumit Gulwani, Madan Musuvathi
  
  ESOP'08/ETAPS'08 Proceedings of the Theory and Practice of Software, 17th European conference on Programming Languages and Systems | March 2008
  
  ISBN: 3-540-78738-0 978-3-540-78738-9
  
  Publication Publication
- Logical Abstract Interpretation
  
  Sumit Gulwani
  
  Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
  
  Publication Projet
- Lifting Abstract Interpreters to Quantified Logical Domains
  
  Sumit Gulwani, Bill McCloskey, Ashish Tiwari
  
  POPL'08, January 7-12, 2008, San Francisco, California, USA | January 2008
  
  Publication Publication Publication Projet
- Constraint-Based Approach for Analysis of Hybrid Systems
  
  Sumit Gulwani, Ashish Tiwari
  
  Computer Aided Verification (CAV) | January 2008
  
  Publication Publication Projet
- Ranking Abstractions
  
  Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
  
  Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008
  
  Publication Publication Publication Publication
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  MSR-TR-2007-111 | August 2007
  
  Publication
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
  
  Sumit Gulwani, Ashish Tiwari
  
  CAV'07 Proceedings of the 19th International Conference on Computer Aided Verification | July 2007
  
  ISBN: 978-3-540-73367-6
  
  Publication Publication Publication
- Computing Procedure Summaries for Interprocedural Analysis
  
  Sumit Gulwani, Ashish Tiwari
  
  ESOP'07 Proceedings of the 16th European Symposium on Programming | March 2007
  
  ISBN: 978-3-540-71314-2
  
  Publication Publication Projet
- Program Verification as Probabilistic Inference
  
  Sumit Gulwani, Nebojsa Jojic
  
  POPL'07 January 17-19, 2007, Nice, France. | January 2007
  
  Publication Publication
- Assertion Checking Unified
  
  Sumit Gulwani, Ashish Tiwari
  
  8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
  
  Publication Publication Publication Projet
- Static Analysis of Heap-Manipulating Low-Level Software
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-160 | November 2006
  
  Publication
- Assertion Checking Unified
  
  Sumit Gulwani, Asish Tiwari
  
  MSR-TR-2006-99 | July 2006
  
  Publication
- Combining Abstract Interpreters
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-25 | March 2006
  
  Publication Publication Projet
- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-01 | January 2006
  
  European Symposium on Programming 2006
  
  Publication Publication Projet
- Program Analysis using Random Interpretation
  
  Sumit Gulwani
  
  September 2005
  
  Thèse de doctorat : PhD Dissertation, University of California, Berkeley | September 2005
  
  ACM SIGPLAN Doctoral Dissertation Award
  
  Publication Publication Projet
- A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols
  
  Sumit Gulwani, George C. Necula
  
  Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131
  
  Publication Publication Publication Publication Projet
- Precise Interprocedural Analysis using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
  
  Publication Publication Projet
- Join Algorithms for the Theory of Uninterpreted Functions
  
  Sumit Gulwani, Ashish Tiwari, George C. Necula
  
  FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science | December 2004
  
  Publication Publication Publication Projet
- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
  
  Sumit Gulwani, George C. Necula
  
  Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 | August 2004
  
  Publication Publication Publication Projet
- Global Value Numbering using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
  
  Publication Publication Projet
- A Polynomial-Time Algorithm for Global Value Numbering
  
  Sumit Gulwani, George C. Necula
  
  Static Analysis Symposium (SAS), 2004 | January 2004
  
  Publication Publication Publication Projet
- Discovering Affine Equalities using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
  
  Publication Publication Projet
- WebCaL – A Domain Specific Language for Web Caching
  
  Sumit Gulwani, Asha Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto , Charles Consel, Gilles Muller
  
  Computer Communications | January 2000
  
  Publication Publication

- STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with Feedback
  
  Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
  
  July 2025
  
  Preprint
- Sharp Tools: How Developers Wield Agentic AI in Real Software Engineering Tasks
  
  Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
  
  June 2025
  
  DOI Publication
- TeCoFeS: Text Column Featurization using Semantic Analysis
  
  Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
  
  NAACL 2025 | April 2025
  
  Publication
- An Empirical Study of Validating Synthetic Data for Formula Generation
  
  Usneek Singh, J. Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
  
  NAACL 2025 | April 2025
  
  DOI Publication
- Execution-guided within-prompt search for programming-by-example
  
  Gust Verbruggen, Ashish Tiwari, Mukul Singh, Vu Le, Sumit Gulwani
  
  ICLR 2025 | April 2025
  
  Publication
- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
  
  Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
  
  ArXiv | February 2025, Vol abs/2502.09787
  
  DOI Publication
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Publié par Microsoft
  
  Publication Projet Projet
- METAREFLECTION: Learning Instructions for Language Agents using Past Reflections
  
  Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
  
  EMNLP'24 | October 2024
  
  Publication
- One-to-many testing for code generation from (just) natural language
  
  Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
  
  Findings of EMNLP 2024 | September 2024
  
  Publication
- RAR: Retrieval Augmented Retrieval for Code Generation in Low Resource Languages
  
  Avik Dutta, Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  EMNLP 2024 | September 2024
  
  Publication
- Tabularis Revilio: Converting Text to Tables
  
  Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  CIKM '24: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management | August 2024
  
  Publication
- Let’s Fix this Together: Conversational Debugging with GitHub Copilot
  
  Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Sumit Gulwani, Dustin Coleman, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
  
  IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | August 2024
  
  Best Research Paper Award
  
  Publication
- RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations
  
  Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
  
  AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024
  
  Best Paper Presentation Award
  
  Publication DOI
- Semantically Aligned Question and Code Generation for Automated Insight Generation
  
  Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen
  
  LLM4Code Workshop at ICSE '24 | April 2024
  
  Best Paper
  
  Publication
- EmFORE: Learning Email Folder Classification Rules by Demonstration
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  38th Annual AAAI Conference on Artificial Intelligence - Demo Track | March 2024, pp. 23835-23837
  
  Publication DOI Vidéo
- 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 Pădurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares
  
  International Learning Analytics and Knowledge Conference | March 2024
  
  Publication
- 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
  
  NAACL: Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing | February 2024
  
  DOI Publication
- FLAME: A Small Language Model for Spreadsheet Formulas
  
  Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
  
  AAAI | February 2024
  
  Publication
- PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
  
  Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
  
  Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) | January 2024
  
  Publication
- Assessing GPT4-V on Structured Reasoning Tasks
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  Preprint | December 2023
  
  Publication Preprint
- Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs
  
  Ananya Singha, José Cambronero, Sumit Gulwani, Vu Le, Chris Parnin
  
  Table Representation Learning Workshop at NeurIPS 2023 | December 2023
  
  Publication Publication
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- TSTR: Target Similarity Tuning Meets the Real World
  
  Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen
  
  Findings of EMNLP 2023 | November 2023
  
  Publication Vidéo
- CODEFUSION: A Pre-trained Diffusion Model for Code Generation
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen, Carina Negreanu
  
  EMNLP 2023 | November 2023
  
  Publication Vidéo
- FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
  
  50th International Conference on Very Large Data Bases (VLDB 24) | October 2023
  
  Publication
- EmFore: Online Learning of Email Folder Classification Rules
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  CIKM '23: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management | October 2023
  
  Publication DOI Vidéo
- 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
  
  Conference on International Computing Education Research | September 2023
  
  Publication
- DataVinci: Learning Syntactic and Semantic String Repairs
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
  
  Preprint | August 2023
  
  Publication Preprint
- Demonstration of CORNET: Learning Spreadsheet Formatting Rules by Example
  
  Mukul Singh, José Cambronero, Carina Negreanu, Sumit Gulwani, Gust Verbruggen
  
  49th International Conference on Very Large Data Bases - Demo Track | August 2023
  
  Publication DOI Vidéo
- Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models
  
  Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adisha Singla, Gustavo Soares
  
  International Conference on Educational Data Mining | July 2023
  
  Publication
- 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
  
  SIGMOD | June 2023
  
  Publication
- From Words to Code: Harnessing Data for Program Synthesis from Natural Language
  
  Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari
  
  May 2023
  
  Publication
- Cornet: Learning Table Formatting Rules By Example
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
  
  49th International Conference on Very Large Data Bases | May 2023
  
  Publication DOI Vidéo
- Repair Is Nearly Generation: Multilingual Program Repair with LLMs
  
  Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
  
  February 2023
  
  Publié par : AAAI | February 2023
  
  Publication
- Personalized Action Suggestions in Low-Code Automation Platforms
  
  Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le
  
  International Conference on Software Engineering (ICSE) 2023 - Industry Track | December 2022
  
  Publication DOI
- Overwatch: Learning Patterns in Code Edit Sequences
  
  Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
  
  OOPSLA: Proceedings of the ACM on Programming Languages | October 2022
  
  Publication Projet
- Repairing Bugs in Python Assignments using Large Language Models
  
  Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
  
  September 2022
  
  Publication
- Synchromesh: Reliable code generation from pre-trained language models
  
  Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Chris Meek, Sumit Gulwani
  
  ICLR 2022 | April 2022
  
  Publication PDF Projet
- Storytelling and Science
  
  Titus Barik, Sumit Gulwani, Mario Juarez
  
  March 2022
  
  Publication
- Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
  
  Kia Rahmani, Mohammad Raza (moraza), Sumit Gulwani (sumitg), Vu Le (levu), Dan Morris (damorri), Arjun Radhakrishna (arradha), Gustavo Soares (gsoares), Ashish Tiwari (astiwar)
  
  OOPSLA | October 2021
  
  Publication
- Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
  
  Proceedings of the 2021 International Conference on Management of Data | June 2021
  
  DOI Publication Publication
- An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction
  
  Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
  
  International Conference on Pattern Recognition | October 2020
  
  PDF Publication Projet Projet
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication Vidéo Vidéo Projet
- Programming by Rewards
  
  Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
  
  July 2020
  
  Publication
- Web data extraction using hybrid program synthesis: a combination of top-down and bottom-up inference
  
  Mohammad Raza, Sumit Gulwani
  
  SIGMOD (Special Interest Group on Management of Data) | June 2020
  
  Publication Projet Projet Projet
- On the fly synthesis of edit suggestions
  
  Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2019
  
  PDF DOI Vidéo Projet Projet
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  Dependable Software Systems Engineering | Publié par IOS Press | 2019
  
  Publication Projet
- Learning Natural Programs from a Few Examples in Real-Time
  
  Nagarajan Natarajan, Danny Simmons, Naren Datha (narend), Prateek Jain, Sumit Gulwani
  
  AIStats | January 2019
  
  Publication Projet
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  Publication Projet Projet
- Compilation Error Repair: For the Student Programs, From the Student Programs
  
  Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
  
  40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
  
  Publication Publication Projet Projet
- Disjunctive Program Synthesis: A Robust Approach to Programming by Example
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2018 | February 2018
  
  Publication Projet Projet
- Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
  
  Ashwin Kalyan, Abhishek Mohta, Alex Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani
  
  6th International Conference on Learning Representations (ICLR) | January 2018
  
  Publication Projet
- Automatic Diagnosis of Students’ Misconceptions in K-8 Mathematics
  
  Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
  
  2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
  
  Publication Projet Projet
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  APLAS 2017 | October 2017
  
  Publication Projet
- Program Synthesis
  
  Sumit Gulwani, Alex Polozov, Rishabh Singh
  
  Foundations and Trends in Programming Languages
  
  Published by NOW | August 2017, Vol 4
  
  Publication Projet
- Research for Practice: Programming by Examples
  
  Sumit Gulwani
  
  Research for Practice, CACM | July 2017, Vol 60: pp. 46-49
  
  Publication Projet
- Learning to Learn Programs from Examples: Going Beyond Program Structure
  
  Kevin Ellis, Sumit Gulwani
  
  IJCAI 2017 | May 2017
  
  Publication Projet
- Automated Data Extraction using Predictive Program Synthesis
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2017 | February 2017
  
  Publication Projet Projet Projet
- Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games
  
  Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
  
  AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015
  
  ISBN: 0-262-51129-0
  
  Publication Publication Projet
- Feedback Generation for Performance Problems in Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radiček, Florian Zuleger
  
  SIGSOFT/FSE'14, November 16 - 22 2014, Hong Kong, China | November 2014
  
  Publication Publication Projet
- Programming by Example using Least General Generalizations
  
  Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
  
  July 2014
  
  Publication Publication Vidéo Projet
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
  
  Publication Publication Vidéo Projet
- Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning
  
  Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
  
  19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings | December 2013
  
  Publication Publication
- Automated Grading of DFA constructions
  
  Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini
  
  IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
  
  ISBN: 978-1-57735-633-2
  
  Publication Publication Publication Publication Projet
- Automatically Generating Problems and Solutions for Natural Deduction
  
  Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
  
  IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
  
  ISBN: 978-1-57735-633-2
  
  Publication Publication Projet Projet
- Recursive Program Synthesis
  
  Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
  
  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
  
  Publication Publication Publication Projet
- Spreadsheet Table Transformations from Examples
  
  Bill Harris, Sumit Gulwani
  
  PLDI 2011 | June 2011
  
  Publication Publication
- A Simple Inductive Synthesis Methodology and its Applications
  
  Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
  
  OOPSLA/SPLASH'10, October 17-21, 2010, Reno/Tahoe, Nevada, USA | October 2010
  
  Publication Projet
- Oracle-Guided Component-Based Program Synthesis
  
  Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
  
  ICSE '10, May 2-8 2010, Cape Town, South Africa | May 2010
  
  Publication Vidéo Projet
- Synthesizing Switching Logic for Safety and Dwell-Time Requirement
  
  Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
  
  ICCPS '10, April 13-15, 2010, Stockholm, Germany | April 2010
  
  Publication Publication Projet
- TeCoFeS: Text Column Featurization using Semantic Analysis
  
  Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
  
  NAACL 2025 | April 2025
  
  Publication
- An Empirical Study of Validating Synthetic Data for Formula Generation
  
  Usneek Singh, J. Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
  
  NAACL 2025 | April 2025
  
  DOI Publication
- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
  
  Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
  
  ArXiv | February 2025, Vol abs/2502.09787
  
  DOI Publication
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Publié par Microsoft
  
  Publication Projet Projet
- One-to-many testing for code generation from (just) natural language
  
  Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
  
  Findings of EMNLP 2024 | September 2024
  
  Publication
- RAR: Retrieval Augmented Retrieval for Code Generation in Low Resource Languages
  
  Avik Dutta, Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  EMNLP 2024 | September 2024
  
  Publication
- Tabularis Revilio: Converting Text to Tables
  
  Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  CIKM '24: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management | August 2024
  
  Publication
- EmFORE: Learning Email Folder Classification Rules by Demonstration
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  38th Annual AAAI Conference on Artificial Intelligence - Demo Track | March 2024, pp. 23835-23837
  
  Publication DOI Vidéo
- Assessing GPT4-V on Structured Reasoning Tasks
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  Preprint | December 2023
  
  Publication Preprint
- FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
  
  50th International Conference on Very Large Data Bases (VLDB 24) | October 2023
  
  Publication
- DataVinci: Learning Syntactic and Semantic String Repairs
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
  
  Preprint | August 2023
  
  Publication Preprint
- Demonstration of CORNET: Learning Spreadsheet Formatting Rules by Example
  
  Mukul Singh, José Cambronero, Carina Negreanu, Sumit Gulwani, Gust Verbruggen
  
  49th International Conference on Very Large Data Bases - Demo Track | August 2023
  
  Publication DOI Vidéo
- 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
  
  SIGMOD | June 2023
  
  Publication
- Cornet: Learning Table Formatting Rules By Example
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
  
  49th International Conference on Very Large Data Bases | May 2023
  
  Publication DOI Vidéo
- An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction
  
  Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
  
  International Conference on Pattern Recognition | October 2020
  
  PDF Publication Projet Projet
- ExTuNe: Explaining Tuple Non-conformance
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
  
  2020 International Conference on Management of Data | June 2020
  
  DOI PDF Publication Vidéo
- Web data extraction using hybrid program synthesis: a combination of top-down and bottom-up inference
  
  Mohammad Raza, Sumit Gulwani
  
  SIGMOD (Special Interest Group on Management of Data) | June 2020
  
  Publication Projet Projet Projet
- 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
  
  ACM CHI Conference on Human Factors in Computing Systems | April 2020
  
  Best Paper Award
  
  Publication Projet
- FlashProfile: Interactive Synthesis of Syntactic Profiles
  
  Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Milstein
  
  arXiv preprint | September 2017, Vol arXiv:1709.05725
  
  Publication Publication Projet
- Automatic Game Progression Design through Analysis of Solution Features
  
  Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popović
  
  CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
  
  Publication Publication
- A Framework for Automatically Generating Interactive Instructional Scaffolding
  
  Eleanor O’Rourke, Erik Andersen, Sumit Gulwani, Zoran Popović
  
  CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
  
  Publication Publication Vidéo
- How Can Automatic Feedback Help Students Construct Automata?
  
  Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
  
  ACM Transactions on Computer-Human Interaction (TOCHI) - Special Issue on Online Learning at Scale | April 2015, Vol 22(2)
  
  Publication Publication Projet
- Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games
  
  Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
  
  AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015
  
  ISBN: 0-262-51129-0
  
  Publication Publication Projet
- LaSEWeb: Automating Search Strategies over Semi-structured Web Data
  
  Alex Polozov, Sumit Gulwani
  
  20th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) | August 2014
  
  Publication
- FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
  
  Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
  
  PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
  
  Distinguished Artifact Award
  
  Publication Vidéo Projet Projet
- A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
  
  Sumit Gulwani, Erik Andersen, Zoran Popović
  
  CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
  
  Publication Publication Projet Projet Projet
- A Combination Framework for Tracking Partition Sizes
  
  Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
  
  MSR-TR-2008-158 | October 2008
  
  Publication Publication
- Sharp Tools: How Developers Wield Agentic AI in Real Software Engineering Tasks
  
  Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
  
  June 2025
  
  DOI Publication
- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
  
  Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
  
  ArXiv | February 2025, Vol abs/2502.09787
  
  DOI Publication
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Publié par Microsoft
  
  Publication Projet Projet
- Let’s Fix this Together: Conversational Debugging with GitHub Copilot
  
  Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Sumit Gulwani, Dustin Coleman, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
  
  IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | August 2024
  
  Best Research Paper Award
  
  Publication
- RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations
  
  Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
  
  AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024
  
  Best Paper Presentation Award
  
  Publication DOI
- 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
  
  NAACL: Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing | February 2024
  
  DOI Publication
- Overwatch: Learning Patterns in Code Edit Sequences
  
  Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
  
  OOPSLA: Proceedings of the ACM on Programming Languages | October 2022
  
  Publication Projet
- 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
  
  UIST 2021 | October 2021
  
  Publication
- 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
  
  ACM CHI Conference on Human Factors in Computing Systems | April 2020
  
  Best Paper Award
  
  Publication Projet
- On the fly synthesis of edit suggestions
  
  Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2019
  
  PDF DOI Vidéo Projet Projet
- Automatic Diagnosis of Students’ Misconceptions in K-8 Mathematics
  
  Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
  
  2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
  
  Publication Projet Projet
- User Interaction Models for Disambiguation in Programming by Example
  
  Mikaël Mayer, Gustavo Soares (gsoares), Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
  
  ACM Symposium on User Interface Software and Technology (UIST) 2015 | November 2015
  
  Publication Projet Projet Projet
- Personalized Mathematical Word Problem Generation
  
  Alex Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
  
  24th International Joint Conference on Artificial Intelligence (IJCAI) | July 2015
  
  Publication
- 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 Conference on Human Factors in Information Systems | April 2015
  
  CHI 2015 Conference on Human Factors in Information Systems
  
  Publication Publication Vidéo
- Programming by Example using Least General Generalizations
  
  Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
  
  July 2014
  
  Publication Publication Vidéo Projet
- A Practical Framework for Constructing Structured Drawings
  
  Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.
  
  IUI'14, February 24 - 27 2014, Haifa, Israel | February 2014
  
  Publication Publication Publication
- WebCaL – A Domain Specific Language for Web Caching
  
  Sumit Gulwani, Asha Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto , Charles Consel, Gilles Muller
  
  Computer Communications | January 2000
  
  Publication Publication
- Sharp Tools: How Developers Wield Agentic AI in Real Software Engineering Tasks
  
  Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
  
  June 2025
  
  DOI Publication
- TeCoFeS: Text Column Featurization using Semantic Analysis
  
  Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
  
  NAACL 2025 | April 2025
  
  Publication
- An Empirical Study of Validating Synthetic Data for Formula Generation
  
  Usneek Singh, J. Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
  
  NAACL 2025 | April 2025
  
  DOI Publication
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Publié par Microsoft
  
  Publication Projet Projet
- One-to-many testing for code generation from (just) natural language
  
  Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
  
  Findings of EMNLP 2024 | September 2024
  
  Publication
- RAR: Retrieval Augmented Retrieval for Code Generation in Low Resource Languages
  
  Avik Dutta, Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  EMNLP 2024 | September 2024
  
  Publication
- Tabularis Revilio: Converting Text to Tables
  
  Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  CIKM '24: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management | August 2024
  
  Publication
- Let’s Fix this Together: Conversational Debugging with GitHub Copilot
  
  Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Sumit Gulwani, Dustin Coleman, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
  
  IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | August 2024
  
  Best Research Paper Award
  
  Publication
- RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations
  
  Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
  
  AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024
  
  Best Paper Presentation Award
  
  Publication DOI
- EmFORE: Learning Email Folder Classification Rules by Demonstration
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  38th Annual AAAI Conference on Artificial Intelligence - Demo Track | March 2024, pp. 23835-23837
  
  Publication DOI Vidéo
- 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 Pădurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares
  
  International Learning Analytics and Knowledge Conference | March 2024
  
  Publication
- 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
  
  NAACL: Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing | February 2024
  
  DOI Publication
- PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
  
  Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
  
  Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) | January 2024
  
  Publication
- 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
  
  Technical Symposium on Computer Science Education | January 2024
  
  Publication
- Assessing GPT4-V on Structured Reasoning Tasks
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  Preprint | December 2023
  
  Publication Preprint
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- TSTR: Target Similarity Tuning Meets the Real World
  
  Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen
  
  Findings of EMNLP 2023 | November 2023
  
  Publication Vidéo
- FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
  
  50th International Conference on Very Large Data Bases (VLDB 24) | October 2023
  
  Publication
- EmFore: Online Learning of Email Folder Classification Rules
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  CIKM '23: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management | October 2023
  
  Publication DOI Vidéo
- DataVinci: Learning Syntactic and Semantic String Repairs
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
  
  Preprint | August 2023
  
  Publication Preprint
- Demonstration of CORNET: Learning Spreadsheet Formatting Rules by Example
  
  Mukul Singh, José Cambronero, Carina Negreanu, Sumit Gulwani, Gust Verbruggen
  
  49th International Conference on Very Large Data Bases - Demo Track | August 2023
  
  Publication DOI Vidéo
- 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
  
  SIGMOD | June 2023
  
  Publication
- From Words to Code: Harnessing Data for Program Synthesis from Natural Language
  
  Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari
  
  May 2023
  
  Publication
- Cornet: Learning Table Formatting Rules By Example
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
  
  49th International Conference on Very Large Data Bases | May 2023
  
  Publication DOI Vidéo
- Repair Is Nearly Generation: Multilingual Program Repair with LLMs
  
  Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
  
  February 2023
  
  Publié par : AAAI | February 2023
  
  Publication
- FlashFill++: Scaling Programming by Example by Cutting to the Chase
  
  José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
  
  Principles of Programming Languages | January 2023
  
  Publication
- Personalized Action Suggestions in Low-Code Automation Platforms
  
  Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le
  
  International Conference on Software Engineering (ICSE) 2023 - Industry Track | December 2022
  
  Publication DOI
- Neurosymbolic Repair for Low-Code Formula Languages
  
  Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
  
  OOPSLA | December 2022
  
  Publication
- NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis
  
  Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
  
  FSE | November 2022
  
  PDF
- Overwatch: Learning Patterns in Code Edit Sequences
  
  Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
  
  OOPSLA: Proceedings of the ACM on Programming Languages | October 2022
  
  Publication Projet
- Repairing Bugs in Python Assignments using Large Language Models
  
  Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
  
  September 2022
  
  Publication
- AI-assisted Programming | IJCAI-ECAI 2022 Keynote by Sumit Gulwani
  
  Sumit Gulwani
  
  August 2022
  
  Publication
- PROSE Research Fellowship Program
  
  Sumit Gulwani, Arjun Radhakrishna
  
  May 2022
  
  Publication
- Shaping the future with: Sumit Gulwani
  
  Sumit Gulwani
  
  March 2022
  
  Max Planck-Humboldt Medal 2021
  
  Publication
- Storytelling and Science
  
  Titus Barik, Sumit Gulwani, Mario Juarez
  
  March 2022
  
  Publication
- Semantic programming by example with pre-trained models
  
  Gust Verbruggen, Vu Le, Sumit Gulwani
  
  OOPSLA | October 2021
  
  Publication Projet
- Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
  
  Kia Rahmani, Mohammad Raza (moraza), Sumit Gulwani (sumitg), Vu Le (levu), Dan Morris (damorri), Arjun Radhakrishna (arradha), Gustavo Soares (gsoares), Ashish Tiwari (astiwar)
  
  OOPSLA | October 2021
  
  Publication
- APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
  
  Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
  
  OOPSLA | September 2021
  
  PDF
- Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
  
  Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
  
  2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE '21) | May 2021
  
  Publication Projet
- Structure interpretation of text formats
  
  Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | November 2020
  
  DOI PDF Author's Version Publication Publication Publication Vidéo Projet Projet Projet
- An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction
  
  Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
  
  International Conference on Pattern Recognition | October 2020
  
  PDF Publication Projet Projet
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication Vidéo Vidéo Projet
- Programming by Rewards
  
  Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
  
  July 2020
  
  Publication
- ExTuNe: Explaining Tuple Non-conformance
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
  
  2020 International Conference on Management of Data | June 2020
  
  DOI PDF Publication Vidéo
- Web data extraction using hybrid program synthesis: a combination of top-down and bottom-up inference
  
  Mohammad Raza, Sumit Gulwani
  
  SIGMOD (Special Interest Group on Management of Data) | June 2020
  
  Publication Projet Projet Projet
- 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
  
  ACM CHI Conference on Human Factors in Computing Systems | April 2020
  
  Best Paper Award
  
  Publication Projet
- On the fly synthesis of edit suggestions
  
  Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2019
  
  PDF DOI Vidéo Projet Projet
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  Dependable Software Systems Engineering | Publié par IOS Press | 2019
  
  Publication Projet
- Learning Natural Programs from a Few Examples in Real-Time
  
  Nagarajan Natarajan, Danny Simmons, Naren Datha (narend), Prateek Jain, Sumit Gulwani
  
  AIStats | January 2019
  
  Publication Projet
- FlashProfile: A Framework for Synthesizing Data Profiles
  
  Saswat Padhi, Daniel Perelman, Prateek Jain, Alex Polozov, Sumit Gulwani, Todd Millstein
  
  ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH - OOPSLA) | November 2018
  
  Publication Projet
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  Publication Projet Projet
- Compilation Error Repair: For the Student Programs, From the Student Programs
  
  Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
  
  40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
  
  Publication Publication Projet Projet
- Disjunctive Program Synthesis: A Robust Approach to Programming by Example
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2018 | February 2018
  
  Publication Projet Projet
- Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
  
  Ashwin Kalyan, Abhishek Mohta, Alex Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani
  
  6th International Conference on Learning Representations (ICLR) | January 2018
  
  Publication Projet
- Automatic Diagnosis of Students’ Misconceptions in K-8 Mathematics
  
  Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
  
  2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
  
  Publication Projet Projet
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  APLAS 2017 | October 2017
  
  Publication Projet
- FlashProfile: Interactive Synthesis of Syntactic Profiles
  
  Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Milstein
  
  arXiv preprint | September 2017, Vol arXiv:1709.05725
  
  Publication Publication Projet
- Program Synthesis
  
  Sumit Gulwani, Alex Polozov, Rishabh Singh
  
  Foundations and Trends in Programming Languages
  
  Published by NOW | August 2017, Vol 4
  
  Publication Projet
- Research for Practice: Programming by Examples
  
  Sumit Gulwani
  
  Research for Practice, CACM | July 2017, Vol 60: pp. 46-49
  
  Publication Projet
- Learning Syntactic Program Transformations from Examples
  
  Reudismam Rolim, Gustavo Soares (gsoares), Loris D'Antoni, Alex Polozov, Sumit Gulwani, Rohit Gheyi, Bjoern Hartmann
  
  39th International Conference on Software Engineering (ICSE) | May 2017
  
  Publication Publication Projet
- Learning to Learn Programs from Examples: Going Beyond Program Structure
  
  Kevin Ellis, Sumit Gulwani
  
  IJCAI 2017 | May 2017
  
  Publication Projet
- Interactive Program Synthesis
  
  Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
  
  arXiv preprint | March 2017, Vol arXiv:1703.03539
  
  Publication Projet
- Ringer: Web Automation by Demonstration
  
  Shaon Barman, Sarah Chasins, Ras Bodik, Sumit Gulwani
  
  OOPSLA 2016 | November 2016
  
  Publication Publication Projet
- FIDEX: Filtering Spreadsheet Data using Examples
  
  Xinyu Wang, Sumit Gulwani, Rishabh Singh
  
  OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
  
  Publication Projet
- Program Synthesis using Natural Language
  
  Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
  
  ICSE '16, Austin, TX, USA | May 2016
  
  Publication DOI
- Program Synthesis Using Natural Language
  
  Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
  
  ICSE '16 Proceedings of the 38th International Conference on Software Engineering | May 2016
  
  Publication DOI Projet
- Semi-Supervised Verified Feedback Generation
  
  Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
  
  March 2016
  
  Publication Projet
- Program Synthesis Using Stochastic Techniques
  
  Sumit Gulwani
  
  Communications of the ACM, Technical Perspective | February 2016, Vol 59(2): pp. 113
  
  Publication Publication Projet
- Spreadsheet Programming using Examples
  
  Sumit Gulwani
  
  Keynote at SEMS 2016 | January 2016
  
  Publication Projet
- Programming by Examples
  
  Sumit Gulwani
  
  Tutorial at PLDI 2016 | January 2016
  
  Publication
- Programming by Examples (and its Applications in Data Wrangling)
  
  Sumit Gulwani
  
  Verification and Synthesis of Correct and Secure Systems | January 2016
  
  Publication Projet
- Transforming Spreadsheet Data Types using Examples
  
  Rishabh Singh, Sumit Gulwani
  
  43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
  
  Publication Projet
- User Interaction Models for Disambiguation in Programming by Example
  
  Mikaël Mayer, Gustavo Soares (gsoares), Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
  
  ACM Symposium on User Interface Software and Technology (UIST) 2015 | November 2015
  
  Publication Projet Projet Projet
- Inductive Programming Meets the Real World
  
  Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Ben Zorn
  
  Communications of The ACM | November 2015
  
  Publication
- FlashMeta: A Framework for Inductive Program Synthesis
  
  Alex Polozov, Sumit Gulwani
  
  ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) 2015 | October 2015
  
  Publication Publication Publication Vidéo Projet
- Automating Grammar Comparison
  
  Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak
  
  OOPSLA 2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications | October 2015
  
  Publication Publication Publication
- Microsoft FlashMeta SDK A Framework for Creating Inductive Synthesizers
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  Publication
- Deductive Techniques for Synthesis from Inductive Specifications
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  Publication
- Applications of Inductive Programming in Data Wrangling
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  Publication
- Programming by Examples (and its applications in Data Wrangling)
  
  Sumit Gulwani
  
  Lectures at Marktoberdorf Summer School, Aug 2015 | August 2015
  
  Publication Publication Publication Publication Projet
- Personalized Mathematical Word Problem Generation
  
  Alex Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
  
  24th International Joint Conference on Artificial Intelligence (IJCAI) | July 2015
  
  Publication
- FlashNormalize: Programming by Examples for Text Normalization
  
  Dileep Kini, Sumit Gulwani
  
  IJCAI'15 Proceedings of the 24th International Conference on Artificial Intelligence | July 2015
  
  Publication Publication
- Data Wrangling using Programming by Examples
  
  Sumit Gulwani
  
  Invited talk at ECOOP | July 2015
  
  Publication Vidéo
- Automated Feedback and Recognition through Data Mining in Code Hunt
  
  Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman
  
  MSR-TR-2015-57 | July 2015
  
  Publication Projet Projet
- Predicting a Correct Program in Programming by Example
  
  Rishabh Singh, Sumit Gulwani
  
  27th International Conference on Computer Aided Verification (CAV 2015) | July 2015
  
  27th International Conference on Computer Aided Verification (CAV 2015)
  
  Publication Publication
- Building Bing Developer Assistant
  
  Yi Wei, Nirupama Chandrasekaran, Sumit Gulwani, Youssef Hamadi
  
  MSR-TR-2015-36 | May 2015
  
  Publication Vidéo
- Personalized Mathematical Word Problem Generation
  
  Oleksandr Polozov, Eleanor O’Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
  
  IJCAI 2015 | May 2015
  
  Publication Publication
- Compositional Program Synthesis from Natural Language and Examples
  
  Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
  
  IJCAI 2015 | May 2015
  
  Publication Publication
- How Can Automatic Feedback Help Students Construct Automata?
  
  Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
  
  ACM Transactions on Computer-Human Interaction (TOCHI) - Special Issue on Online Learning at Scale | April 2015, Vol 22(2)
  
  Publication Publication Projet
- Automating Repetitive Tasks for the Masses
  
  Sumit Gulwani
  
  POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  Publication Publication Publication Projet
- Automating Repetitive Tasks for the Masses
  
  Sumit Gulwani
  
  Keynote at POPL 2015 | January 2015
  
  Publication
- Programming by Examples applied to Data Wrangling
  
  Sumit Gulwani
  
  Invited talk at SYNT 2015 | January 2015
  
  Publication
- Applications of Formal Methods to Data Wrangling and Education
  
  Sumit Gulwani
  
  Keynote at CBSoft 2015 | January 2015
  
  Publication Publication Projet
- LaSEWeb: Automating Search Strategies over Semi-structured Web Data
  
  Alex Polozov, Sumit Gulwani
  
  20th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) | August 2014
  
  Publication
- Example-Based Learning in Computer-Aided STEM Education
  
  Sumit Gulwani
  
  Communications of the ACM | August 2014, Vol 57(8): pp. 70-80
  
  Publication Publication Publication Vidéo
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  Invited talk at GECCO 2014, Genetic Programming Track | July 2014
  
  Publication
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  GECCO'14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
  
  Publication Publication Publication Projet Projet
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
  
  Publication Publication Vidéo Projet
- Test-Driven Synthesis
  
  Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
  
  PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
  
  Publication Publication Publication Projet
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD '14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
  
  Publication Publication Vidéo
- Problem Generation and Feedback Generation
  
  Sumit Gulwani
  
  Invited talk at ASSESS 2014 | January 2014
  
  Publication
- Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning
  
  Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
  
  19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings | December 2013
  
  Publication Publication
- A Colorful Approach to Text Processing by Example
  
  Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
  
  PDF DOI Projet
- Automatically Generating Problems and Solutions for Natural Deduction
  
  Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
  
  IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
  
  ISBN: 978-1-57735-633-2
  
  Publication Publication Projet Projet
- Recursive Program Synthesis
  
  Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
  
  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
  
  Publication Publication Publication Projet
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  Publication Publication Publication Publication Projet Projet
- SmartSynth: synthesizing smartphone automation scripts from natural language
  
  Vu Le, Sumit Gulwani, Zhendong Su
  
  MobiSys'13 | June 2013
  
  PDF DOI Vidéo Projet
- Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths
  
  Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
  
  PLDI'13, June 16-19, 2013, Seattle, WA, USA | June 2013
  
  Distinguished Paper Award
  
  Publication
- A Machine Learning Framework for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
  
  PDF PDF Publication Projet Projet
- Teaching and Learning Programming and Software Engineering via Interactive Gaming
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
  
  ICSE '13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
  
  ISBN: 978-1-4673-3076-3
  
  Publication Projet
- Biological Synthesis
  
  Sumit Gulwani
  
  April 2013
  
  Publication Publication
- From Relational Verification to SIMD Loop Synthesis
  
  Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
  
  PPoPP '13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
  
  Best Paper Award & CACM Highlight Nomination
  
  Publication Publication Projet
- Keyword Programming for TouchDevelop
  
  Sumit Gulwani, Jonathan "Peli" de Halleux
  
  Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
  
  Publication Projet
- Textual Features for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | September 2012
  
  Publication Publication
- Learning Semantic String Transformations from Examples
  
  Rishabh Singh, Sumit Gulwani
  
  PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
  
  Publication Publication Vidéo Projet
- Synthesizing Number Transformations from Input-Output Examples
  
  Rishabh Singh, Sumit Gulwani
  
  24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
  
  Publication Publication Publication Vidéo Projet
- Type-Directed Completion of Partial Expressions
  
  Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
  
  PLDI'12, June 11-16, 2012, Beijing, China | June 2012
  
  Publication Publication Projet
- Template-Based Program Verification and Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
  
  International Journal on Software Tools for Technology Transfer | January 2012, Vol 15(5): pp. 497-518
  
  Publication Publication Publication Projet
- Spreadsheet Data Manipulation using Examples
  
  Sumit Gulwani, William R. Harris, Rishabh Singh
  
  January 2012
  
  Invited to CACM Research Highlights
  
  Publication Publication Vidéo Projet Projet
- Spreadsheet Table Transformations from Examples
  
  Bill Harris, Sumit Gulwani
  
  PLDI 2011 | June 2011
  
  Publication Publication
- The Reachability-Bound Problem
  
  Sumit Gulwani, Florian Zuleger
  
  PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
  
  Publication Projet
- Bound Analysis using Backward Symbolic Execution
  
  Sumit Gulwani, Sudeep Juvekar
  
  MSR-TR-2009-156 | October 2009
  
  Publication
- Program Verification using Templates over Predicate Abstraction
  
  Saurabh Srivastava, Sumit Gulwani
  
  PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
  
  Publication Publication Projet
- Control-flow Refinement and Progress Invariants for Bound Analysis
  
  Sumit Gulwani, Sagar Jain, Eric Koskinen
  
  PLDI '09 Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2009
  
  Publication Projet
- A Combination Framework for Tracking Partition Sizes
  
  Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
  
  POPL'09, January 18-24, 2009, Savannah, Georgia, USA | January 2009
  
  Publication Publication Publication Projet Projet
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  Publication Publication Projet
- Constraint-Based Invariant Inference Over Predicate Abstraction
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
  
  Publication Publication Publication Projet
- Proving Conditional Termination
  
  Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
  
  CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
  
  Publication Publication
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  Publication Publication
- Program Analysis as Constraint Solving
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  Publication Publication Projet
- Logical Abstract Interpretation
  
  Sumit Gulwani
  
  Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
  
  Publication Projet
- Constraint-Based Approach for Analysis of Hybrid Systems
  
  Sumit Gulwani, Ashish Tiwari
  
  Computer Aided Verification (CAV) | January 2008
  
  Publication Publication Projet
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  MSR-TR-2007-111 | August 2007
  
  Publication
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
  
  Sumit Gulwani, Ashish Tiwari
  
  CAV'07 Proceedings of the 19th International Conference on Computer Aided Verification | July 2007
  
  ISBN: 978-3-540-73367-6
  
  Publication Publication Publication
- Computing Procedure Summaries for Interprocedural Analysis
  
  Sumit Gulwani, Ashish Tiwari
  
  ESOP'07 Proceedings of the 16th European Symposium on Programming | March 2007
  
  ISBN: 978-3-540-71314-2
  
  Publication Publication Projet
- Assertion Checking Unified
  
  Sumit Gulwani, Ashish Tiwari
  
  8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
  
  Publication Publication Publication Projet
- Static Analysis of Heap-Manipulating Low-Level Software
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-160 | November 2006
  
  Publication
- Assertion Checking Unified
  
  Sumit Gulwani, Asish Tiwari
  
  MSR-TR-2006-99 | July 2006
  
  Publication
- Combining Abstract Interpreters
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-25 | March 2006
  
  Publication Publication Projet
- Program Analysis using Random Interpretation
  
  Sumit Gulwani
  
  September 2005
  
  Thèse de doctorat : PhD Dissertation, University of California, Berkeley | September 2005
  
  ACM SIGPLAN Doctoral Dissertation Award
  
  Publication Publication Projet
- Precise Interprocedural Analysis using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
  
  Publication Publication Projet
- Discovering Affine Equalities using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
  
  Publication Publication Projet
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Publié par Microsoft
  
  Publication Projet Projet
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Publié par Microsoft
  
  Publication Projet Projet
- Storytelling and Science
  
  Titus Barik, Sumit Gulwani, Mario Juarez
  
  March 2022
  
  Publication
- Building Bing Developer Assistant
  
  Yi Wei, Nirupama Chandrasekaran, Sumit Gulwani, Youssef Hamadi
  
  MSR-TR-2015-36 | May 2015
  
  Publication Vidéo
- LaSEWeb: Automating Search Strategies over Semi-structured Web Data
  
  Alex Polozov, Sumit Gulwani
  
  20th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) | August 2014
  
  Publication
- Interactive Program Synthesis
  
  Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
  
  arXiv preprint | March 2017, Vol arXiv:1703.03539
  
  Publication Projet
- FIDEX: Filtering Spreadsheet Data using Examples
  
  Xinyu Wang, Sumit Gulwani, Rishabh Singh
  
  OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
  
  Publication Projet
- Programming by Examples: Applications, Algorithms, and Ambiguity Resolution
  
  Sumit Gulwani
  
  Invited talk at IJCAR 2016 | June 2016
  
  Publication Publication Projet
- Programming by Examples: Applications, Ambiguity Resolutions, Approach
  
  Sumit Gulwani
  
  Lecture at UC-Berkeley | November 2015
  
  Publication
- Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games
  
  Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
  
  AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015
  
  ISBN: 0-262-51129-0
  
  Publication Publication Projet
- Automating Repetitive Tasks for the Masses
  
  Sumit Gulwani
  
  POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  Publication Publication Publication Projet
- Feedback Generation for Performance Problems in Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radiček, Florian Zuleger
  
  SIGSOFT/FSE'14, November 16 - 22 2014, Hong Kong, China | November 2014
  
  Publication Publication Projet
- Synthesis of Geometry Proof Problems
  
  Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
  
  AAAI'14 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence | July 2014
  
  Publication Publication Projet
- FlashExtract: a framework for data extraction by examples
  
  Vu Le, Sumit Gulwani
  
  2014 Programming Language Design and Implementation | June 2014
  
  DOI PDF PDF Publication Publication Publication Publication Vidéo Vidéo Projet Projet Projet Projet Projet
- A Practical Framework for Constructing Structured Drawings
  
  Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.
  
  IUI'14, February 24 - 27 2014, Haifa, Israel | February 2014
  
  Publication Publication Publication
- Recursive Program Synthesis
  
  Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
  
  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
  
  Publication Publication Publication Projet
- SmartSynth: synthesizing smartphone automation scripts from natural language
  
  Vu Le, Sumit Gulwani, Zhendong Su
  
  MobiSys'13 | June 2013
  
  PDF DOI Vidéo Projet
- A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
  
  Sumit Gulwani, Erik Andersen, Zoran Popović
  
  CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
  
  Publication Publication Projet Projet Projet
- Biological Synthesis
  
  Sumit Gulwani
  
  April 2013
  
  Publication Publication
- Continuity and Robustness of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  Cummunications of the ACM, Research Highlights | August 2012
  
  Publication Publication Publication
- Synthesis from Examples
  
  Sumit Gulwani
  
  February 2012, Vol 10(2)
  
  Publication Projet
- Synthesis from Examples: Interaction Models and Algorithms
  
  Sumit Gulwani
  
  14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
  
  Publication Publication Projet
- Bound Analysis of Imperative Programs with the Size-change Abstraction
  
  Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
  
  18th International Static Analysis Symposium, SAS 2011, Venice, Italy, September 14-16, 2011 | September 2011
  
  Publication Publication Publication Vidéo Projet
- Proving Programs Robust
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara Navidpour
  
  ESEC/FSE'11, September 5-9, 2011, Szeged, Hungary | September 2011
  
  Distinguished Paper Award, Invited to CACM Research Highlights
  
  Publication Publication
- Path-based Inductive Synthesis for Program Inversion
  
  Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  Publication Publication Projet
- Synthesis of Loop-Free Programs
  
  Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  Publication Publication Projet
- Synthesizing Geometry Constructions
  
  Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  Publication Publication Projet
- Automating String Processing in Spreadsheets using Input-Output Examples
  
  Sumit Gulwani
  
  PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
  
  Most Influential POPL Paper Award
  
  Publication Publication Publication Vidéo Vidéo Vidéo Projet Projet
- Continuity Analysis of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  Publication Publication
- From Program Verification to Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  Publication Publication Vidéo Projet Projet
- Dimensions in Program Synthesis
  
  Sumit Gulwani
  
  PPDP '10 Hagenberg, Austria | January 2010
  
  Publication Publication Projet
- Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
  
  Sumit Gulwani
  
  Oregon Summer School | July 2009
  
  Publication Publication Publication Publication Vidéo Vidéo Vidéo Projet
- VS3: SMT Solvers for Program Verification
  
  Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
  
  CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009
  
  Publication Publication Publication Projet
- SPEED: Symbolic Complexity Bound Analysis
  
  Sumit Gulwani
  
  Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
  
  Publication Publication Publication Projet
- Program Verification using Templates over Predicate Abstraction
  
  Saurabh Srivastava, Sumit Gulwani
  
  PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
  
  Publication Publication Projet
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  Publication Publication Projet
- Synthesizing Switching Logic Using Constraint Solving
  
  Ankur Taly, Sumit Gulwani, Ashish Tiwari
  
  VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
  
  Publication Publication Publication Publication Projet Projet
- Constraint-Based Invariant Inference Over Predicate Abstraction
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
  
  Publication Publication Publication Projet
- A Numerical Abstract Domain based on Expression Abstraction and Max Operator with Application in Timing Analysis
  
  Bhargav S. Gulavani, Sumit Gulwani
  
  CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
  
  Publication Publication Publication Projet
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  Publication Publication
- Program Analysis as Constraint Solving
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  Publication Publication Projet
- Cover Algorithms and their Combination
  
  Sumit Gulwani, Madan Musuvathi
  
  ESOP'08/ETAPS'08 Proceedings of the Theory and Practice of Software, 17th European conference on Programming Languages and Systems | March 2008
  
  ISBN: 3-540-78738-0 978-3-540-78738-9
  
  Publication Publication
- Lifting Abstract Interpreters to Quantified Logical Domains
  
  Sumit Gulwani, Bill McCloskey, Ashish Tiwari
  
  POPL'08, January 7-12, 2008, San Francisco, California, USA | January 2008
  
  Publication Publication Publication Projet
- Ranking Abstractions
  
  Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
  
  Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008
  
  Publication Publication Publication Publication
- Constraint-Based Approach for Analysis of Hybrid Systems
  
  Sumit Gulwani, Ashish Tiwari
  
  Computer Aided Verification (CAV) | January 2008
  
  Publication Publication Projet
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
  
  Sumit Gulwani, Ashish Tiwari
  
  CAV'07 Proceedings of the 19th International Conference on Computer Aided Verification | July 2007
  
  ISBN: 978-3-540-73367-6
  
  Publication Publication Publication
- Program Verification as Probabilistic Inference
  
  Sumit Gulwani, Nebojsa Jojic
  
  POPL'07 January 17-19, 2007, Nice, France. | January 2007
  
  Publication Publication
- Assertion Checking Unified
  
  Sumit Gulwani, Ashish Tiwari
  
  8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
  
  Publication Publication Publication Projet
- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-01 | January 2006
  
  European Symposium on Programming 2006
  
  Publication Publication Projet
- A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols
  
  Sumit Gulwani, George C. Necula
  
  Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131
  
  Publication Publication Publication Publication Projet
- Join Algorithms for the Theory of Uninterpreted Functions
  
  Sumit Gulwani, Ashish Tiwari, George C. Necula
  
  FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science | December 2004
  
  Publication Publication Publication Projet
- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
  
  Sumit Gulwani, George C. Necula
  
  Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 | August 2004
  
  Publication Publication Publication Projet
- Global Value Numbering using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
  
  Publication Publication Projet
- A Polynomial-Time Algorithm for Global Value Numbering
  
  Sumit Gulwani, George C. Necula
  
  Static Analysis Symposium (SAS), 2004 | January 2004
  
  Publication Publication Publication Projet
- Discovering Affine Equalities using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
  
  Publication Publication Projet
- QuickDraw: Improving Drawing Experience for Geometric Diagrams
  
  Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.
  
  CHI'12, May 5-10, 2012, Austin, Texas, USA | May 2012
  
  Publication Publication Projet
- Automatically Generating Algebra Problems
  
  Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
  
  AAAI | April 2012
  
  AAAI
  
  Publication Publication Projet Projet
- Synthesizing Geometry Constructions
  
  Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  Publication Publication Projet
- Program Synthesis Using Natural Language
  
  Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
  
  ICSE '16 Proceedings of the 38th International Conference on Software Engineering | May 2016
  
  Publication DOI Projet
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD '14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
  
  Publication Publication Vidéo
- The Reachability-Bound Problem
  
  Sumit Gulwani
  
  MSR-TR-2009-146 | October 2009
  
  Publication
- Component Based Synthesis Applied to Bitvector Circuits
  
  Sumit Gulwani, Ramarathnam Venkatesan
  
  MSR-TR-2010-12 | April 2009
  
  Publication

- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
  
  Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
  
  ArXiv | February 2025, Vol abs/2502.09787
  
  DOI Publication
- EmFORE: Learning Email Folder Classification Rules by Demonstration
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  38th Annual AAAI Conference on Artificial Intelligence - Demo Track | March 2024, pp. 23835-23837
  
  Publication DOI Vidéo
- Assessing GPT4-V on Structured Reasoning Tasks
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  Preprint | December 2023
  
  Publication Preprint
- DataVinci: Learning Syntactic and Semantic String Repairs
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
  
  Preprint | August 2023
  
  Publication Preprint
- Storytelling and Science
  
  Titus Barik, Sumit Gulwani, Mario Juarez
  
  March 2022
  
  Publication
- Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
  
  Proceedings of the 2021 International Conference on Management of Data | June 2021
  
  DOI Publication Publication
- FlashProfile: Interactive Synthesis of Syntactic Profiles
  
  Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Milstein
  
  arXiv preprint | September 2017, Vol arXiv:1709.05725
  
  Publication Publication Projet
- Research for Practice: Programming by Examples
  
  Sumit Gulwani
  
  Research for Practice, CACM | July 2017, Vol 60: pp. 46-49
  
  Publication Projet
- Interactive Program Synthesis
  
  Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
  
  arXiv preprint | March 2017, Vol arXiv:1703.03539
  
  Publication Projet
- Program Synthesis Using Stochastic Techniques
  
  Sumit Gulwani
  
  Communications of the ACM, Technical Perspective | February 2016, Vol 59(2): pp. 113
  
  Publication Publication Projet
- How Can Automatic Feedback Help Students Construct Automata?
  
  Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
  
  ACM Transactions on Computer-Human Interaction (TOCHI) - Special Issue on Online Learning at Scale | April 2015, Vol 22(2)
  
  Publication Publication Projet
- Example-Based Learning in Computer-Aided STEM Education
  
  Sumit Gulwani
  
  Communications of the ACM | August 2014, Vol 57(8): pp. 70-80
  
  Publication Publication Publication Vidéo
- Template-Based Program Verification and Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
  
  International Journal on Software Tools for Technology Transfer | January 2012, Vol 15(5): pp. 497-518
  
  Publication Publication Publication Projet
- A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols
  
  Sumit Gulwani, George C. Necula
  
  Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131
  
  Publication Publication Publication Publication Projet
- WebCaL – A Domain Specific Language for Web Caching
  
  Sumit Gulwani, Asha Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto , Charles Consel, Gilles Muller
  
  Computer Communications | January 2000
  
  Publication Publication
- Sharp Tools: How Developers Wield Agentic AI in Real Software Engineering Tasks
  
  Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
  
  June 2025
  
  DOI Publication
- TeCoFeS: Text Column Featurization using Semantic Analysis
  
  Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
  
  NAACL 2025 | April 2025
  
  Publication
- An Empirical Study of Validating Synthetic Data for Formula Generation
  
  Usneek Singh, J. Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
  
  NAACL 2025 | April 2025
  
  DOI Publication
- Execution-guided within-prompt search for programming-by-example
  
  Gust Verbruggen, Ashish Tiwari, Mukul Singh, Vu Le, Sumit Gulwani
  
  ICLR 2025 | April 2025
  
  Publication
- METAREFLECTION: Learning Instructions for Language Agents using Past Reflections
  
  Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
  
  EMNLP'24 | October 2024
  
  Publication
- One-to-many testing for code generation from (just) natural language
  
  Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
  
  Findings of EMNLP 2024 | September 2024
  
  Publication
- RAR: Retrieval Augmented Retrieval for Code Generation in Low Resource Languages
  
  Avik Dutta, Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  EMNLP 2024 | September 2024
  
  Publication
- Tabularis Revilio: Converting Text to Tables
  
  Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  CIKM '24: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management | August 2024
  
  Publication
- Let’s Fix this Together: Conversational Debugging with GitHub Copilot
  
  Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Sumit Gulwani, Dustin Coleman, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
  
  IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | August 2024
  
  Best Research Paper Award
  
  Publication
- RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations
  
  Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
  
  AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024
  
  Best Paper Presentation Award
  
  Publication DOI
- Semantically Aligned Question and Code Generation for Automated Insight Generation
  
  Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen
  
  LLM4Code Workshop at ICSE '24 | April 2024
  
  Best Paper
  
  Publication
- 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 Pădurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares
  
  International Learning Analytics and Knowledge Conference | March 2024
  
  Publication
- 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
  
  NAACL: Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing | February 2024
  
  DOI Publication
- FLAME: A Small Language Model for Spreadsheet Formulas
  
  Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
  
  AAAI | February 2024
  
  Publication
- PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
  
  Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
  
  Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) | January 2024
  
  Publication
- 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
  
  Technical Symposium on Computer Science Education | January 2024
  
  Publication
- Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs
  
  Ananya Singha, José Cambronero, Sumit Gulwani, Vu Le, Chris Parnin
  
  Table Representation Learning Workshop at NeurIPS 2023 | December 2023
  
  Publication Publication
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- TSTR: Target Similarity Tuning Meets the Real World
  
  Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen
  
  Findings of EMNLP 2023 | November 2023
  
  Publication Vidéo
- CODEFUSION: A Pre-trained Diffusion Model for Code Generation
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen, Carina Negreanu
  
  EMNLP 2023 | November 2023
  
  Publication Vidéo
- FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
  
  50th International Conference on Very Large Data Bases (VLDB 24) | October 2023
  
  Publication
- EmFore: Online Learning of Email Folder Classification Rules
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
  
  CIKM '23: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management | October 2023
  
  Publication DOI Vidéo
- 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
  
  Conference on International Computing Education Research | September 2023
  
  Publication
- Demonstration of CORNET: Learning Spreadsheet Formatting Rules by Example
  
  Mukul Singh, José Cambronero, Carina Negreanu, Sumit Gulwani, Gust Verbruggen
  
  49th International Conference on Very Large Data Bases - Demo Track | August 2023
  
  Publication DOI Vidéo
- Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models
  
  Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adisha Singla, Gustavo Soares
  
  International Conference on Educational Data Mining | July 2023
  
  Publication
- 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
  
  SIGMOD | June 2023
  
  Publication
- Cornet: Learning Table Formatting Rules By Example
  
  Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
  
  49th International Conference on Very Large Data Bases | May 2023
  
  Publication DOI Vidéo
- FlashFill++: Scaling Programming by Example by Cutting to the Chase
  
  José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
  
  Principles of Programming Languages | January 2023
  
  Publication
- Personalized Action Suggestions in Low-Code Automation Platforms
  
  Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le
  
  International Conference on Software Engineering (ICSE) 2023 - Industry Track | December 2022
  
  Publication DOI
- Neurosymbolic Repair for Low-Code Formula Languages
  
  Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
  
  OOPSLA | December 2022
  
  Publication
- NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis
  
  Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
  
  FSE | November 2022
  
  PDF
- Overwatch: Learning Patterns in Code Edit Sequences
  
  Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
  
  OOPSLA: Proceedings of the ACM on Programming Languages | October 2022
  
  Publication Projet
- AI-assisted Programming | IJCAI-ECAI 2022 Keynote by Sumit Gulwani
  
  Sumit Gulwani
  
  August 2022
  
  Publication
- Synchromesh: Reliable code generation from pre-trained language models
  
  Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Chris Meek, Sumit Gulwani
  
  ICLR 2022 | April 2022
  
  Publication PDF Projet
- 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
  
  UIST 2021 | October 2021
  
  Publication
- Semantic programming by example with pre-trained models
  
  Gust Verbruggen, Vu Le, Sumit Gulwani
  
  OOPSLA | October 2021
  
  Publication Projet
- Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
  
  Kia Rahmani, Mohammad Raza (moraza), Sumit Gulwani (sumitg), Vu Le (levu), Dan Morris (damorri), Arjun Radhakrishna (arradha), Gustavo Soares (gsoares), Ashish Tiwari (astiwar)
  
  OOPSLA | October 2021
  
  Publication
- APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
  
  Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
  
  OOPSLA | September 2021
  
  PDF
- Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
  
  Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
  
  2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE '21) | May 2021
  
  Publication Projet
- Structure interpretation of text formats
  
  Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | November 2020
  
  DOI PDF Author's Version Publication Publication Publication Vidéo Projet Projet Projet
- An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction
  
  Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
  
  International Conference on Pattern Recognition | October 2020
  
  PDF Publication Projet Projet
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication Vidéo Vidéo Projet
- ExTuNe: Explaining Tuple Non-conformance
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
  
  2020 International Conference on Management of Data | June 2020
  
  DOI PDF Publication Vidéo
- Web data extraction using hybrid program synthesis: a combination of top-down and bottom-up inference
  
  Mohammad Raza, Sumit Gulwani
  
  SIGMOD (Special Interest Group on Management of Data) | June 2020
  
  Publication Projet Projet Projet
- 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
  
  ACM CHI Conference on Human Factors in Computing Systems | April 2020
  
  Best Paper Award
  
  Publication Projet
- On the fly synthesis of edit suggestions
  
  Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2019
  
  PDF DOI Vidéo Projet Projet
- Learning Natural Programs from a Few Examples in Real-Time
  
  Nagarajan Natarajan, Danny Simmons, Naren Datha (narend), Prateek Jain, Sumit Gulwani
  
  AIStats | January 2019
  
  Publication Projet
- FlashProfile: A Framework for Synthesizing Data Profiles
  
  Saswat Padhi, Daniel Perelman, Prateek Jain, Alex Polozov, Sumit Gulwani, Todd Millstein
  
  ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH - OOPSLA) | November 2018
  
  Publication Projet
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  Publication Projet Projet
- Compilation Error Repair: For the Student Programs, From the Student Programs
  
  Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
  
  40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
  
  Publication Publication Projet Projet
- Disjunctive Program Synthesis: A Robust Approach to Programming by Example
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2018 | February 2018
  
  Publication Projet Projet
- Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
  
  Ashwin Kalyan, Abhishek Mohta, Alex Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani
  
  6th International Conference on Learning Representations (ICLR) | January 2018
  
  Publication Projet
- Automatic Diagnosis of Students’ Misconceptions in K-8 Mathematics
  
  Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
  
  2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
  
  Publication Projet Projet
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  APLAS 2017 | October 2017
  
  Publication Projet
- Learning Syntactic Program Transformations from Examples
  
  Reudismam Rolim, Gustavo Soares (gsoares), Loris D'Antoni, Alex Polozov, Sumit Gulwani, Rohit Gheyi, Bjoern Hartmann
  
  39th International Conference on Software Engineering (ICSE) | May 2017
  
  Publication Publication Projet
- Learning to Learn Programs from Examples: Going Beyond Program Structure
  
  Kevin Ellis, Sumit Gulwani
  
  IJCAI 2017 | May 2017
  
  Publication Projet
- Automated Data Extraction using Predictive Program Synthesis
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2017 | February 2017
  
  Publication Projet Projet Projet
- Ringer: Web Automation by Demonstration
  
  Shaon Barman, Sarah Chasins, Ras Bodik, Sumit Gulwani
  
  OOPSLA 2016 | November 2016
  
  Publication Publication Projet
- FIDEX: Filtering Spreadsheet Data using Examples
  
  Xinyu Wang, Sumit Gulwani, Rishabh Singh
  
  OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
  
  Publication Projet
- Programming by Examples: Applications, Algorithms, and Ambiguity Resolution
  
  Sumit Gulwani
  
  Invited talk at IJCAR 2016 | June 2016
  
  Publication Publication Projet
- Program Synthesis using Natural Language
  
  Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
  
  ICSE '16, Austin, TX, USA | May 2016
  
  Publication DOI
- Program Synthesis Using Natural Language
  
  Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
  
  ICSE '16 Proceedings of the 38th International Conference on Software Engineering | May 2016
  
  Publication DOI Projet
- Semi-Supervised Verified Feedback Generation
  
  Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
  
  March 2016
  
  Publication Projet
- Spreadsheet Programming using Examples
  
  Sumit Gulwani
  
  Keynote at SEMS 2016 | January 2016
  
  Publication Projet
- Programming by Examples
  
  Sumit Gulwani
  
  Tutorial at PLDI 2016 | January 2016
  
  Publication
- Programming by Examples (and its Applications in Data Wrangling)
  
  Sumit Gulwani
  
  Verification and Synthesis of Correct and Secure Systems | January 2016
  
  Publication Projet
- Transforming Spreadsheet Data Types using Examples
  
  Rishabh Singh, Sumit Gulwani
  
  43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
  
  Publication Projet
- User Interaction Models for Disambiguation in Programming by Example
  
  Mikaël Mayer, Gustavo Soares (gsoares), Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
  
  ACM Symposium on User Interface Software and Technology (UIST) 2015 | November 2015
  
  Publication Projet Projet Projet
- Programming by Examples: Applications, Ambiguity Resolutions, Approach
  
  Sumit Gulwani
  
  Lecture at UC-Berkeley | November 2015
  
  Publication
- Inductive Programming Meets the Real World
  
  Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Ben Zorn
  
  Communications of The ACM | November 2015
  
  Publication
- FlashMeta: A Framework for Inductive Program Synthesis
  
  Alex Polozov, Sumit Gulwani
  
  ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) 2015 | October 2015
  
  Publication Publication Publication Vidéo Projet
- Automating Grammar Comparison
  
  Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak
  
  OOPSLA 2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications | October 2015
  
  Publication Publication Publication
- Microsoft FlashMeta SDK A Framework for Creating Inductive Synthesizers
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  Publication
- Deductive Techniques for Synthesis from Inductive Specifications
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  Publication
- Applications of Inductive Programming in Data Wrangling
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  Publication
- Programming by Examples (and its applications in Data Wrangling)
  
  Sumit Gulwani
  
  Lectures at Marktoberdorf Summer School, Aug 2015 | August 2015
  
  Publication Publication Publication Publication Projet
- Personalized Mathematical Word Problem Generation
  
  Alex Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
  
  24th International Joint Conference on Artificial Intelligence (IJCAI) | July 2015
  
  Publication
- FlashNormalize: Programming by Examples for Text Normalization
  
  Dileep Kini, Sumit Gulwani
  
  IJCAI'15 Proceedings of the 24th International Conference on Artificial Intelligence | July 2015
  
  Publication Publication
- Data Wrangling using Programming by Examples
  
  Sumit Gulwani
  
  Invited talk at ECOOP | July 2015
  
  Publication Vidéo
- Predicting a Correct Program in Programming by Example
  
  Rishabh Singh, Sumit Gulwani
  
  27th International Conference on Computer Aided Verification (CAV 2015) | July 2015
  
  27th International Conference on Computer Aided Verification (CAV 2015)
  
  Publication Publication
- Personalized Mathematical Word Problem Generation
  
  Oleksandr Polozov, Eleanor O’Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
  
  IJCAI 2015 | May 2015
  
  Publication Publication
- Compositional Program Synthesis from Natural Language and Examples
  
  Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
  
  IJCAI 2015 | May 2015
  
  Publication Publication
- Automatic Game Progression Design through Analysis of Solution Features
  
  Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popović
  
  CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
  
  Publication Publication
- A Framework for Automatically Generating Interactive Instructional Scaffolding
  
  Eleanor O’Rourke, Erik Andersen, Sumit Gulwani, Zoran Popović
  
  CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
  
  Publication Publication Vidéo
- 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 Conference on Human Factors in Information Systems | April 2015
  
  CHI 2015 Conference on Human Factors in Information Systems
  
  Publication Publication Vidéo
- Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games
  
  Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
  
  AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015
  
  ISBN: 0-262-51129-0
  
  Publication Publication Projet
- Automating Repetitive Tasks for the Masses
  
  Sumit Gulwani
  
  POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  Publication Publication Publication Projet
- Automating Repetitive Tasks for the Masses
  
  Sumit Gulwani
  
  Keynote at POPL 2015 | January 2015
  
  Publication
- Programming by Examples applied to Data Wrangling
  
  Sumit Gulwani
  
  Invited talk at SYNT 2015 | January 2015
  
  Publication
- Applications of Formal Methods to Data Wrangling and Education
  
  Sumit Gulwani
  
  Keynote at CBSoft 2015 | January 2015
  
  Publication Publication Projet
- Feedback Generation for Performance Problems in Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radiček, Florian Zuleger
  
  SIGSOFT/FSE'14, November 16 - 22 2014, Hong Kong, China | November 2014
  
  Publication Publication Projet
- LaSEWeb: Automating Search Strategies over Semi-structured Web Data
  
  Alex Polozov, Sumit Gulwani
  
  20th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) | August 2014
  
  Publication
- Synthesis of Geometry Proof Problems
  
  Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
  
  AAAI'14 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence | July 2014
  
  Publication Publication Projet
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  Invited talk at GECCO 2014, Genetic Programming Track | July 2014
  
  Publication
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  GECCO'14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
  
  Publication Publication Publication Projet Projet
- Programming by Example using Least General Generalizations
  
  Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
  
  July 2014
  
  Publication Publication Vidéo Projet
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
  
  Publication Publication Vidéo Projet
- Test-Driven Synthesis
  
  Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
  
  PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
  
  Publication Publication Publication Projet
- FlashExtract: a framework for data extraction by examples
  
  Vu Le, Sumit Gulwani
  
  2014 Programming Language Design and Implementation | June 2014
  
  DOI PDF PDF Publication Publication Publication Publication Vidéo Vidéo Projet Projet Projet Projet Projet
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD '14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
  
  Publication Publication Vidéo
- FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
  
  Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
  
  PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
  
  Distinguished Artifact Award
  
  Publication Vidéo Projet Projet
- A Practical Framework for Constructing Structured Drawings
  
  Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.
  
  IUI'14, February 24 - 27 2014, Haifa, Israel | February 2014
  
  Publication Publication Publication
- Problem Generation and Feedback Generation
  
  Sumit Gulwani
  
  Invited talk at ASSESS 2014 | January 2014
  
  Publication
- Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning
  
  Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
  
  19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings | December 2013
  
  Publication Publication
- A Colorful Approach to Text Processing by Example
  
  Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
  
  PDF DOI Projet
- Automated Grading of DFA constructions
  
  Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini
  
  IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
  
  ISBN: 978-1-57735-633-2
  
  Publication Publication Publication Publication Projet
- Automatically Generating Problems and Solutions for Natural Deduction
  
  Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
  
  IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
  
  ISBN: 978-1-57735-633-2
  
  Publication Publication Projet Projet
- Recursive Program Synthesis
  
  Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
  
  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
  
  Publication Publication Publication Projet
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  Publication Publication Publication Publication Projet Projet
- SmartSynth: synthesizing smartphone automation scripts from natural language
  
  Vu Le, Sumit Gulwani, Zhendong Su
  
  MobiSys'13 | June 2013
  
  PDF DOI Vidéo Projet
- Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths
  
  Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
  
  PLDI'13, June 16-19, 2013, Seattle, WA, USA | June 2013
  
  Distinguished Paper Award
  
  Publication
- A Machine Learning Framework for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
  
  PDF PDF Publication Projet Projet
- Teaching and Learning Programming and Software Engineering via Interactive Gaming
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
  
  ICSE '13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
  
  ISBN: 978-1-4673-3076-3
  
  Publication Projet
- A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
  
  Sumit Gulwani, Erik Andersen, Zoran Popović
  
  CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
  
  Publication Publication Projet Projet Projet
- Biological Synthesis
  
  Sumit Gulwani
  
  April 2013
  
  Publication Publication
- From Relational Verification to SIMD Loop Synthesis
  
  Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
  
  PPoPP '13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
  
  Best Paper Award & CACM Highlight Nomination
  
  Publication Publication Projet
- Keyword Programming for TouchDevelop
  
  Sumit Gulwani, Jonathan "Peli" de Halleux
  
  Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
  
  Publication Projet
- Textual Features for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | September 2012
  
  Publication Publication
- Continuity and Robustness of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  Cummunications of the ACM, Research Highlights | August 2012
  
  Publication Publication Publication
- Learning Semantic String Transformations from Examples
  
  Rishabh Singh, Sumit Gulwani
  
  PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
  
  Publication Publication Vidéo Projet
- Synthesizing Number Transformations from Input-Output Examples
  
  Rishabh Singh, Sumit Gulwani
  
  24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
  
  Publication Publication Publication Vidéo Projet
- Type-Directed Completion of Partial Expressions
  
  Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
  
  PLDI'12, June 11-16, 2012, Beijing, China | June 2012
  
  Publication Publication Projet
- QuickDraw: Improving Drawing Experience for Geometric Diagrams
  
  Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.
  
  CHI'12, May 5-10, 2012, Austin, Texas, USA | May 2012
  
  Publication Publication Projet
- Automatically Generating Algebra Problems
  
  Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
  
  AAAI | April 2012
  
  AAAI
  
  Publication Publication Projet Projet
- Spreadsheet Data Manipulation using Examples
  
  Sumit Gulwani, William R. Harris, Rishabh Singh
  
  January 2012
  
  Invited to CACM Research Highlights
  
  Publication Publication Vidéo Projet Projet
- Synthesis from Examples: Interaction Models and Algorithms
  
  Sumit Gulwani
  
  14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
  
  Publication Publication Projet
- Bound Analysis of Imperative Programs with the Size-change Abstraction
  
  Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
  
  18th International Static Analysis Symposium, SAS 2011, Venice, Italy, September 14-16, 2011 | September 2011
  
  Publication Publication Publication Vidéo Projet
- Proving Programs Robust
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara Navidpour
  
  ESEC/FSE'11, September 5-9, 2011, Szeged, Hungary | September 2011
  
  Distinguished Paper Award, Invited to CACM Research Highlights
  
  Publication Publication
- Path-based Inductive Synthesis for Program Inversion
  
  Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  Publication Publication Projet
- Synthesis of Loop-Free Programs
  
  Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  Publication Publication Projet
- Synthesizing Geometry Constructions
  
  Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  Publication Publication Projet
- Spreadsheet Table Transformations from Examples
  
  Bill Harris, Sumit Gulwani
  
  PLDI 2011 | June 2011
  
  Publication Publication
- Automating String Processing in Spreadsheets using Input-Output Examples
  
  Sumit Gulwani
  
  PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
  
  Most Influential POPL Paper Award
  
  Publication Publication Publication Vidéo Vidéo Vidéo Projet Projet
- A Simple Inductive Synthesis Methodology and its Applications
  
  Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
  
  OOPSLA/SPLASH'10, October 17-21, 2010, Reno/Tahoe, Nevada, USA | October 2010
  
  Publication Projet
- The Reachability-Bound Problem
  
  Sumit Gulwani, Florian Zuleger
  
  PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
  
  Publication Projet
- Oracle-Guided Component-Based Program Synthesis
  
  Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
  
  ICSE '10, May 2-8 2010, Cape Town, South Africa | May 2010
  
  Publication Vidéo Projet
- Synthesizing Switching Logic for Safety and Dwell-Time Requirement
  
  Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
  
  ICCPS '10, April 13-15, 2010, Stockholm, Germany | April 2010
  
  Publication Publication Projet
- Continuity Analysis of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  Publication Publication
- From Program Verification to Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  Publication Publication Vidéo Projet Projet
- Dimensions in Program Synthesis
  
  Sumit Gulwani
  
  PPDP '10 Hagenberg, Austria | January 2010
  
  Publication Publication Projet
- Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
  
  Sumit Gulwani
  
  Oregon Summer School | July 2009
  
  Publication Publication Publication Publication Vidéo Vidéo Vidéo Projet
- VS3: SMT Solvers for Program Verification
  
  Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
  
  CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009
  
  Publication Publication Publication Projet
- SPEED: Symbolic Complexity Bound Analysis
  
  Sumit Gulwani
  
  Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
  
  Publication Publication Publication Projet
- Program Verification using Templates over Predicate Abstraction
  
  Saurabh Srivastava, Sumit Gulwani
  
  PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
  
  Publication Publication Projet
- Control-flow Refinement and Progress Invariants for Bound Analysis
  
  Sumit Gulwani, Sagar Jain, Eric Koskinen
  
  PLDI '09 Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2009
  
  Publication Projet
- A Combination Framework for Tracking Partition Sizes
  
  Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
  
  POPL'09, January 18-24, 2009, Savannah, Georgia, USA | January 2009
  
  Publication Publication Publication Projet Projet
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  Publication Publication Projet
- Synthesizing Switching Logic Using Constraint Solving
  
  Ankur Taly, Sumit Gulwani, Ashish Tiwari
  
  VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
  
  Publication Publication Publication Publication Projet Projet
- Constraint-Based Invariant Inference Over Predicate Abstraction
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
  
  Publication Publication Publication Projet
- Proving Conditional Termination
  
  Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
  
  CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
  
  Publication Publication
- A Numerical Abstract Domain based on Expression Abstraction and Max Operator with Application in Timing Analysis
  
  Bhargav S. Gulavani, Sumit Gulwani
  
  CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
  
  Publication Publication Publication Projet
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  Publication Publication
- Program Analysis as Constraint Solving
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  Publication Publication Projet
- Cover Algorithms and their Combination
  
  Sumit Gulwani, Madan Musuvathi
  
  ESOP'08/ETAPS'08 Proceedings of the Theory and Practice of Software, 17th European conference on Programming Languages and Systems | March 2008
  
  ISBN: 3-540-78738-0 978-3-540-78738-9
  
  Publication Publication
- Logical Abstract Interpretation
  
  Sumit Gulwani
  
  Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
  
  Publication Projet
- Lifting Abstract Interpreters to Quantified Logical Domains
  
  Sumit Gulwani, Bill McCloskey, Ashish Tiwari
  
  POPL'08, January 7-12, 2008, San Francisco, California, USA | January 2008
  
  Publication Publication Publication Projet
- Ranking Abstractions
  
  Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
  
  Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008
  
  Publication Publication Publication Publication
- Constraint-Based Approach for Analysis of Hybrid Systems
  
  Sumit Gulwani, Ashish Tiwari
  
  Computer Aided Verification (CAV) | January 2008
  
  Publication Publication Projet
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
  
  Sumit Gulwani, Ashish Tiwari
  
  CAV'07 Proceedings of the 19th International Conference on Computer Aided Verification | July 2007
  
  ISBN: 978-3-540-73367-6
  
  Publication Publication Publication
- Computing Procedure Summaries for Interprocedural Analysis
  
  Sumit Gulwani, Ashish Tiwari
  
  ESOP'07 Proceedings of the 16th European Symposium on Programming | March 2007
  
  ISBN: 978-3-540-71314-2
  
  Publication Publication Projet
- Program Verification as Probabilistic Inference
  
  Sumit Gulwani, Nebojsa Jojic
  
  POPL'07 January 17-19, 2007, Nice, France. | January 2007
  
  Publication Publication
- Assertion Checking Unified
  
  Sumit Gulwani, Ashish Tiwari
  
  8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
  
  Publication Publication Publication Projet
- Precise Interprocedural Analysis using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
  
  Publication Publication Projet
- Join Algorithms for the Theory of Uninterpreted Functions
  
  Sumit Gulwani, Ashish Tiwari, George C. Necula
  
  FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science | December 2004
  
  Publication Publication Publication Projet
- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
  
  Sumit Gulwani, George C. Necula
  
  Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 | August 2004
  
  Publication Publication Publication Projet
- Global Value Numbering using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
  
  Publication Publication Projet
- A Polynomial-Time Algorithm for Global Value Numbering
  
  Sumit Gulwani, George C. Necula
  
  Static Analysis Symposium (SAS), 2004 | January 2004
  
  Publication Publication Publication Projet
- Discovering Affine Equalities using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
  
  Publication Publication Projet
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Publié par Microsoft
  
  Publication Projet Projet
- Automated Feedback and Recognition through Data Mining in Code Hunt
  
  Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman
  
  MSR-TR-2015-57 | July 2015
  
  Publication Projet Projet
- Building Bing Developer Assistant
  
  Yi Wei, Nirupama Chandrasekaran, Sumit Gulwani, Youssef Hamadi
  
  MSR-TR-2015-36 | May 2015
  
  Publication Vidéo
- The Reachability-Bound Problem
  
  Sumit Gulwani
  
  MSR-TR-2009-146 | October 2009
  
  Publication
- Bound Analysis using Backward Symbolic Execution
  
  Sumit Gulwani, Sudeep Juvekar
  
  MSR-TR-2009-156 | October 2009
  
  Publication
- Component Based Synthesis Applied to Bitvector Circuits
  
  Sumit Gulwani, Ramarathnam Venkatesan
  
  MSR-TR-2010-12 | April 2009
  
  Publication
- A Combination Framework for Tracking Partition Sizes
  
  Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
  
  MSR-TR-2008-158 | October 2008
  
  Publication Publication
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  MSR-TR-2007-111 | August 2007
  
  Publication
- Static Analysis of Heap-Manipulating Low-Level Software
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-160 | November 2006
  
  Publication
- Assertion Checking Unified
  
  Sumit Gulwani, Asish Tiwari
  
  MSR-TR-2006-99 | July 2006
  
  Publication
- Combining Abstract Interpreters
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-25 | March 2006
  
  Publication Publication Projet
- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-01 | January 2006
  
  European Symposium on Programming 2006
  
  Publication Publication Projet
- STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with Feedback
  
  Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
  
  July 2025
  
  Preprint
- From Words to Code: Harnessing Data for Program Synthesis from Natural Language
  
  Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari
  
  May 2023
  
  Publication
- Repairing Bugs in Python Assignments using Large Language Models
  
  Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
  
  September 2022
  
  Publication
- Programming by Rewards
  
  Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
  
  July 2020
  
  Publication
- Repair Is Nearly Generation: Multilingual Program Repair with LLMs
  
  Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
  
  February 2023
  
  Publié par : AAAI | February 2023
  
  Publication
- PROSE Research Fellowship Program
  
  Sumit Gulwani, Arjun Radhakrishna
  
  May 2022
  
  Publication
- Shaping the future with: Sumit Gulwani
  
  Sumit Gulwani
  
  March 2022
  
  Max Planck-Humboldt Medal 2021
  
  Publication
- Synthesis from Examples
  
  Sumit Gulwani
  
  February 2012, Vol 10(2)
  
  Publication Projet
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  Dependable Software Systems Engineering | Publié par IOS Press | 2019
  
  Publication Projet
- Program Synthesis
  
  Sumit Gulwani, Alex Polozov, Rishabh Singh
  
  Foundations and Trends in Programming Languages
  
  Published by NOW | August 2017, Vol 4
  
  Publication Projet
- Program Analysis using Random Interpretation
  
  Sumit Gulwani
  
  September 2005
  
  Thèse de doctorat : PhD Dissertation, University of California, Berkeley | September 2005
  
  ACM SIGPLAN Doctoral Dissertation Award
  
  Publication Publication Projet