Sumit Gulwani

According to our database, Sumit Gulwani authored at least 201 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

PyDex: Repairing Bugs in Introductory Python Assignments using LLMs.

Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen

Proc. ACM Program. Lang., 2024

STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack.

Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna K. Mehra, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares

CoRR, 2024

An Empirical Study of Validating Synthetic Data for Formula Generation.

Usneek Singh, José Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen

CoRR, 2024

Enhancing Creativity in Large Language Models through Associative Thinking Strategies.

Pronita Mehrotra, Aishni Parab, Sumit Gulwani

CoRR, 2024

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

Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani

CoRR, 2024

Generative AI for Education (GAIED): Advances, Opportunities, and Challenges.

Paul Denny, Sumit Gulwani, Neil T. Heffernan, Tanja Käser, Steven Moore, Anna N. Rafferty, Adish Singla

CoRR, 2024

Let's Fix this Together: Conversational Debugging with GitHub Copilot.

Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Dustin Coleman, Sumit Gulwani, Chris Parnin, Arjun Radhakrishna, Gustavo Soares

Proceedings of the 2024 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2024

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

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Semantically Aligned Question and Code Generation for Automated Insight Generation.

Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Z. Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen

LLM4CODE@ICSE, 2024

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

Tung Phung, Victor-Alexandru Padurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares

Proceedings of the 14th Learning Analytics and Knowledge Conference, 2024

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

Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

MetaReflection: Learning Instructions for Language Agents using Past Reflections.

Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Sherry Shi

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

RAR: Retrieval-augmented retrieval for code generation in low resource languages.

Avik Dutta, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

<i> Tabularis Revilio: </i> Converting Text to Tables.

Mukul Singh, Gust Verbruggen, Vu Le, Sumit Gulwani

Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024

RUBICON: Rubric-Based Evaluation of Domain-Specific Human AI Conversations.

Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani

Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024

EmFORE: Learning Email Folder Classification Rules by Demonstration.

Mukul Singh, Gust Verbruggen, José Cambronero, Vu Le, Sumit Gulwani

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

FLAME: A Small Language Model for Spreadsheet Formulas.

Harshit Joshi, Abishai Ebenezer, José Pablo Cambronero Sánchez, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

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

Proc. VLDB Endow., November, 2023

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

José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari

Proc. ACM Program. Lang., January, 2023

CORNET: Learning Spreadsheet Formatting Rules By Example.

Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen

Proc. VLDB Endow., 2023

CORNET: Learning Table Formatting Rules By Example.

Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen

Proc. VLDB Endow., 2023

Building Your Own Product Copilot: Challenges, Opportunities, and Needs.

Chris Parnin, Gustavo Soares, Rahul Pandita, Sumit Gulwani, Jessica Rich, Austin Z. Henley

CoRR, 2023

Assessing GPT4-V on Structured Reasoning Tasks.

Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen

CoRR, 2023

TST^R: Target Similarity Tuning Meets the Real World.

Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen

CoRR, 2023

Conversational Challenges in AI-Powered Data Science: Obstacles, Needs, and Design Opportunities.

Bhavya Chopra, Ananya Singha, Anna Fariha, Sumit Gulwani, Chris Parnin, Ashish Tiwari, Austin Z. Henley

CoRR, 2023

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

Ananya Singha, José Cambronero, Sumit Gulwani, Vu Le, Chris Parnin

CoRR, 2023

Augmented Embeddings for Custom Retrievals.

Anirudh Khatry, Yasharth Bajpai, Priyanshu Gupta, Sumit Gulwani, Ashish Tiwari

CoRR, 2023

DataVinci: Learning Syntactic and Semantic String Repairs.

Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen

CoRR, 2023

Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example.

Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen

CoRR, 2023

GrACE: Generation using Associated Code Edits.

Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

CoRR, 2023

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

Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, K. Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari

CoRR, 2023

Grace: Language Models Meet Code Edits.

Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

CoWrangler: Recommender System for Data-Wrangling Scripts.

Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari

Proceedings of the Companion of the 2023 International Conference on Management of Data, 2023

Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience.

Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang, Aaron Yim

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

Personalized action suggestions in low-code automation platforms.

Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

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

Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares

Proceedings of the 2023 ACM Conference on International Computing Education Research, 2023

CodeFusion: A Pre-trained Diffusion Model for Code Generation.

Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

TSTR: Target Similarity Tuning Meets the Real World.

Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Mukul Singh, Ananya Singha, Gust Verbruggen

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

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

Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares

Proceedings of the 16th International Conference on Educational Data Mining, 2023

EmFore: Online Learning of Email Folder Classification Rules.

Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

Repair Is Nearly Generation: Multilingual Program Repair with LLMs.

Harshit Joshi, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Gust Verbruggen, Ivan Radicek

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Overwatch: learning patterns in code edit sequences.

Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari

Proc. ACM Program. Lang., 2022

Neurosymbolic repair for low-code formula languages.

Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari

Proc. ACM Program. Lang., 2022

Repairing Bugs in Python Assignments Using Large Language Models.

Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen

CoRR, 2022

CORNET: A neurosymbolic approach to learning conditional table formatting rules by example.

Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen

CoRR, 2022

Storytelling and science.

Titus Barik, Sumit Gulwani, Mario Juarez

Commun. ACM, 2022

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

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote).

Sumit Gulwani

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Synchromesh: Reliable Code Generation from Pre-trained Language Models.

Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Semantic programming by example with pre-trained models.

Gust Verbruggen, Vu Le, Sumit Gulwani

Proc. ACM Program. Lang., 2021

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis.

Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Proc. ACM Program. Lang., 2021

APIfix: output-oriented program synthesis for combating breaking changes in libraries.

Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury

Proc. ACM Program. Lang., 2021

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis.

Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

CoRR, 2021

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

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems.

Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning.

Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

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

Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Structure interpretation of text formats.

Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza

Proc. ACM Program. Lang., 2020

Feedback-driven semi-supervised synthesis of program transformations.

Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari

Proc. ACM Program. Lang., 2020

Programming by Rewards.

Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram K. Rajamani, Sumit Gulwani, Johannes Gehrke

CoRR, 2020

Computer-Aided Personalized Education.

Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi

CoRR, 2020

Information-theoretic User Interaction: Significant Inputs for Program Synthesis.

Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman

CoRR, 2020

Data Invariants: On Trust in Data-Driven Systems.

Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou

CoRR, 2020

Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference.

Mohammad Raza, Sumit Gulwani

Proceedings of the 2020 International Conference on Management of Data, 2020

ExTuNe: Explaining Tuple Non-conformance.

Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani

Proceedings of the 2020 International Conference on Management of Data, 2020

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

Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani

Proceedings of the 25th International Conference on Pattern Recognition, 2020

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

Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

2019

On the fly synthesis of edit suggestions.

Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa

Proc. ACM Program. Lang., 2019

Quantitative Programming by Examples.

Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa

CoRR, 2019

Learning Natural Programs from a Few Examples in Real-Time.

Nagarajan Natarajan, Danny Simmons, Naren Datha, Prateek Jain, Sumit Gulwani

Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

2018

Combining Model Checking and Data-Flow Analysis.

Dirk Beyer, Sumit Gulwani, David A. Schmidt

Proceedings of the Handbook of Model Checking., 2018

FlashProfile: a framework for synthesizing data profiles.

Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein

Proc. ACM Program. Lang., 2018

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

Ashwin J. Vijayakumar, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani

CoRR, 2018

Automated clustering and program repair for introductory programming assignments.

Sumit Gulwani, Ivan Radicek, Florian Zuleger

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Compilation error repair: for the student programs, from the student programs.

Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani

Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, 2018

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

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

