Sumit Gulwani

Distinguished Scientist and Vice President

출판물

자료 보기:

- SWE-Sharp-Bench: A Reproducible Benchmark for C# Software Engineering Tasks
  
  Sanket Mhatre, Yasharth Bajpai, Sumit Gulwani, Emerson Murphy-Hill, Gustavo Soares
  
  IEEE/ACM International Conference on AI-powered Software (AIware) | November 2025
  
  PDF Publication
- ConDABench: Interactive Evaluation of Language Models for Advanced Data Analysis
  
  Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  Multi Turn Interaction Workshop @ NeurIPS'25 | October 2025
  
  Publication
- IndiMathBench: Autoformalization Mathematical Reasoning Problems with a Human Touch
  
  Param Biyani, Shashank Kirtania, Yasharth Bajpai, Ashish Tiwari, Sumit Gulwani
  
  ArXiv | October 2025
  
  Publication
- Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the Wild
  
  Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
  
  IEEE/ACM International Conference on Automated Software Engineering, ASE | October 2025
  
  DOI Publication
- Improving Language Agents Through BREW
  
  Shashank Kirtania, Param Biyani, Priyanshu Gupta, Yasharth Bajpai, Roshni Iyer, Sumit Gulwani, Gustavo Soares
  
  September 2025
  
  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
  
  Empirical Methods in Natural Language Processing (EMNLP) | September 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
  
  ACM Transactions on Computer-Human Interaction | September 2025, 제 abs/2502.09787 권
  
  DOI Publication
- Collaboration and Conflict between Humans and Language Models through the Lens of Game Theory
  
  Mukul Singh, Arjun Radhakrishna, Sumit Gulwani
  
  September 2025
  
  Publication
- Bridging Gaps Between Student and Expert Evaluations of AI-Generated Programming Hints
  
  Tung Phung, Mengyan Wu, Heeryung Choi, Gustavo Soares, Sumit Gulwani, A. Singla, Christopher Brooks
  
  September 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
- TeCoFeS: Text Column Featurization using Semantic Analysis
  
  Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
  
  NAACL 2025 | April 2025
  
  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
  
  글쓴이 Microsoft
  
  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
- 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 동영상
- 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 동영상
- 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 동영상
- 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 동영상
- 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 동영상
- 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 동영상
- Repair Is Nearly Generation: Multilingual Program Repair with LLMs
  
  Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
  
  February 2023
  
  게시자: 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 프로젝트
- 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 프로젝트
- 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 프로젝트
- 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 프로젝트
- 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 동영상 프로젝트 프로젝트 프로젝트
- 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 프로젝트 프로젝트
- 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 동영상 동영상 프로젝트
- 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 동영상
- 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 프로젝트 프로젝트 프로젝트
- 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 프로젝트
- 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 동영상 프로젝트 프로젝트
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  Dependable Software Systems Engineering | 글쓴이 IOS Press | 2019
  
  Publication 프로젝트
- 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 프로젝트
- 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 프로젝트
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  출판 프로젝트 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트
- Disjunctive Program Synthesis: A Robust Approach to Programming by Example
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2018 | February 2018
  
  출판 프로젝트 프로젝트
- 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
  
  출판 프로젝트
- 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
  
  출판 프로젝트 프로젝트
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  APLAS 2017 | October 2017
  
  출판 프로젝트
- FlashProfile: Interactive Synthesis of Syntactic Profiles
  
  Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Milstein
  
  arXiv preprint | September 2017, 제 arXiv:1709.05725 권
  
  출판 출판 프로젝트
- Program Synthesis
  
  Sumit Gulwani, Alex Polozov, Rishabh Singh
  
  Foundations and Trends in Programming Languages
  
  Published by NOW | August 2017, Vol 4
  
  출판 프로젝트
- Research for Practice: Programming by Examples
  
  Sumit Gulwani
  
  Research for Practice, CACM | July 2017, 제 60 권: pp. 46-49
  
  출판 프로젝트
- 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 프로젝트
- Learning to Learn Programs from Examples: Going Beyond Program Structure
  
  Kevin Ellis, Sumit Gulwani
  
  IJCAI 2017 | May 2017
  
  출판 프로젝트
- Interactive Program Synthesis
  
  Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
  
  arXiv preprint | March 2017, 제 arXiv:1703.03539 권
  
  Publication 프로젝트
- Automated Data Extraction using Predictive Program Synthesis
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2017 | February 2017
  
  출판 프로젝트 프로젝트 프로젝트
- Ringer: Web Automation by Demonstration
  
  Shaon Barman, Sarah Chasins, Ras Bodik, Sumit Gulwani
  
  OOPSLA 2016 | November 2016
  
  출판 출판 프로젝트
- FIDEX: Filtering Spreadsheet Data using Examples
  
  Xinyu Wang, Sumit Gulwani, Rishabh Singh
  
  OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
  
  출판 프로젝트
- Programming by Examples: Applications, Algorithms, and Ambiguity Resolution
  
  Sumit Gulwani
  
  Invited talk at IJCAR 2016 | June 2016
  
  출판 출판 프로젝트
- 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 프로젝트
- Semi-Supervised Verified Feedback Generation
  
  Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
  
  March 2016
  
  출판 프로젝트
- Program Synthesis Using Stochastic Techniques
  
  Sumit Gulwani
  
  Communications of the ACM, Technical Perspective | February 2016, 제 59 권(2): pp. 113
  
  출판 출판 프로젝트
- Programming by Examples
  
  Sumit Gulwani
  
  Tutorial at PLDI 2016 | January 2016
  
  출판
- Programming by Examples (and its Applications in Data Wrangling)
  
  Sumit Gulwani
  
  Verification and Synthesis of Correct and Secure Systems | January 2016
  
  출판 프로젝트
- Spreadsheet Programming using Examples
  
  Sumit Gulwani
  
  Keynote at SEMS 2016 | January 2016
  
  출판 프로젝트
- Transforming Spreadsheet Data Types using Examples
  
  Rishabh Singh, Sumit Gulwani
  
  43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
  
  출판 프로젝트
- 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 프로젝트 프로젝트 프로젝트
- 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
  
  출판
- Programming by Examples: Applications, Ambiguity Resolutions, Approach
  
  Sumit Gulwani
  
  Lecture at UC-Berkeley | November 2015
  
  출판
- 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
  
  출판 출판 출판
- 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
  
  출판 출판 출판 동영상 프로젝트
- Applications of Inductive Programming in Data Wrangling
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  출판
- Deductive Techniques for Synthesis from Inductive Specifications
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  출판
- 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
  
  출판
- Programming by Examples (and its applications in Data Wrangling)
  
  Sumit Gulwani
  
  Lectures at Marktoberdorf Summer School, Aug 2015 | August 2015
  
  출판 출판 출판 출판 프로젝트
- FlashNormalize: Programming by Examples for Text Normalization
  
  Dileep Kini, Sumit Gulwani
  
  IJCAI'15 Proceedings of the 24th International Conference on Artificial Intelligence | July 2015
  
  출판 출판
- 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
  
  출판
- Automated Feedback and Recognition through Data Mining in Code Hunt
  
  Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman
  
  MSR-TR-2015-57 | July 2015
  
  출판 프로젝트 프로젝트
- Data Wrangling using Programming by Examples
  
  Sumit Gulwani
  
  Invited talk at ECOOP | July 2015
  
  출판 동영상
