default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSumit Gulwani
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j30]Jialu Zhang
, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen:
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs. Proc. ACM Program. Lang. 8(OOPSLA1): 1100-1124 (2024)- [c140]Harshit Joshi, Abishai Ebenezer, José Pablo Cambronero Sánchez, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen:
FLAME: A Small Language Model for Spreadsheet Formulas. AAAI 2024: 12995-13003 - [c139]Mukul Singh, Gust Verbruggen, José Cambronero, Vu Le, Sumit Gulwani:
EmFORE: Learning Email Folder Classification Rules by Demonstration. AAAI 2024: 23835-23837 - [c138]Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani:
RUBICON: Rubric-Based Evaluation of Domain-Specific Human AI Conversations. AIware 2024 - [c137]Mukul Singh, Gust Verbruggen, Vu Le, Sumit Gulwani:
Tabularis Revilio: Converting Text to Tables. CIKM 2024: 4056-4060 - [c136]Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Sherry Shi:
MetaReflection: Learning Instructions for Language Agents using Past Reflections. EMNLP 2024: 8369-8385 - [c135]Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le:
One-to-many testing for code generation from (just) natural language. EMNLP (Findings) 2024: 15397-15402 - [c134]Avik Dutta, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le:
RAR: Retrieval-augmented retrieval for code generation in low resource languages. EMNLP 2024: 21506-21515 - [c133]Tung Phung, Victor-Alexandru Padurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares:
Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation. LAK 2024: 12-23 - [c132]Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Z. Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen:
Semantically Aligned Question and Code Generation for Automated Insight Generation. LLM4CODE@ICSE 2024: 127-134 - [c131]Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Z. Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani:
Investigating Student Mistakes in Introductory Data Science Programming. SIGCSE (1) 2024: 1258-1264 - [c130]Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Dustin Coleman, Sumit Gulwani, Chris Parnin, Arjun Radhakrishna, Gustavo Soares:
Let's Fix this Together: Conversational Debugging with GitHub Copilot. VL/HCC 2024: 1-12 - [i53]Paul Denny, Sumit Gulwani, Neil T. Heffernan, Tanja Käser, Steven Moore, Anna N. Rafferty, Adish Singla:
Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. CoRR abs/2402.01580 (2024) - [i52]Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani:
Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants. CoRR abs/2402.06229 (2024) - [i51]Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Z. Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen:
Semantically Aligned Question and Code Generation for Automated Insight Generation. CoRR abs/2405.01556 (2024) - [i50]Pronita Mehrotra, Aishni Parab, Sumit Gulwani:
Enhancing Creativity in Large Language Models through Associative Thinking Strategies. CoRR abs/2405.06715 (2024) - [i49]Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares:
METAREFLECTION: Learning Instructions for Language Agents using Past Reflections. CoRR abs/2405.13009 (2024) - [i48]Usneek Singh, José Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen:
An Empirical Study of Validating Synthetic Data for Formula Generation. CoRR abs/2407.10657 (2024) - [i47]Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna K. Mehra, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares:
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack. CoRR abs/2410.10584 (2024) - 2023
- [j29]José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari:
FlashFill++: Scaling Programming by Example by Cutting to the Chase. Proc. ACM Program. Lang. 7(POPL): 952-981 (2023) - [j28]Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen:
CORNET: Learning Table Formatting Rules By Example. Proc. VLDB Endow. 16(10): 2632-2644 (2023) - [j27]Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen:
CORNET: Learning Spreadsheet Formatting Rules By Example. Proc. VLDB Endow. 16(12): 4058-4061 (2023) - [j26]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen:
FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language. Proc. VLDB Endow. 17(3): 497-510 (2023) - [c129]Harshit Joshi, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Gust Verbruggen, Ivan Radicek:
Repair Is Nearly Generation: Multilingual Program Repair with LLMs. AAAI 2023: 5131-5140 - [c128]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen:
EmFore: Online Learning of Email Folder Classification Rules. CIKM 2023: 2280-2290 - [c127]Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. EDM 2023 - [c126]Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Mukul Singh, Ananya Singha, Gust Verbruggen:
TSTR: Target Similarity Tuning Meets the Real World. EMNLP (Findings) 2023: 10256-10261 - [c125]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen:
CodeFusion: A Pre-trained Diffusion Model for Code Generation. EMNLP 2023: 11697-11708 - [c124]Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. ICER (2) 2023: 41-42 - [c123]Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang, Aaron Yim:
Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience. ICSE-SEIP 2023: 185-195 - [c122]Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le:
Personalized action suggestions in low-code automation platforms. ICSE Companion 2023: 346-350 - [c121]Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari:
CoWrangler: Recommender System for Data-Wrangling Scripts. SIGMOD Conference Companion 2023: 147-150 - [c120]Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
Grace: Language Models Meet Code Edits. ESEC/SIGSOFT FSE 2023: 1483-1495 - [i46]Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen:
FLAME: A small language model for spreadsheet formulas. CoRR abs/2301.13779 (2023) - [i45]Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. CoRR abs/2302.04662 (2023) - [i44]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:
From Words to Code: Harnessing Data for Program Synthesis from Natural Language. CoRR abs/2305.01598 (2023) - [i43]Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le:
Personalized action suggestions in low-code automation platforms. CoRR abs/2305.10530 (2023) - [i42]Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
GrACE: Generation using Associated Code Edits. CoRR abs/2305.14129 (2023) - [i41]Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. CoRR abs/2306.17156 (2023) - [i40]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen:
Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example. CoRR abs/2308.07357 (2023) - [i39]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen:
DataVinci: Learning Syntactic and Semantic String Repairs. CoRR abs/2308.10922 (2023) - [i38]Tung Phung, Victor-Alexandru Padurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares:
Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation. CoRR abs/2310.03780 (2023) - [i37]Anirudh Khatry, Yasharth Bajpai, Priyanshu Gupta, Sumit Gulwani, Ashish Tiwari:
Augmented Embeddings for Custom Retrievals. CoRR abs/2310.05380 (2023) - [i36]Ananya Singha, José Cambronero, Sumit Gulwani, Vu Le, Chris Parnin:
Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs. CoRR abs/2310.10358 (2023) - [i35]Bhavya Chopra, Ananya Singha, Anna Fariha, Sumit Gulwani, Chris Parnin, Ashish Tiwari, Austin Z. Henley:
Conversational Challenges in AI-Powered Data Science: Obstacles, Needs, and Design Opportunities. CoRR abs/2310.16164 (2023) - [i34]Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen:
TSTR: Target Similarity Tuning Meets the Real World. CoRR abs/2310.17228 (2023) - [i33]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen:
Assessing GPT4-V on Structured Reasoning Tasks. CoRR abs/2312.11524 (2023) - [i32]Chris Parnin, Gustavo Soares, Rahul Pandita, Sumit Gulwani, Jessica Rich, Austin Z. Henley:
Building Your Own Product Copilot: Challenges, Opportunities, and Needs. CoRR abs/2312.14231 (2023) - 2022
- [j25]Titus Barik, Sumit Gulwani, Mario Juarez:
Storytelling and science. Commun. ACM 65(10): 27-30 (2022) - [j24]Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari:
Overwatch: learning patterns in code edit sequences. Proc. ACM Program. Lang. 6(OOPSLA2): 395-423 (2022) - [j23]Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari:
Neurosymbolic repair for low-code formula languages. Proc. ACM Program. Lang. 6(OOPSLA2): 1093-1122 (2022) - [c119]Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani:
Synchromesh: Reliable Code Generation from Pre-trained Language Models. ICLR 2022 - [c118]Sumit Gulwani:
AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote). ESEC/SIGSOFT FSE 2022: 1 - [c117]Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie:
NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE 2022: 972-983 - [i31]Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani:
Synchromesh: Reliable code generation from pre-trained language models. CoRR abs/2201.11227 (2022) - [i30]Rohan Bavishi, Harshit Joshi, José Pablo Cambronero Sánchez, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari:
Neurosymbolic Repair for Low-Code Formula Languages. CoRR abs/2207.11765 (2022) - [i29]Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari:
Overwatch: Learning Patterns in Code Edit Sequences. CoRR abs/2207.12456 (2022) - [i28]Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen:
CORNET: A neurosymbolic approach to learning conditional table formatting rules by example. CoRR abs/2208.06032 (2022) - [i27]Harshit Joshi, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen:
Repair Is Nearly Generation: Multilingual Program Repair with LLMs. CoRR abs/2208.11640 (2022) - [i26]Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen:
Repairing Bugs in Python Assignments Using Large Language Models. CoRR abs/2209.14876 (2022) - 2021
- [j22]Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury:
APIfix: output-oriented program synthesis for combating breaking changes in libraries. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - [j21]Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - [j20]Gust Verbruggen, Vu Le, Sumit Gulwani:
Semantic programming by example with pre-trained models. Proc. ACM Program. Lang. 5(OOPSLA): 1-25 (2021) - [c116]Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman:
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. ICSE 2021: 785-796 - [c115]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou:
Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. SIGMOD Conference 2021: 499-512 - [c114]Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani:
CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. SIGMOD Conference 2021: 2706-2710 - [c113]Wode Ni, Joshua Sunshine, Vu Le, Sumit Gulwani, Titus Barik:
reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example. UIST 2021: 258-269 - [i25]Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman:
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. CoRR abs/2103.02004 (2021) - [i24]Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. CoRR abs/2109.02445 (2021) - 2020
- [j19]Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza:
Structure interpretation of text formats. Proc. ACM Program. Lang. 4(OOPSLA): 212:1-212:29 (2020) - [j18]Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari:
Feedback-driven semi-supervised synthesis of program transformations. Proc. ACM Program. Lang. 4(OOPSLA): 219:1-219:30 (2020) - [c112]Ian Drosos, Titus Barik, Philip J. Guo, Robert DeLine, Sumit Gulwani:
Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists. CHI 2020: 1-12 - [c111]Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani:
An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction. ICPR 2020: 4062-4069 - [c110]Mohammad Raza, Sumit Gulwani:
Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference. SIGMOD Conference 2020: 1967-1978 - [c109]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani:
ExTuNe: Explaining Tuple Non-conformance. SIGMOD Conference 2020: 2741-2744 - [i23]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou:
Data Invariants: On Trust in Data-Driven Systems. CoRR abs/2003.01289 (2020) - [i22]Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman:
Information-theoretic User Interaction: Significant Inputs for Program Synthesis. CoRR abs/2006.12638 (2020) - [i21]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:
Computer-Aided Personalized Education. CoRR abs/2007.03704 (2020) - [i20]Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram K. Rajamani, Sumit Gulwani, Johannes Gehrke:
Programming by Rewards. CoRR abs/2007.06835 (2020)
2010 – 2019
- 2019
- [j17]Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa:
On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. 3(OOPSLA): 143:1-143:29 (2019) - [c108]Nagarajan Natarajan, Danny Simmons, Naren Datha, Prateek Jain, Sumit Gulwani:
Learning Natural Programs from a Few Examples in Real-Time. AISTATS 2019: 1714-1722 - [i19]Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa:
Quantitative Programming by Examples. CoRR abs/1909.05964 (2019) - 2018
- [j16]Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein:
FlashProfile: a framework for synthesizing data profiles. Proc. ACM Program. Lang. 2(OOPSLA): 150:1-150:28 (2018) - [c107]Mohammad Raza, Sumit Gulwani:
Disjunctive Program Synthesis: A Robust Approach to Programming by Example. AAAI 2018: 1403-1412 - [c106]Molly Q. Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen:
Automatic Diagnosis of Students' Misconceptions in K-8 Mathematics. CHI 2018: 264 - [c105]Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani:
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. ICLR (Poster) 2018 - [c104]Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani:
Compilation error repair: for the student programs, from the student programs. ICSE (SEET) 2018: 78-87 - [c103]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Automated clustering and program repair for introductory programming assignments. PLDI 2018: 465-480 - [p3]Dirk Beyer, Sumit Gulwani, David A. Schmidt:
Combining Model Checking and Data-Flow Analysis. Handbook of Model Checking 2018: 493-540 - [i18]Ashwin J. Vijayakumar, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani:
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. CoRR abs/1804.01186 (2018) - 2017
- [j15]Peter Bailis, Peter Alvaro, Sumit Gulwani:
Research for practice: tracing and debugging distributed systems; programming by examples. Commun. ACM 60(7): 46-49 (2017) - [j14]Sumit Gulwani, Oleksandr Polozov, Rishabh Singh:
Program Synthesis. Found. Trends Program. Lang. 4(1-2): 1-119 (2017) - [j13]Peter Alvaro, Sumit Gulwani, Peter Bailis:
Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples. ACM Queue 15(1): 60 (2017) - [c102]Mohammad Raza, Sumit Gulwani:
Automated Data Extraction Using Predictive Program Synthesis. AAAI 2017: 882-890 - [c101]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Problems for Shaded Area Geometry Reasoning. AIED 2017: 455-458 - [c100]Sumit Gulwani, Prateek Jain:
Programming by Examples: PL Meets ML. APLAS 2017: 3-20 - [c99]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Solutions for Shaded Area Geometry Problems. FLAIRS 2017: 14-19 - [c98]Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann:
Learning syntactic program transformations from examples. ICSE 2017: 404-415 - [c97]Kevin Ellis, Sumit Gulwani:
Learning to Learn Programs from Examples: Going Beyond Program Structure. IJCAI 2017: 1638-1645 - [c96]Sumit Gulwani:
Programming by examples: applications, algorithms, and ambiguity resolution. PPDP 2017: 2 - [i17]Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani:
Interactive Program Synthesis. CoRR abs/1703.03539 (2017) - [i16]Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein:
FlashProfile: Interactive Synthesis of Syntactic Profiles. CoRR abs/1709.05725 (2017) - 2016
- [j12]Sumit Gulwani:
Technical Perspective: Program synthesis using stochastic techniques. Commun. ACM 59(2): 113 (2016) - [c95]Sumit Gulwani:
Programming by Examples: Applications, Algorithms, and Ambiguity Resolution. IJCAR 2016: 9-14 - [c94]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program synthesis using natural language. ICSE 2016: 345-356 - [c93]Xinyu Wang, Sumit Gulwani, Rishabh Singh:
FIDEX: filtering spreadsheet data using examples. OOPSLA 2016: 195-213 - [c92]Shaon Barman, Sarah E. Chasins, Rastislav Bodík, Sumit Gulwani:
Ringer: web automation by demonstration. OOPSLA 2016: 748-764 - [c91]Rishabh Singh, Sumit Gulwani:
Transforming spreadsheet data types using examples. POPL 2016: 343-356 - [c90]Florian Zuleger, Ivan Radicek, Sumit Gulwani:
Feedback generation for performance problems in introductory programming assignments. Software Engineering 2016: 49-50 - [c89]Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani:
Semi-supervised verified feedback generation. SIGSOFT FSE 2016: