Stop the war!Остановите войну!
for scientists:
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
- 2023
[j26]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)- [c124]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 - [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 - [i39]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) - [i38]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) - [i37]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) - [i36]Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le:
Personalized action suggestions in low-code automation platforms. CoRR abs/2305.10530 (2023) - [i35]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) - [i34]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) - [i33]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) - [i32]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen:
DataVinci: Learning Syntactic and Semantic String Repairs. CoRR abs/2308.10922 (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) - [c120]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) 2022: 41-42 - [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: 739-750 - [p2]Sumit Gulwani:
Programming by Examples - and its applications in Data Wrangling. Dependable Software Systems Engineering 2016: 137-158 - [i15]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Automated Clustering and Program Repair for Introductory Programming Assignments. CoRR abs/1603.03165 (2016) - [i14]Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani:
Semi-Supervised Verified Feedback Generation. CoRR abs/1603.04584 (2016) - [i13]Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani:
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. CoRR abs/1608.03828 (2016) - [i12]Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann:
Learning Syntactic Program Transformations from Examples. CoRR abs/1608.09000 (2016) - 2015
- [j11]Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Benjamin G. Zorn:
Inductive programming meets the real world. Commun. ACM 58(11): 90-99 (2015) - [j10]Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann:
How Can Automatic Feedback Help Students Construct Automata? ACM Trans. Comput. Hum. Interact. 22(2): 9:1-9:24 (2015) - [c88]Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani:
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. AAAI 2015: 745-752 - [c87]Rishabh Singh, Sumit Gulwani:
Predicting a Correct Program in Programming by Example. CAV (1) 2015: 398-414 - [c86]Eleanor O'Rourke, Erik Andersen, Sumit Gulwani, Zoran Popovic:
A Framework for Automatically Generating Interactive Instructional Scaffolding. CHI 2015: 1545-1554 - [c85]Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popovic:
Automatic Game Progression Design through Analysis of Solution Features. CHI 2015: 2407-2416 - [c84]Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani:
Mixed-Initiative Approaches to Global Editing in Slideware. CHI 2015: 3503-3512 - [c83]Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac:
StriSynth: Synthesis for Live Programming. ICSE (2) 2015: 701-704 - [c82]Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic:
Personalized Mathematical Word Problem Generation. IJCAI 2015: 381-388 - [c81]Dileep Kini, Sumit Gulwani:
FlashNormalize: Programming by Examples for Text Normalization. IJCAI 2015: 776-783 - [c80]Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling:
Compositional Program Synthesis from Natural Language and Examples. IJCAI 2015: 792-800 - [c79]Oleksandr Polozov, Sumit Gulwani:
FlashMeta: a framework for inductive program synthesis. OOPSLA 2015: 107-126 - [c78]Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak:
Automating grammar comparison. OOPSLA 2015: 183-200 - [c77]Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn:
FlashRelate: extracting relational data from semi-structured spreadsheets using examples. PLDI 2015: 218-228 - [c76]Sumit Gulwani:
Automating Repetitive Tasks for the Masses. POPL 2015: 1-2 - [c75]Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani:
User Interaction Models for Disambiguation in Programming by Example. UIST 2015: 291-301 - [c74]Sarah E. Chasins, Shaon Barman, Rastislav Bodík, Sumit Gulwani:
Browser Record and Replay as a Building Block for End-User Web Automation Tools. WWW (Companion Volume) 2015: 179-182 - [i11]Sumit Gulwani:
Cultivating research taste (illustrated via a journey in program synthesis research). PLMW@POPL 2015: 10:1 - [i10]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program Synthesis using Natural Language. CoRR abs/1509.00413 (2015) - [i9]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. CoRR abs/1510.08525 (2015) - 2014
- [j9]Sumit Gulwani:
Example-based learning in computer-aided STEM education. Commun. ACM 57(8): 70-80 (2014) - [c73]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Geometry Proof Problems. AAAI 2014: 245-252 - [c72]Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling:
Programming by Example Using Least General Generalizations. AAAI 2014: 283-290 - [c71]Sumit Gulwani:
Applications of program synthesis to end-user programming and intelligent tutoring systems. GECCO (Companion) 2014: 5-6 - [c70]Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.:
A practical framework for constructing structured drawings. IUI 2014: 311-316 - [c69]Oleksandr Polozov, Sumit Gulwani:
LaSEWeb: automating search strategies over semi-structured web data. KDD 2014: 741-750 - [c68]Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost:
Test-driven synthesis. PLDI 2014: 408-418 - [c67]Vu Le, Sumit Gulwani:
FlashExtract: a framework for data extraction by examples. PLDI 2014: 542-553 - [c66]Sumit Gulwani, Mark Marron:
NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation. SIGMOD Conference 2014: 803-814 - [c65]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Feedback generation for performance problems in introductory programming assignments. SIGSOFT FSE 2014: 41-51 - [p1]Sumit Gulwani:
Program Synthesis. Software Systems Safety 2014: 43-75 - [i8]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Feedback Generation for Performance Problems in Introductory Programming Assignments. CoRR abs/1403.4064 (2014) - [i7]Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani:
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. CoRR abs/1411.4023 (2014) - 2013
- [j8]Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster:
Template-based program verification and program synthesis. Int. J. Softw. Tools Technol. Transf. 15(5-6): 497-518 (2013) - [c64]Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid:
Recursive Program Synthesis. CAV 2013: 934-950 - [c63]Erik Andersen, Sumit Gulwani, Zoran Popovic:
A trace-based framework for analyzing and synthesizing educational progressions. CHI 2013: 773-782 - [c62]Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai:
A Machine Learning Framework for Programming by Example. ICML (1) 2013: 187-195 - [c61]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop:
Teaching and learning programming and software engineering via interactive gaming. ICSE 2013: 1117-1126 - [c60]Umair Z. Ahmed, Sumit Gulwani, Amey Karkare:
Automatically Generating Problems and Solutions for Natural Deduction. IJCAI 2013: 1968-1975 - [c59]Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan:
Automated Grading of DFA Constructions. IJCAI 2013: 1976-1982 - [c58]