- 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)
  
  출판 출판
- Building Bing Developer Assistant
  
  Yi Wei, Nirupama Chandrasekaran, Sumit Gulwani, Youssef Hamadi
  
  MSR-TR-2015-36 | May 2015
  
  출판 동영상
- Compositional Program Synthesis from Natural Language and Examples
  
  Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
  
  IJCAI 2015 | May 2015
  
  출판 출판
- Personalized Mathematical Word Problem Generation
  
  Oleksandr Polozov, Eleanor O’Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
  
  IJCAI 2015 | May 2015
  
  출판 출판
- 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
  
  출판 출판 동영상
- 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
  
  출판 출판
- 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, 제 22 권(2)
  
  출판 출판 프로젝트
- 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
  
  출판 출판 동영상
- 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
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- Applications of Formal Methods to Data Wrangling and Education
  
  Sumit Gulwani
  
  Keynote at CBSoft 2015 | January 2015
  
  출판 출판 프로젝트
- Automating Repetitive Tasks for the Masses
  
  Sumit Gulwani
  
  Keynote at POPL 2015 | January 2015
  
  출판
- Programming by Examples applied to Data Wrangling
  
  Sumit Gulwani
  
  Invited talk at SYNT 2015 | January 2015
  
  출판
- 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
  
  출판 출판 프로젝트
- 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
  
  출판
- Example-Based Learning in Computer-Aided STEM Education
  
  Sumit Gulwani
  
  Communications of the ACM | August 2014, 제 57 권(8): pp. 70-80
  
  출판 출판 출판 동영상
- 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
  
  출판 출판 프로젝트
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  Invited talk at GECCO 2014, Genetic Programming Track | July 2014
  
  출판
- 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
  
  출판 출판 출판 프로젝트 프로젝트
- Programming by Example using Least General Generalizations
  
  Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
  
  July 2014
  
  출판 출판 동영상 프로젝트
- 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
  
  출판 출판 동영상 프로젝트
- Test-Driven Synthesis
  
  Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
  
  PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
  
  출판 출판 출판 프로젝트
- 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 동영상 동영상 프로젝트 프로젝트 프로젝트 프로젝트 프로젝트
- 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
  
  출판 출판 동영상
- 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
  
  출판 동영상 프로젝트 프로젝트
- 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
  
  출판 출판 출판
- Problem Generation and Feedback Generation
  
  Sumit Gulwani
  
  Invited talk at ASSESS 2014 | January 2014
  
  출판
- 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
  
  출판 출판
- 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 프로젝트
- 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
  
  출판 출판 출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트
- Recursive Program Synthesis
  
  Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
  
  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
  
  출판 출판 출판 프로젝트
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  출판 출판 출판 출판 프로젝트 프로젝트
- SmartSynth: synthesizing smartphone automation scripts from natural language
  
  Vu Le, Sumit Gulwani, Zhendong Su
  
  MobiSys'13 | June 2013
  
  PDF DOI 동영상 프로젝트
- 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
  
  출판
- 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 프로젝트 프로젝트
- 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
  
  출판 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트 프로젝트
- Biological Synthesis
  
  Sumit Gulwani
  
  April 2013
  
  출판 출판
- 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 프로젝트
- Keyword Programming for TouchDevelop
  
  Sumit Gulwani, Jonathan "Peli" de Halleux
  
  Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
  
  출판 프로젝트
- 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
  
  출판 출판
- Continuity and Robustness of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  Cummunications of the ACM, Research Highlights | August 2012
  
  출판 출판 출판
- Learning Semantic String Transformations from Examples
  
  Rishabh Singh, Sumit Gulwani
  
  PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
  
  출판 출판 동영상 프로젝트
- Synthesizing Number Transformations from Input-Output Examples
  
  Rishabh Singh, Sumit Gulwani
  
  24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
  
  출판 출판 출판 동영상 프로젝트
- Type-Directed Completion of Partial Expressions
  
  Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
  
  PLDI'12, June 11-16, 2012, Beijing, China | June 2012
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- Automatically Generating Algebra Problems
  
  Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
  
  AAAI | April 2012
  
  AAAI
  
  출판 출판 프로젝트 프로젝트
- Synthesis from Examples
  
  Sumit Gulwani
  
  February 2012, 제 10 권(2)
  
  출판 프로젝트
- Template-Based Program Verification and Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
  
  International Journal on Software Tools for Technology Transfer | January 2012, 제 15 권(5): pp. 497-518
  
  출판 출판 출판 프로젝트
- Spreadsheet Data Manipulation using Examples
  
  Sumit Gulwani, William R. Harris, Rishabh Singh
  
  January 2012
  
  Invited to CACM Research Highlights
  
  출판 출판 동영상 프로젝트 프로젝트
- Synthesis from Examples: Interaction Models and Algorithms
  
  Sumit Gulwani
  
  14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 동영상 프로젝트
- 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
  
  출판 출판
- 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
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- Synthesizing Geometry Constructions
  
  Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  출판 출판 프로젝트
- Spreadsheet Table Transformations from Examples
  
  Bill Harris, Sumit Gulwani
  
  PLDI 2011 | June 2011
  
  출판 출판
- 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 동영상 동영상 동영상 프로젝트 프로젝트
- 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
  
  출판 프로젝트
- The Reachability-Bound Problem
  
  Sumit Gulwani, Florian Zuleger
  
  PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
  
  출판 프로젝트
- 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
  
  출판 동영상 프로젝트
- 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
  
  출판 출판 프로젝트
- Continuity Analysis of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  출판 출판
- From Program Verification to Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  출판 출판 동영상 프로젝트 프로젝트
- Dimensions in Program Synthesis
  
  Sumit Gulwani
  
  PPDP '10 Hagenberg, Austria | January 2010
  
  출판 출판 프로젝트
- The Reachability-Bound Problem
  
  Sumit Gulwani
  
  MSR-TR-2009-146 | October 2009
  
  출판
- Bound Analysis using Backward Symbolic Execution
  
  Sumit Gulwani, Sudeep Juvekar
  
  MSR-TR-2009-156 | October 2009
  
  출판
- Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
  
  Sumit Gulwani
  
  Oregon Summer School | July 2009
  
  출판 출판 출판 출판 동영상 동영상 동영상 프로젝트
- SPEED: Symbolic Complexity Bound Analysis
  
  Sumit Gulwani
  
  Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 프로젝트
- Program Verification using Templates over Predicate Abstraction
  
  Saurabh Srivastava, Sumit Gulwani
  
  PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
  
  출판 출판 프로젝트
- Component Based Synthesis Applied to Bitvector Circuits
  
  Sumit Gulwani, Ramarathnam Venkatesan
  
  MSR-TR-2010-12 | April 2009
  
  출판
- 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
  
  출판 출판 출판 프로젝트 프로젝트
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판 출판 출판 프로젝트 프로젝트
- A Combination Framework for Tracking Partition Sizes
  
  Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
  
  MSR-TR-2008-158 | October 2008
  
  출판 출판
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  출판 출판
- Program Analysis as Constraint Solving
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  출판 출판 프로젝트
- 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
  
  출판 출판
- Logical Abstract Interpretation
  
  Sumit Gulwani
  
  Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
  
  출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- Constraint-Based Approach for Analysis of Hybrid Systems
  
  Sumit Gulwani, Ashish Tiwari
  
  Computer Aided Verification (CAV) | January 2008
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 출판
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  MSR-TR-2007-111 | August 2007
  
  출판
- 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
  
  출판 출판 출판
- 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
  
  출판 출판 프로젝트
- Program Verification as Probabilistic Inference
  
  Sumit Gulwani, Nebojsa Jojic
  
  POPL'07 January 17-19, 2007, Nice, France. | January 2007
  
  출판 출판
- Assertion Checking Unified
  
  Sumit Gulwani, Ashish Tiwari
  
  8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
  
  출판 출판 출판 프로젝트
- Static Analysis of Heap-Manipulating Low-Level Software
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-160 | November 2006
  
  출판
- Assertion Checking Unified
  
  Sumit Gulwani, Asish Tiwari
  
  MSR-TR-2006-99 | July 2006
  
  출판
- Combining Abstract Interpreters
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-25 | March 2006
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- Program Analysis using Random Interpretation
  
  Sumit Gulwani
  
  September 2005
  
  박사학위논문: PhD Dissertation, University of California, Berkeley | September 2005
  
  ACM SIGPLAN Doctoral Dissertation Award
  
  출판 출판 프로젝트
- 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, 제 199 권(1): pp. 107-131
  
  출판 출판 출판 출판 프로젝트
- Precise Interprocedural Analysis using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- Global Value Numbering using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
  
  출판 출판 프로젝트
- A Polynomial-Time Algorithm for Global Value Numbering
  
  Sumit Gulwani, George C. Necula
  
  Static Analysis Symposium (SAS), 2004 | January 2004
  
  출판 출판 출판 프로젝트
- Discovering Affine Equalities using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
  
  출판 출판 프로젝트
- 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
  
  출판 출판

- SWE-Sharp-Bench: A Reproducible Benchmark for C# Software Engineering Tasks
  
  Sanket Mhatre, Yasharth Bajpai, Sumit Gulwani, Emerson Murphy-Hill, Gustavo Soares
  
  IEEE/ACM International Conference on AI-powered Software (AIware) | November 2025
  
  PDF Publication
- ConDABench: Interactive Evaluation of Language Models for Advanced Data Analysis
  
  Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  Multi Turn Interaction Workshop @ NeurIPS'25 | October 2025
  
  Publication
- IndiMathBench: Autoformalization Mathematical Reasoning Problems with a Human Touch
  
  Param Biyani, Shashank Kirtania, Yasharth Bajpai, Ashish Tiwari, Sumit Gulwani
  
  ArXiv | October 2025
  
  Publication
- Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the Wild
  
  Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
  
  IEEE/ACM International Conference on Automated Software Engineering, ASE | October 2025
  
  DOI Publication
- Improving Language Agents Through BREW
  
  Shashank Kirtania, Param Biyani, Priyanshu Gupta, Yasharth Bajpai, Roshni Iyer, Sumit Gulwani, Gustavo Soares
  
  September 2025
  
  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
  
  Empirical Methods in Natural Language Processing (EMNLP) | September 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
  
  ACM Transactions on Computer-Human Interaction | September 2025, 제 abs/2502.09787 권
  
  DOI Publication
- Collaboration and Conflict between Humans and Language Models through the Lens of Game Theory
  
  Mukul Singh, Arjun Radhakrishna, Sumit Gulwani
  
  September 2025
  
  Publication
- Bridging Gaps Between Student and Expert Evaluations of AI-Generated Programming Hints
  
  Tung Phung, Mengyan Wu, Heeryung Choi, Gustavo Soares, Sumit Gulwani, A. Singla, Christopher Brooks
  
  September 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
- 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
- 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
  
  글쓴이 Microsoft
  
  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
- 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 동영상
- 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 동영상
- 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 동영상
- 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 동영상
- 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 동영상
- 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 동영상
- Repair Is Nearly Generation: Multilingual Program Repair with LLMs
  
  Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
  
  February 2023
  
  게시자: 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 프로젝트
- 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 프로젝트
- 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 프로젝트 프로젝트
- 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 동영상 동영상 프로젝트
- 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 프로젝트 프로젝트 프로젝트
- 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 동영상 프로젝트 프로젝트
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  Dependable Software Systems Engineering | 글쓴이 IOS Press | 2019
  
  Publication 프로젝트
- 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 프로젝트
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  출판 프로젝트 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트
- Disjunctive Program Synthesis: A Robust Approach to Programming by Example
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2018 | February 2018
  
  출판 프로젝트 프로젝트
- 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
  
  출판 프로젝트
- 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
  
  출판 프로젝트 프로젝트
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  APLAS 2017 | October 2017
  
  출판 프로젝트
- Program Synthesis
  
  Sumit Gulwani, Alex Polozov, Rishabh Singh
  
  Foundations and Trends in Programming Languages
  
  Published by NOW | August 2017, Vol 4
  
  출판 프로젝트
- Research for Practice: Programming by Examples
  
  Sumit Gulwani
  
  Research for Practice, CACM | July 2017, 제 60 권: pp. 46-49
  
  출판 프로젝트
- Learning to Learn Programs from Examples: Going Beyond Program Structure
  
  Kevin Ellis, Sumit Gulwani
  
  IJCAI 2017 | May 2017
  
  출판 프로젝트
- Automated Data Extraction using Predictive Program Synthesis
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2017 | February 2017
  
  출판 프로젝트 프로젝트 프로젝트
- 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
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- Programming by Example using Least General Generalizations
  
  Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
  
  July 2014
  
  출판 출판 동영상 프로젝트
- 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
  
  출판 출판 동영상 프로젝트
- 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
  
  출판 출판
- 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
  
  출판 출판 출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트
- Recursive Program Synthesis
  
  Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
  
  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
  
  출판 출판 출판 프로젝트
- Spreadsheet Table Transformations from Examples
  
  Bill Harris, Sumit Gulwani
  
  PLDI 2011 | June 2011
  
  출판 출판
- 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
  
  출판 프로젝트
- 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
  
  출판 동영상 프로젝트
- 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
  
  출판 출판 프로젝트
- 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
  
  출판 출판
- SWE-Sharp-Bench: A Reproducible Benchmark for C# Software Engineering Tasks
  
  Sanket Mhatre, Yasharth Bajpai, Sumit Gulwani, Emerson Murphy-Hill, Gustavo Soares
  
  IEEE/ACM International Conference on AI-powered Software (AIware) | November 2025
  
  PDF Publication
- IndiMathBench: Autoformalization Mathematical Reasoning Problems with a Human Touch
  
  Param Biyani, Shashank Kirtania, Yasharth Bajpai, Ashish Tiwari, Sumit Gulwani
  
  ArXiv | October 2025
  
  Publication
- Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the Wild
  
  Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
  
  IEEE/ACM International Conference on Automated Software Engineering, ASE | October 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
  
  글쓴이 Microsoft
  
  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
- 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 동영상
- 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 동영상
- 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 동영상
- 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 동영상
- 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 동영상
- Repair Is Nearly Generation: Multilingual Program Repair with LLMs
  
  Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
  
  February 2023
  
  게시자: 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 프로젝트
- 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 프로젝트
- 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 프로젝트
- 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 동영상 프로젝트 프로젝트 프로젝트
- 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 프로젝트 프로젝트
- 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 동영상 동영상 프로젝트
- 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 동영상
- 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 프로젝트 프로젝트 프로젝트
- 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 프로젝트
- 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 동영상 프로젝트 프로젝트
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  Dependable Software Systems Engineering | 글쓴이 IOS Press | 2019
  
  Publication 프로젝트
- 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 프로젝트
- 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 프로젝트
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  출판 프로젝트 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트
- Disjunctive Program Synthesis: A Robust Approach to Programming by Example
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2018 | February 2018
  
  출판 프로젝트 프로젝트
- 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
  
  출판 프로젝트
- 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
  
  출판 프로젝트 프로젝트
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  APLAS 2017 | October 2017
  
  출판 프로젝트
- FlashProfile: Interactive Synthesis of Syntactic Profiles
  
  Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Milstein
  
  arXiv preprint | September 2017, 제 arXiv:1709.05725 권
  
  출판 출판 프로젝트
- Program Synthesis
  
  Sumit Gulwani, Alex Polozov, Rishabh Singh
  
  Foundations and Trends in Programming Languages
  
  Published by NOW | August 2017, Vol 4
  
  출판 프로젝트
- Research for Practice: Programming by Examples
  
  Sumit Gulwani
  
  Research for Practice, CACM | July 2017, 제 60 권: pp. 46-49
  
  출판 프로젝트
- 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 프로젝트
- Learning to Learn Programs from Examples: Going Beyond Program Structure
  
  Kevin Ellis, Sumit Gulwani
  
  IJCAI 2017 | May 2017
  
  출판 프로젝트
- Interactive Program Synthesis
  
  Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
  
  arXiv preprint | March 2017, 제 arXiv:1703.03539 권
  
  Publication 프로젝트
- Ringer: Web Automation by Demonstration
  
  Shaon Barman, Sarah Chasins, Ras Bodik, Sumit Gulwani
  
  OOPSLA 2016 | November 2016
  
  출판 출판 프로젝트
- FIDEX: Filtering Spreadsheet Data using Examples
  
  Xinyu Wang, Sumit Gulwani, Rishabh Singh
  
  OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
  
  출판 프로젝트
- 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 프로젝트
- Semi-Supervised Verified Feedback Generation
  
  Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
  
  March 2016
  
  출판 프로젝트
- Program Synthesis Using Stochastic Techniques
  
  Sumit Gulwani
  
  Communications of the ACM, Technical Perspective | February 2016, 제 59 권(2): pp. 113
  
  출판 출판 프로젝트
- Spreadsheet Programming using Examples
  
  Sumit Gulwani
  
  Keynote at SEMS 2016 | January 2016
  
  출판 프로젝트
- Programming by Examples
  
  Sumit Gulwani
  
  Tutorial at PLDI 2016 | January 2016
  
  출판
- Programming by Examples (and its Applications in Data Wrangling)
  
  Sumit Gulwani
  
  Verification and Synthesis of Correct and Secure Systems | January 2016
  
  출판 프로젝트
- Transforming Spreadsheet Data Types using Examples
  
  Rishabh Singh, Sumit Gulwani
  
  43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
  
  출판 프로젝트
- 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 프로젝트 프로젝트 프로젝트
- 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
  
  출판
- 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
  
  출판 출판 출판 동영상 프로젝트
- 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
  
  출판 출판 출판
- 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
  
  출판
- Deductive Techniques for Synthesis from Inductive Specifications
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  출판
- Applications of Inductive Programming in Data Wrangling
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  출판
- Programming by Examples (and its applications in Data Wrangling)
  
  Sumit Gulwani
  
  Lectures at Marktoberdorf Summer School, Aug 2015 | August 2015
  
  출판 출판 출판 출판 프로젝트
- 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
  
  출판
- FlashNormalize: Programming by Examples for Text Normalization
  
  Dileep Kini, Sumit Gulwani
  
  IJCAI'15 Proceedings of the 24th International Conference on Artificial Intelligence | July 2015
  
  출판 출판
- Data Wrangling using Programming by Examples
  
  Sumit Gulwani
  
  Invited talk at ECOOP | July 2015
  
  출판 동영상
- Automated Feedback and Recognition through Data Mining in Code Hunt
  
  Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman
  
  MSR-TR-2015-57 | July 2015
  
  출판 프로젝트 프로젝트
- 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)
  
  출판 출판
- Building Bing Developer Assistant
  
  Yi Wei, Nirupama Chandrasekaran, Sumit Gulwani, Youssef Hamadi
  
  MSR-TR-2015-36 | May 2015
  
  출판 동영상
- Personalized Mathematical Word Problem Generation
  
  Oleksandr Polozov, Eleanor O’Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
  
  IJCAI 2015 | May 2015
  
  출판 출판
- Compositional Program Synthesis from Natural Language and Examples
  
  Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
  
  IJCAI 2015 | May 2015
  
  출판 출판
- 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, 제 22 권(2)
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- Automating Repetitive Tasks for the Masses
  
  Sumit Gulwani
  
  Keynote at POPL 2015 | January 2015
  
  출판
- Programming by Examples applied to Data Wrangling
  
  Sumit Gulwani
  
  Invited talk at SYNT 2015 | January 2015
  
  출판
- Applications of Formal Methods to Data Wrangling and Education
  
  Sumit Gulwani
  
  Keynote at CBSoft 2015 | January 2015
  
  출판 출판 프로젝트
- 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
  
  출판
- Example-Based Learning in Computer-Aided STEM Education
  
  Sumit Gulwani
  
  Communications of the ACM | August 2014, 제 57 권(8): pp. 70-80
  
  출판 출판 출판 동영상
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  Invited talk at GECCO 2014, Genetic Programming Track | July 2014
  
  출판
- 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
  
  출판 출판 출판 프로젝트 프로젝트
- 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
  
  출판 출판 동영상 프로젝트
- Test-Driven Synthesis
  
  Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
  
  PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판 동영상
- Problem Generation and Feedback Generation
  
  Sumit Gulwani
  
  Invited talk at ASSESS 2014 | January 2014
  
  출판
- 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
  
  출판 출판
- 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 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트
- Recursive Program Synthesis
  
  Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
  
  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
  
  출판 출판 출판 프로젝트
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  출판 출판 출판 출판 프로젝트 프로젝트
- SmartSynth: synthesizing smartphone automation scripts from natural language
  
  Vu Le, Sumit Gulwani, Zhendong Su
  
  MobiSys'13 | June 2013
  
  PDF DOI 동영상 프로젝트
- 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
  
  출판
- 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 프로젝트 프로젝트
- 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
  
  출판 프로젝트
- Biological Synthesis
  
  Sumit Gulwani
  
  April 2013
  
  출판 출판
- 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 프로젝트
- Keyword Programming for TouchDevelop
  
  Sumit Gulwani, Jonathan "Peli" de Halleux
  
  Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
  
  출판 프로젝트
- 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
  
  출판 출판
- Learning Semantic String Transformations from Examples
  
  Rishabh Singh, Sumit Gulwani
  
  PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
  
  출판 출판 동영상 프로젝트
- Synthesizing Number Transformations from Input-Output Examples
  
  Rishabh Singh, Sumit Gulwani
  
  24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
  
  출판 출판 출판 동영상 프로젝트
- Type-Directed Completion of Partial Expressions
  
  Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
  
  PLDI'12, June 11-16, 2012, Beijing, China | June 2012
  
  출판 출판 프로젝트
- Template-Based Program Verification and Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
  
  International Journal on Software Tools for Technology Transfer | January 2012, 제 15 권(5): pp. 497-518
  
  출판 출판 출판 프로젝트
- Spreadsheet Data Manipulation using Examples
  
  Sumit Gulwani, William R. Harris, Rishabh Singh
  
  January 2012
  
  Invited to CACM Research Highlights
  
  출판 출판 동영상 프로젝트 프로젝트
- Spreadsheet Table Transformations from Examples
  
  Bill Harris, Sumit Gulwani
  
  PLDI 2011 | June 2011
  
  출판 출판
- The Reachability-Bound Problem
  
  Sumit Gulwani, Florian Zuleger
  
  PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
  
  출판 프로젝트
- Bound Analysis using Backward Symbolic Execution
  
  Sumit Gulwani, Sudeep Juvekar
  
  MSR-TR-2009-156 | October 2009
  
  출판
- Program Verification using Templates over Predicate Abstraction
  
  Saurabh Srivastava, Sumit Gulwani
  
  PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
  
  출판 출판 프로젝트
- 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
  
  출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트 프로젝트
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  출판 출판
- Program Analysis as Constraint Solving
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  출판 출판 프로젝트
- Logical Abstract Interpretation
  
  Sumit Gulwani
  
  Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
  
  출판 프로젝트
- Constraint-Based Approach for Analysis of Hybrid Systems
  
  Sumit Gulwani, Ashish Tiwari
  
  Computer Aided Verification (CAV) | January 2008
  
  출판 출판 프로젝트
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  MSR-TR-2007-111 | August 2007
  
  출판
- 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
  
  출판 출판 출판
- 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
  
  출판 출판 프로젝트
- Assertion Checking Unified
  
  Sumit Gulwani, Ashish Tiwari
  
  8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
  
  출판 출판 출판 프로젝트
- Static Analysis of Heap-Manipulating Low-Level Software
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-160 | November 2006
  
  출판
- Assertion Checking Unified
  
  Sumit Gulwani, Asish Tiwari
  
  MSR-TR-2006-99 | July 2006
  
  출판
- Combining Abstract Interpreters
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-25 | March 2006
  
  출판 출판 프로젝트
- Program Analysis using Random Interpretation
  
  Sumit Gulwani
  
  September 2005
  
  박사학위논문: PhD Dissertation, University of California, Berkeley | September 2005
  
  ACM SIGPLAN Doctoral Dissertation Award
  
  출판 출판 프로젝트
- Precise Interprocedural Analysis using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
  
  출판 출판 프로젝트
- Discovering Affine Equalities using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
  
  출판 출판 프로젝트
- Collaboration and Conflict between Humans and Language Models through the Lens of Game Theory
  
  Mukul Singh, Arjun Radhakrishna, Sumit Gulwani
  
  September 2025
  
  Publication
- 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 프로젝트
- 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
  
  출판 출판 동영상
- 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
  
  ACM Transactions on Computer-Human Interaction | September 2025, 제 abs/2502.09787 권
  
  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
  
  글쓴이 Microsoft
  
  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
- 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 동영상
- 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 동영상
- 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 동영상
- 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 프로젝트 프로젝트
- 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 동영상
- 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 프로젝트 프로젝트 프로젝트
- 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 프로젝트
- FlashProfile: Interactive Synthesis of Syntactic Profiles
  
  Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Milstein
  
  arXiv preprint | September 2017, 제 arXiv:1709.05725 권
  
  출판 출판 프로젝트
- 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
  
  출판 출판
- 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
  
  출판 출판 동영상
- 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, 제 22 권(2)
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- 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
  
  출판
- 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
  
  출판 동영상 프로젝트 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트 프로젝트
- A Combination Framework for Tracking Partition Sizes
  
  Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
  
  MSR-TR-2008-158 | October 2008
  
  출판 출판
- Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the Wild
  
  Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
  
  IEEE/ACM International Conference on Automated Software Engineering, ASE | October 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
  
  ACM Transactions on Computer-Human Interaction | September 2025, 제 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
  
  글쓴이 Microsoft
  
  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
- 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 프로젝트
- 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 프로젝트
- 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 동영상 프로젝트 프로젝트
- 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
  
  출판 프로젝트 프로젝트
- 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 프로젝트 프로젝트 프로젝트
- 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
  
  출판
- 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
  
  출판 출판 동영상
- Programming by Example using Least General Generalizations
  
  Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
  
  July 2014
  
  출판 출판 동영상 프로젝트
- 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
  
  출판 출판 출판
- 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
  
  글쓴이 Microsoft
  
  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
  
  글쓴이 Microsoft
  
  Publication 프로젝트 프로젝트
- 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
  
  출판 동영상
- 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
  
  출판
- Interactive Program Synthesis
  
  Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
  
  arXiv preprint | March 2017, 제 arXiv:1703.03539 권
  
  Publication 프로젝트
- FIDEX: Filtering Spreadsheet Data using Examples
  
  Xinyu Wang, Sumit Gulwani, Rishabh Singh
  
  OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
  
  출판 프로젝트
- Programming by Examples: Applications, Algorithms, and Ambiguity Resolution
  
  Sumit Gulwani
  
  Invited talk at IJCAR 2016 | June 2016
  
  출판 출판 프로젝트
- Programming by Examples: Applications, Ambiguity Resolutions, Approach
  
  Sumit Gulwani
  
  Lecture at UC-Berkeley | November 2015
  
  출판
- 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
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- 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 동영상 동영상 프로젝트 프로젝트 프로젝트 프로젝트 프로젝트
- 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
  
  출판 출판 출판
- Recursive Program Synthesis
  
  Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
  
  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
  
  출판 출판 출판 프로젝트
- SmartSynth: synthesizing smartphone automation scripts from natural language
  
  Vu Le, Sumit Gulwani, Zhendong Su
  
  MobiSys'13 | June 2013
  
  PDF DOI 동영상 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트 프로젝트
- Biological Synthesis
  
  Sumit Gulwani
  
  April 2013
  
  출판 출판
- Continuity and Robustness of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  Cummunications of the ACM, Research Highlights | August 2012
  
  출판 출판 출판
- Synthesis from Examples
  
  Sumit Gulwani
  
  February 2012, 제 10 권(2)
  
  출판 프로젝트
- Synthesis from Examples: Interaction Models and Algorithms
  
  Sumit Gulwani
  
  14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 동영상 프로젝트
- 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
  
  출판 출판
- 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
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- Synthesizing Geometry Constructions
  
  Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  출판 출판 프로젝트
- 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 동영상 동영상 동영상 프로젝트 프로젝트
- Continuity Analysis of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  출판 출판
- From Program Verification to Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  출판 출판 동영상 프로젝트 프로젝트
- Dimensions in Program Synthesis
  
  Sumit Gulwani
  
  PPDP '10 Hagenberg, Austria | January 2010
  
  출판 출판 프로젝트
- Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
  
  Sumit Gulwani
  
  Oregon Summer School | July 2009
  
  출판 출판 출판 출판 동영상 동영상 동영상 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- SPEED: Symbolic Complexity Bound Analysis
  
  Sumit Gulwani
  
  Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
  
  출판 출판 출판 프로젝트