Proceedings of the 6th International Conference on Learning Representations, 2018

Automatic Diagnosis of Students' Misconceptions in K-8 Mathematics.

Molly Q. Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

Disjunctive Program Synthesis: A Robust Approach to Programming by Example.

Mohammad Raza, Sumit Gulwani

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples.

Peter Alvaro, Sumit Gulwani, Peter Bailis

ACM Queue, 2017

Program Synthesis.

Sumit Gulwani, Oleksandr Polozov, Rishabh Singh

Found. Trends Program. Lang., 2017

FlashProfile: Interactive Synthesis of Syntactic Profiles.

Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein

CoRR, 2017

Interactive Program Synthesis.

Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani

CoRR, 2017

Programming by examples: applications, algorithms, and ambiguity resolution.

Sumit Gulwani

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

Learning to Learn Programs from Examples: Going Beyond Program Structure.

Kevin Ellis, Sumit Gulwani

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Learning syntactic program transformations from examples.

Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann

Proceedings of the 39th International Conference on Software Engineering, 2017

Synthesis of Solutions for Shaded Area Geometry Problems.

Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

Programming by Examples: PL Meets ML.

Sumit Gulwani, Prateek Jain

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

Synthesis of Problems for Shaded Area Geometry Reasoning.

Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

Proceedings of the Artificial Intelligence in Education - 18th International Conference, 2017

Automated Data Extraction Using Predictive Program Synthesis.

Mohammad Raza, Sumit Gulwani

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Programming by Examples - and its applications in Data Wrangling.

Sumit Gulwani

Proceedings of the Dependable Software Systems Engineering, 2016

Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis.

Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani

CoRR, 2016

Technical Perspective: Program synthesis using stochastic techniques.

Sumit Gulwani

Commun. ACM, 2016

Semi-supervised verified feedback generation.

Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Feedback generation for performance problems in introductory programming assignments.

Florian Zuleger, Ivan Radicek, Sumit Gulwani

Proceedings of the Software Engineering 2016, 2016

Transforming spreadsheet data types using examples.

Rishabh Singh, Sumit Gulwani

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

FIDEX: filtering spreadsheet data using examples.

Xinyu Wang, Sumit Gulwani, Rishabh Singh

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Ringer: web automation by demonstration.

Shaon Barman, Sarah E. Chasins, Rastislav Bodík, Sumit Gulwani

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Program synthesis using natural language.

Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

How Can Automatic Feedback Help Students Construct Automata?

Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann

ACM Trans. Comput. Hum. Interact., 2015

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System.

Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

CoRR, 2015

Inductive programming meets the real world.

Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Benjamin G. Zorn

Commun. ACM, 2015

Browser Record and Replay as a Building Block for End-User Web Automation Tools.

Sarah E. Chasins, Shaon Barman, Rastislav Bodík, Sumit Gulwani

Proceedings of the 24th International Conference on World Wide Web Companion, 2015

User Interaction Models for Disambiguation in Programming by Example.

Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani

Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015

Cultivating research taste (illustrated via a journey in program synthesis research).

Sumit Gulwani

Proceedings of the Programming Languages Mentoring Workshop, 2015

Automating Repetitive Tasks for the Masses.

Sumit Gulwani

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

FlashRelate: extracting relational data from semi-structured spreadsheets using examples.

Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

FlashMeta: a framework for inductive program synthesis.

Oleksandr Polozov, Sumit Gulwani

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Automating grammar comparison.

Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Compositional Program Synthesis from Natural Language and Examples.

Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Personalized Mathematical Word Problem Generation.

Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

FlashNormalize: Programming by Examples for Text Normalization.

Dileep Kini, Sumit Gulwani

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

StriSynth: Synthesis for Live Programming.

Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

A Framework for Automatically Generating Interactive Instructional Scaffolding.

Eleanor O'Rourke, Erik Andersen, Sumit Gulwani, Zoran Popovic

Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 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

Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