- Program Verification using Templates over Predicate Abstraction
  
  Saurabh Srivastava, Sumit Gulwani
  
  PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
  
  출판 출판 프로젝트
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 출판 프로젝트 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  출판 출판
- Program Analysis as Constraint Solving
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  출판 출판 프로젝트
- 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
  
  출판 출판
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판 출판 출판
- Constraint-Based Approach for Analysis of Hybrid Systems
  
  Sumit Gulwani, Ashish Tiwari
  
  Computer Aided Verification (CAV) | January 2008
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판
- Program Verification as Probabilistic Inference
  
  Sumit Gulwani, Nebojsa Jojic
  
  POPL'07 January 17-19, 2007, Nice, France. | January 2007
  
  출판 출판
- Assertion Checking Unified
  
  Sumit Gulwani, Ashish Tiwari
  
  8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- 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, 제 199 권(1): pp. 107-131
  
  출판 출판 출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- Global Value Numbering using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
  
  출판 출판 프로젝트
- A Polynomial-Time Algorithm for Global Value Numbering
  
  Sumit Gulwani, George C. Necula
  
  Static Analysis Symposium (SAS), 2004 | January 2004
  
  출판 출판 출판 프로젝트
- Discovering Affine Equalities using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- Automatically Generating Algebra Problems
  
  Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
  
  AAAI | April 2012
  
  AAAI
  
  출판 출판 프로젝트 프로젝트
- Synthesizing Geometry Constructions
  
  Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  출판 출판 프로젝트
- The Reachability-Bound Problem
  
  Sumit Gulwani
  
  MSR-TR-2009-146 | October 2009
  
  출판
- Component Based Synthesis Applied to Bitvector Circuits
  
  Sumit Gulwani, Ramarathnam Venkatesan
  
  MSR-TR-2010-12 | April 2009
  
  출판

- 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
  
  출판 출판
- SWE-Sharp-Bench: A Reproducible Benchmark for C# Software Engineering Tasks
  
  Sanket Mhatre, Yasharth Bajpai, Sumit Gulwani, Emerson Murphy-Hill, Gustavo Soares
  
  IEEE/ACM International Conference on AI-powered Software (AIware) | November 2025
  
  PDF Publication
- ConDABench: Interactive Evaluation of Language Models for Advanced Data Analysis
  
  Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  Multi Turn Interaction Workshop @ NeurIPS'25 | October 2025
  
  Publication
- Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the Wild
  
  Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
  
  IEEE/ACM International Conference on Automated Software Engineering, ASE | October 2025
  
  DOI 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
  
  Empirical Methods in Natural Language Processing (EMNLP) | September 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
- 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 동영상
- 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 동영상
- 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 동영상
- 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 동영상
- 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 동영상
- 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 프로젝트
- 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 프로젝트
- 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 프로젝트
- 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 프로젝트
- 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 동영상 프로젝트 프로젝트 프로젝트
- 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 프로젝트 프로젝트
- 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 동영상 동영상 프로젝트
- 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 동영상
- 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 프로젝트 프로젝트 프로젝트
- 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 프로젝트
- 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 동영상 프로젝트 프로젝트
- 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 프로젝트
- 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 프로젝트
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  출판 프로젝트 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트
- Disjunctive Program Synthesis: A Robust Approach to Programming by Example
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2018 | February 2018
  
  출판 프로젝트 프로젝트
- 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
  
  출판 프로젝트
- 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
  
  출판 프로젝트 프로젝트
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  APLAS 2017 | October 2017
  
  출판 프로젝트
- 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 프로젝트
- Learning to Learn Programs from Examples: Going Beyond Program Structure
  
  Kevin Ellis, Sumit Gulwani
  
  IJCAI 2017 | May 2017
  
  출판 프로젝트
- Automated Data Extraction using Predictive Program Synthesis
  
  Mohammad Raza, Sumit Gulwani
  
  AAAI 2017 | February 2017
  
  출판 프로젝트 프로젝트 프로젝트
- Ringer: Web Automation by Demonstration
  
  Shaon Barman, Sarah Chasins, Ras Bodik, Sumit Gulwani
  
  OOPSLA 2016 | November 2016
  
  출판 출판 프로젝트
- FIDEX: Filtering Spreadsheet Data using Examples
  
  Xinyu Wang, Sumit Gulwani, Rishabh Singh
  
  OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
  
  출판 프로젝트
- Programming by Examples: Applications, Algorithms, and Ambiguity Resolution
  
  Sumit Gulwani
  
  Invited talk at IJCAR 2016 | June 2016
  
  출판 출판 프로젝트
- 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 프로젝트
- Semi-Supervised Verified Feedback Generation
  
  Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
  
  March 2016
  
  출판 프로젝트
- Spreadsheet Programming using Examples
  
  Sumit Gulwani
  
  Keynote at SEMS 2016 | January 2016
  
  출판 프로젝트
- Programming by Examples
  
  Sumit Gulwani
  
  Tutorial at PLDI 2016 | January 2016
  
  출판
- Programming by Examples (and its Applications in Data Wrangling)
  
  Sumit Gulwani
  
  Verification and Synthesis of Correct and Secure Systems | January 2016
  
  출판 프로젝트
- Transforming Spreadsheet Data Types using Examples
  
  Rishabh Singh, Sumit Gulwani
  
  43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
  
  출판 프로젝트
- 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 프로젝트 프로젝트 프로젝트
- Programming by Examples: Applications, Ambiguity Resolutions, Approach
  
  Sumit Gulwani
  
  Lecture at UC-Berkeley | November 2015
  
  출판
- 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
  
  출판
- 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
  
  출판 출판 출판 동영상 프로젝트
- 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
  
  출판 출판 출판
- 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
  
  출판
- Deductive Techniques for Synthesis from Inductive Specifications
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  출판
- Applications of Inductive Programming in Data Wrangling
  
  Sumit Gulwani
  
  Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
  
  출판
- Programming by Examples (and its applications in Data Wrangling)
  
  Sumit Gulwani
  
  Lectures at Marktoberdorf Summer School, Aug 2015 | August 2015
  
  출판 출판 출판 출판 프로젝트
- 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
  
  출판
- FlashNormalize: Programming by Examples for Text Normalization
  
  Dileep Kini, Sumit Gulwani
  
  IJCAI'15 Proceedings of the 24th International Conference on Artificial Intelligence | July 2015
  
  출판 출판
- Data Wrangling using Programming by Examples
  
  Sumit Gulwani
  
  Invited talk at ECOOP | July 2015
  
  출판 동영상
- 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)
  
  출판 출판
- Personalized Mathematical Word Problem Generation
  
  Oleksandr Polozov, Eleanor O’Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
  
  IJCAI 2015 | May 2015
  
  출판 출판
- Compositional Program Synthesis from Natural Language and Examples
  
  Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
  
  IJCAI 2015 | May 2015
  
  출판 출판
- 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
  
  출판 출판
- 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
  
  출판 출판 동영상
- 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
  
  출판 출판 동영상
- 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
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- Automating Repetitive Tasks for the Masses
  
  Sumit Gulwani
  
  Keynote at POPL 2015 | January 2015
  
  출판
- Programming by Examples applied to Data Wrangling
  
  Sumit Gulwani
  
  Invited talk at SYNT 2015 | January 2015
  
  출판
- Applications of Formal Methods to Data Wrangling and Education
  
  Sumit Gulwani
  
  Keynote at CBSoft 2015 | January 2015
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- 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
  
  출판
- 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
  
  출판 출판 프로젝트
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  Invited talk at GECCO 2014, Genetic Programming Track | July 2014
  
  출판