Automatic Game Progression Design through Analysis of Solution Features.

Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popovic

Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

Predicting a Correct Program in Programming by Example.

Rishabh Singh, Sumit Gulwani

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.

Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Program Synthesis.

Sumit Gulwani

Proceedings of the Software Systems Safety, 2014

Example-based learning in computer-aided STEM education.

Sumit Gulwani

Commun. ACM, 2014

NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation.

Sumit Gulwani, Mark Marron

Proceedings of the International Conference on Management of Data, 2014

Test-driven synthesis.

Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

FlashExtract: a framework for data extraction by examples.

Vu Le, Sumit Gulwani

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

LaSEWeb: automating search strategies over semi-structured web data.

Oleksandr Polozov, Sumit Gulwani

Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014

A practical framework for constructing structured drawings.

Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.

Proceedings of the 19th International Conference on Intelligent User Interfaces, 2014

Applications of program synthesis to end-user programming and intelligent tutoring systems.

Sumit Gulwani

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Programming by Example Using Least General Generalizations.

Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Synthesis of Geometry Proof Problems.

Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Template-based program verification and program synthesis.

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Int. J. Softw. Tools Technol. Transf., 2013

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502).

Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid

Dagstuhl Reports, 2013

A colorful approach to text processing by example.

Kuat Yessenov, Shubham Tulsiani, Aditya Krishna Menon, Robert C. Miller, Sumit Gulwani, Butler W. Lampson, Adam Kalai

Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

From relational verification to SIMD loop synthesis.

Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Automated feedback generation for introductory programming assignments.

Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Static analysis for probabilistic programs: inferring whole program properties from finitely many paths.

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Keyword programming for TouchDevelop.

Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

SmartSynth: synthesizing smartphone automation scripts from natural language.

Vu Le, Sumit Gulwani, Zhendong Su

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning.

Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Automated Grading of DFA Constructions.

Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan

Proceedings of the IJCAI 2013, 2013

Automatically Generating Problems and Solutions for Natural Deduction.

Umair Z. Ahmed, Sumit Gulwani, Amey Karkare

Proceedings of the IJCAI 2013, 2013

Teaching and learning programming and software engineering via interactive gaming.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop

Proceedings of the 35th International Conference on Software Engineering, 2013

A Machine Learning Framework for Programming by Example.

Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai

Proceedings of the 30th International Conference on Machine Learning, 2013

A trace-based framework for analyzing and synthesizing educational progressions.

Erik Andersen, Sumit Gulwani, Zoran Popovic

Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

Recursive Program Synthesis.

Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Learning Semantic String Transformations from Examples.

Rishabh Singh, Sumit Gulwani

Proc. VLDB Endow., 2012

Software Synthesis (Dagstuhl Seminar 12152).

Rastislav Bodík, Sumit Gulwani, Eran Yahav

Dagstuhl Reports, 2012

Textual Features for Programming by Example

Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Tauman Kalai

CoRR, 2012

Automated Semantic Grading of Programs

Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama

CoRR, 2012

Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)

Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith

CoRR, 2012

Spreadsheet data manipulation using examples.

Sumit Gulwani, William R. Harris, Rishabh Singh

Commun. ACM, 2012

Continuity and robustness of programs.

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman

Commun. ACM, 2012

Synthesis from Examples: Interaction Models and Algorithms.

Sumit Gulwani

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Type-directed completion of partial expressions.

Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

QuickDraw: improving drawing experience for geometric diagrams.

Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012

Synthesizing Number Transformations from Input-Output Examples.

Rishabh Singh, Sumit Gulwani

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Automatically Generating Algebra Problems.

Rohit Singh, Sumit Gulwani, Sriram K. Rajamani

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Synthesizing switching logic using constraint solving.

Ankur Taly, Sumit Gulwani, Ashish Tiwari

Int. J. Softw. Tools Technol. Transf., 2011

Proving programs robust.

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Bound Analysis of Imperative Programs with the Size-Change Abstraction.

Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith

Proceedings of the Static Analysis - 18th International Symposium, 2011

Automating string processing in spreadsheets using input-output examples.

Sumit Gulwani

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Path-based inductive synthesis for program inversion.

Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Spreadsheet table transformations from examples.

William R. Harris, Sumit Gulwani

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Synthesizing geometry constructions.

Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Synthesis of loop-free programs.

Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Dimensions in program synthesis.

Sumit Gulwani

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

From program verification to program synthesis.

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Continuity analysis of programs.

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

The reachability-bound problem.

Sumit Gulwani, Florian Zuleger

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

A simple inductive synthesis methodology and its applications.

Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Oracle-guided component-based program synthesis.

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Synthesizing switching logic for safety and dwell-time requirements.

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009

Constraint-Based Invariant Inference over Predicate Abstraction.

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan

Proceedings of the Verification, 2009

SPEED: precise and efficient static estimation of program computational complexity.

Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

A combination framework for tracking partition sizes.

Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Program verification using templates over predicate abstraction.

Saurabh Srivastava, Sumit Gulwani

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Control-flow refinement and progress invariants for bound analysis.

Sumit Gulwani, Sagar Jain, Eric Koskinen

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

VS3: SMT Solvers for Program Verification.

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

SPEED: Symbolic Complexity Bound Analysis.

Sumit Gulwani

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Lifting abstract interpreters to quantified logical domains.

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Program analysis as constraint solving.

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Inferring locks for atomic sections.

Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Cover Algorithms and Their Combination.

Sumit Gulwani, Madan Musuvathi

Proceedings of the Programming Languages and Systems, 2008

Ranking Abstractions.

Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2008

Constraint-Based Approach for Analysis of Hybrid Systems.

Sumit Gulwani, Ashish Tiwari

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis.

Bhargav S. Gulavani, Sumit Gulwani

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Proving Conditional Termination.

Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

A polynomial-time algorithm for global value numbering.

Sumit Gulwani, George C. Necula

Sci. Comput. Program., 2007

Assertion Checking Unified.

Sumit Gulwani, Ashish Tiwari

Proceedings of the Verification, 2007

Program verification as probabilistic inference.

Sumit Gulwani, Nebojsa Jojic

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Computing Procedure Summaries for Interprocedural Analysis.

Sumit Gulwani, Ashish Tiwari

Proceedings of the Programming Languages and Systems, 2007

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software.

Sumit Gulwani, Ashish Tiwari

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Logical Interpretation: Static Program Analysis Using Theorem Proving.

Ashish Tiwari, Sumit Gulwani

Proceedings of the Automated Deduction, 2007

2006

Combining abstract interpreters.

Sumit Gulwani, Ashish Tiwari

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.

Sumit Gulwani, Ashish Tiwari

Proceedings of the Programming Languages and Systems, 2006

2005

A randomized satisfiability procedure for arithmetic and uninterpreted function symbols.

Sumit Gulwani, George C. Necula

Inf. Comput., 2005

Precise interprocedural analysis using random interpretation.

Sumit Gulwani, George C. Necula

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Randomized Algorithms for Program Analysis and Verification.

George C. Necula, Sumit Gulwani

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions.

Sumit Gulwani, George C. Necula

Proceedings of the Static Analysis, 11th International Symposium, 2004

Global value numbering using random interpretation.

Sumit Gulwani, George C. Necula

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Join Algorithms for the Theory of Uninterpreted Functions.

Sumit Gulwani, Ashish Tiwari, George C. Necula

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

2003

Discovering affine equalities using random interpretation.

Sumit Gulwani, George C. Necula

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols.

Sumit Gulwani, George C. Necula

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2001

WebCaL - a domain specific language for web caching.

Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel

Comput. Commun., 2001