- 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
  
  출판 출판 출판 프로젝트 프로젝트
- Programming by Example using Least General Generalizations
  
  Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
  
  July 2014
  
  출판 출판 동영상 프로젝트
- 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
  
  출판 출판 동영상 프로젝트
- Test-Driven Synthesis
  
  Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
  
  PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
  
  출판 출판 출판 프로젝트
- 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 동영상 동영상 프로젝트 프로젝트 프로젝트 프로젝트 프로젝트
- 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
  
  출판 출판 동영상
- 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
  
  출판 동영상 프로젝트 프로젝트
- 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
  
  출판 출판 출판
- Problem Generation and Feedback Generation
  
  Sumit Gulwani
  
  Invited talk at ASSESS 2014 | January 2014
  
  출판
- 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
  
  출판 출판
- 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 프로젝트
- 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
  
  출판 출판 출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트
- Recursive Program Synthesis
  
  Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
  
  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
  
  출판 출판 출판 프로젝트
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  출판 출판 출판 출판 프로젝트 프로젝트
- SmartSynth: synthesizing smartphone automation scripts from natural language
  
  Vu Le, Sumit Gulwani, Zhendong Su
  
  MobiSys'13 | June 2013
  
  PDF DOI 동영상 프로젝트
- 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
  
  출판
- 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 프로젝트 프로젝트
- 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
  
  출판 프로젝트
- 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
  
  출판 출판 프로젝트 프로젝트 프로젝트
- Biological Synthesis
  
  Sumit Gulwani
  
  April 2013
  
  출판 출판
- 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 프로젝트
- Keyword Programming for TouchDevelop
  
  Sumit Gulwani, Jonathan "Peli" de Halleux
  
  Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
  
  출판 프로젝트
- 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
  
  출판 출판
- Continuity and Robustness of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  Cummunications of the ACM, Research Highlights | August 2012
  
  출판 출판 출판
- Learning Semantic String Transformations from Examples
  
  Rishabh Singh, Sumit Gulwani
  
  PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
  
  출판 출판 동영상 프로젝트
- Synthesizing Number Transformations from Input-Output Examples
  
  Rishabh Singh, Sumit Gulwani
  
  24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
  
  출판 출판 출판 동영상 프로젝트
- Type-Directed Completion of Partial Expressions
  
  Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
  
  PLDI'12, June 11-16, 2012, Beijing, China | June 2012
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- Automatically Generating Algebra Problems
  
  Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
  
  AAAI | April 2012
  
  AAAI
  
  출판 출판 프로젝트 프로젝트
- Spreadsheet Data Manipulation using Examples
  
  Sumit Gulwani, William R. Harris, Rishabh Singh
  
  January 2012
  
  Invited to CACM Research Highlights
  
  출판 출판 동영상 프로젝트 프로젝트
- Synthesis from Examples: Interaction Models and Algorithms
  
  Sumit Gulwani
  
  14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 동영상 프로젝트
- 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
  
  출판 출판
- 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
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- Synthesizing Geometry Constructions
  
  Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
  
  PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
  
  출판 출판 프로젝트
- Spreadsheet Table Transformations from Examples
  
  Bill Harris, Sumit Gulwani
  
  PLDI 2011 | June 2011
  
  출판 출판
- 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 동영상 동영상 동영상 프로젝트 프로젝트
- 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
  
  출판 프로젝트
- The Reachability-Bound Problem
  
  Sumit Gulwani, Florian Zuleger
  
  PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
  
  출판 프로젝트
- 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
  
  출판 동영상 프로젝트
- 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
  
  출판 출판 프로젝트
- Continuity Analysis of Programs
  
  Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  출판 출판
- From Program Verification to Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
  
  POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
  
  출판 출판 동영상 프로젝트 프로젝트
- Dimensions in Program Synthesis
  
  Sumit Gulwani
  
  PPDP '10 Hagenberg, Austria | January 2010
  
  출판 출판 프로젝트
- Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
  
  Sumit Gulwani
  
  Oregon Summer School | July 2009
  
  출판 출판 출판 출판 동영상 동영상 동영상 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- SPEED: Symbolic Complexity Bound Analysis
  
  Sumit Gulwani
  
  Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
  
  출판 출판 출판 프로젝트
- Program Verification using Templates over Predicate Abstraction
  
  Saurabh Srivastava, Sumit Gulwani
  
  PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
  
  출판 출판 프로젝트
- 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
  
  출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트 프로젝트
- SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
  
  Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
  
  Principles of Programming Languages (POPL) | January 2009
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 출판 프로젝트 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판
- 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
  
  출판 출판 출판 프로젝트
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  출판 출판
- Program Analysis as Constraint Solving
  
  Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
  
  PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
  
  출판 출판 프로젝트
- 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
  
  출판 출판
- Logical Abstract Interpretation
  
  Sumit Gulwani
  
  Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
  
  출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판 출판 출판
- Constraint-Based Approach for Analysis of Hybrid Systems
  
  Sumit Gulwani, Ashish Tiwari
  
  Computer Aided Verification (CAV) | January 2008
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판
- 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
  
  출판 출판 프로젝트
- Program Verification as Probabilistic Inference
  
  Sumit Gulwani, Nebojsa Jojic
  
  POPL'07 January 17-19, 2007, Nice, France. | January 2007
  
  출판 출판
- Assertion Checking Unified
  
  Sumit Gulwani, Ashish Tiwari
  
  8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
  
  출판 출판 출판 프로젝트
- Precise Interprocedural Analysis using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
  
  출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- 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
  
  출판 출판 출판 프로젝트
- Global Value Numbering using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
  
  출판 출판 프로젝트
- A Polynomial-Time Algorithm for Global Value Numbering
  
  Sumit Gulwani, George C. Necula
  
  Static Analysis Symposium (SAS), 2004 | January 2004
  
  출판 출판 출판 프로젝트
- Discovering Affine Equalities using Random Interpretation
  
  Sumit Gulwani, George C. Necula
  
  POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
  
  출판 출판 프로젝트
- IndiMathBench: Autoformalization Mathematical Reasoning Problems with a Human Touch
  
  Param Biyani, Shashank Kirtania, Yasharth Bajpai, Ashish Tiwari, Sumit Gulwani
  
  ArXiv | October 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
  
  ACM Transactions on Computer-Human Interaction | September 2025, 제 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 동영상
- 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, 제 arXiv:1709.05725 권
  
  출판 출판 프로젝트
- Research for Practice: Programming by Examples
  
  Sumit Gulwani
  
  Research for Practice, CACM | July 2017, 제 60 권: pp. 46-49
  
  출판 프로젝트
- Interactive Program Synthesis
  
  Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
  
  arXiv preprint | March 2017, 제 arXiv:1703.03539 권
  
  Publication 프로젝트
- Program Synthesis Using Stochastic Techniques
  
  Sumit Gulwani
  
  Communications of the ACM, Technical Perspective | February 2016, 제 59 권(2): pp. 113
  
  출판 출판 프로젝트
- 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, 제 22 권(2)
  
  출판 출판 프로젝트
- Example-Based Learning in Computer-Aided STEM Education
  
  Sumit Gulwani
  
  Communications of the ACM | August 2014, 제 57 권(8): pp. 70-80
  
  출판 출판 출판 동영상
- Template-Based Program Verification and Program Synthesis
  
  Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
  
  International Journal on Software Tools for Technology Transfer | January 2012, 제 15 권(5): pp. 497-518
  
  출판 출판 출판 프로젝트
- 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, 제 199 권(1): pp. 107-131
  
  출판 출판 출판 출판 프로젝트
- Improving Language Agents Through BREW
  
  Shashank Kirtania, Param Biyani, Priyanshu Gupta, Yasharth Bajpai, Roshni Iyer, Sumit Gulwani, Gustavo Soares
  
  September 2025
  
  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
- 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
- Collaboration and Conflict between Humans and Language Models through the Lens of Game Theory
  
  Mukul Singh, Arjun Radhakrishna, Sumit Gulwani
  
  September 2025
  
  Publication
- Bridging Gaps Between Student and Expert Evaluations of AI-Generated Programming Hints
  
  Tung Phung, Mengyan Wu, Heeryung Choi, Gustavo Soares, Sumit Gulwani, A. Singla, Christopher Brooks
  
  September 2025
  
  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, 제 10 권(2)
  
  출판 프로젝트
- 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
  
  글쓴이 Microsoft
  
  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
  
  출판 프로젝트 프로젝트
- Building Bing Developer Assistant
  
  Yi Wei, Nirupama Chandrasekaran, Sumit Gulwani, Youssef Hamadi
  
  MSR-TR-2015-36 | May 2015
  
  출판 동영상
- The Reachability-Bound Problem
  
  Sumit Gulwani
  
  MSR-TR-2009-146 | October 2009
  
  출판
- Bound Analysis using Backward Symbolic Execution
  
  Sumit Gulwani, Sudeep Juvekar
  
  MSR-TR-2009-156 | October 2009
  
  출판
- Component Based Synthesis Applied to Bitvector Circuits
  
  Sumit Gulwani, Ramarathnam Venkatesan
  
  MSR-TR-2010-12 | April 2009
  
  출판
- A Combination Framework for Tracking Partition Sizes
  
  Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
  
  MSR-TR-2008-158 | October 2008
  
  출판 출판
- Inferring Locks for Atomic Sections
  
  Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
  
  MSR-TR-2007-111 | August 2007
  
  출판
- Static Analysis of Heap-Manipulating Low-Level Software
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-160 | November 2006
  
  출판
- Assertion Checking Unified
  
  Sumit Gulwani, Asish Tiwari
  
  MSR-TR-2006-99 | July 2006
  
  출판
- Combining Abstract Interpreters
  
  Sumit Gulwani, Ashish Tiwari
  
  MSR-TR-2006-25 | March 2006
  
  출판 출판 프로젝트
- 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
  
  출판 출판 프로젝트
- Repair Is Nearly Generation: Multilingual Program Repair with LLMs
  
  Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
  
  February 2023
  
  게시자: AAAI | February 2023
  
  Publication
- Programming by Examples: PL meets ML
  
  Sumit Gulwani, Prateek Jain
  
  Dependable Software Systems Engineering | 글쓴이 IOS Press | 2019
  
  Publication 프로젝트
- Program Synthesis
  
  Sumit Gulwani, Alex Polozov, Rishabh Singh
  
  Foundations and Trends in Programming Languages
  
  Published by NOW | August 2017, Vol 4
  
  출판 프로젝트
- Program Analysis using Random Interpretation
  
  Sumit Gulwani
  
  September 2005
  
  박사학위논문: PhD Dissertation, University of California, Berkeley | September 2005
  
  ACM SIGPLAN Doctoral Dissertation Award
  
  출판 출판 프로젝트

Sumit Gulwani

출판물

SWE-Sharp-Bench: A Reproducible Benchmark for C# Software Engineering Tasks

ConDABench: Interactive Evaluation of Language Models for Advanced Data Analysis

IndiMathBench: Autoformalization Mathematical Reasoning Problems with a Human Touch

Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the Wild

Improving Language Agents Through BREW

STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with Feedback

TableTalk: Scaffolding Spreadsheet Development with a Language Agent

Collaboration and Conflict between Humans and Language Models through the Lens of Game Theory

Bridging Gaps Between Student and Expert Evaluations of AI-Generated Programming Hints

An Empirical Study of Validating Synthetic Data for Formula Generation

Execution-guided within-prompt search for programming-by-example

TeCoFeS: Text Column Featurization using Semantic Analysis

Microsoft New Future of Work Report 2024

METAREFLECTION: Learning Instructions for Language Agents using Past Reflections

One-to-many testing for code generation from (just) natural language

RAR: Retrieval Augmented Retrieval for Code Generation in Low Resource Languages

Let’s Fix this Together: Conversational Debugging with GitHub Copilot

Tabularis Revilio: Converting Text to Tables

RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations

Semantically Aligned Question and Code Generation for Automated Insight Generation

EmFORE: Learning Email Folder Classification Rules by Demonstration

Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation

Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants

FLAME: A Small Language Model for Spreadsheet Formulas

Investigating Student Mistakes in Introductory Data Science Programming

PyDex: Repairing Bugs in Introductory Python Assignments using LLMs

Assessing GPT4-V on Structured Reasoning Tasks

Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs

Grace: Language Models Meet Code Edits

CODEFUSION: A Pre-trained Diffusion Model for Code Generation

TSTR: Target Similarity Tuning Meets the Real World

EmFore: Online Learning of Email Folder Classification Rules

FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language

Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors

DataVinci: Learning Syntactic and Semantic String Repairs

Demonstration of CORNET: Learning Spreadsheet Formatting Rules by Example

Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models

CoWrangler: Recommender System for Data-Wrangling Scripts

From Words to Code: Harnessing Data for Program Synthesis from Natural Language

Cornet: Learning Table Formatting Rules By Example

Repair Is Nearly Generation: Multilingual Program Repair with LLMs

FlashFill++: Scaling Programming by Example by Cutting to the Chase

Neurosymbolic Repair for Low-Code Formula Languages

Personalized Action Suggestions in Low-Code Automation Platforms

NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis

Overwatch: Learning Patterns in Code Edit Sequences

Repairing Bugs in Python Assignments using Large Language Models

AI-assisted Programming | IJCAI-ECAI 2022 Keynote by Sumit Gulwani

PROSE Research Fellowship Program

Synchromesh: Reliable code generation from pre-trained language models

Shaping the future with: Sumit Gulwani

Storytelling and Science

Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis

reCode: A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example

Semantic programming by example with pre-trained models

APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries

Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems

Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis

Structure interpretation of text formats

An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction

Feedback-Driven Semi-Supervised Synthesis of Program Transformations

Programming by Rewards

ExTuNe: Explaining Tuple Non-conformance

Web data extraction using hybrid program synthesis: a combination of top-down and bottom-up inference

Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists

On the fly synthesis of edit suggestions

Programming by Examples: PL meets ML

Learning Natural Programs from a Few Examples in Real-Time

FlashProfile: A Framework for Synthesizing Data Profiles

Automated Clustering and Program Repair for Introductory Programming Assignments

Compilation Error Repair: For the Student Programs, From the Student Programs

Disjunctive Program Synthesis: A Robust Approach to Programming by Example

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

Automatic Diagnosis of Students’ Misconceptions in K-8 Mathematics

Programming by Examples: PL meets ML

FlashProfile: Interactive Synthesis of Syntactic Profiles

Program Synthesis

Research for Practice: Programming by Examples