SmartSynth: synthesizing smartphone automation scripts from natural language. - Vu Le 002; Sumit Gulwani; Zhendong Su 001 (MobiSys, 2013)

Keyword programming for TouchDevelop. - Vu Le 002; Jonathan de Halleux; Sumit Gulwani; Zhendong Su 001 (MobiSys, 2013)

Automatic detection of floating-point exceptions. - Earl T. Barr; Thanh Vo; Vu Le 002; Zhendong Su 001 (POPL, 2013)

Compiler validation via equivalence modulo inputs. - Vu Le 002; Mehrdad Afshari; Zhendong Su 001 (PLDI, 2014)

FlashExtract: a framework for data extraction by examples. - Vu Le 002; Sumit Gulwani (PLDI, 2014)

Randomized stress-testing of link-time optimizers. - Vu Le 002; Chengnian Sun; Zhendong Su 001 (ISSTA, 2015)

Finding deep compiler bugs via guided stochastic program mutation. - Vu Le 002; Chengnian Sun; Zhendong Su 001 (OOPSLA, 2015)

User Interaction Models for Disambiguation in Programming by Example. - Mikaël Mayer; Gustavo Soares; Maxim Grechkin; Vu Le 002; Mark Marron; Oleksandr Polozov; Rishabh Singh; Benjamin G. Zorn; Sumit Gulwani (UIST, 2015)

Finding and analyzing compiler warning defects. - Chengnian Sun; Vu Le 002; Zhendong Su 001 (ICSE, 2016)

Toward understanding compiler bugs in GCC and LLVM. - Chengnian Sun; Vu Le 002; Qirun Zhang; Zhendong Su 001 (ISSTA, 2016)

Finding compiler bugs via live code mutation. - Chengnian Sun; Vu Le 002; Zhendong Su 001 (OOPSLA, 2016)

Interactive Program Synthesis. - Vu Le 002; Daniel Perelman; Oleksandr Polozov; Mohammad Raza; Abhishek Udupa; Sumit Gulwani (CoRR, 2017)

On the fly synthesis of edit suggestions. - Anders Miltner; Sumit Gulwani; Vu Le 002; Alan Leung; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001; Abhishek Udupa (Proc. ACM Program. Lang., 2019)

An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction. - Mengshi Zhang; Daniel Perelman; Vu Le 002; Sumit Gulwani (ICPR, 2020)

Structure interpretation of text formats. - Sumit Gulwani; Vu Le 002; Arjun Radhakrishna; Ivan Radicek; Mohammad Raza (Proc. ACM Program. Lang., 2020)

Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. - Rangeet Pan; Vu Le 002; Nachiappan Nagappan; Sumit Gulwani; Shuvendu K. Lahiri; Mike Kaufman (ICSE, 2021)

reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example. - Wode Ni; Joshua Sunshine; Vu Le 002; Sumit Gulwani; Titus Barik (UIST, 2021)

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. - Kia Rahmani; Mohammad Raza; Sumit Gulwani; Vu Le 002; Daniel Morris 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (CoRR, 2021)

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. - Kia Rahmani; Mohammad Raza; Sumit Gulwani; Vu Le 002; Daniel Morris 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2021)

Semantic programming by example with pre-trained models. - Gust Verbruggen; Vu Le 002; Sumit Gulwani (Proc. ACM Program. Lang., 2021)

Synchromesh: Reliable Code Generation from Pre-trained Language Models. - Gabriel Poesia; Alex Polozov; Vu Le 002; Ashish Tiwari 001; Gustavo Soares; Christopher Meek; Sumit Gulwani (ICLR, 2022)

NL2Viz: natural language to visualization via constrained syntax-guided synthesis. - Zhengkai Wu; Vu Le 002; Ashish Tiwari 001; Sumit Gulwani; Arjun Radhakrishna; Ivan Radicek; Gustavo Soares; Xinyu Wang 006; Zhenwen Li; Tao Xie 001 (ESEC/SIGSOFT FSE, 2022)

CORNET: A neurosymbolic approach to learning conditional table formatting rules by example. - Mukul Singh; José Pablo Cambronero Sánchez; Sumit Gulwani; Vu Le 002; Carina Negreanu; Mohammad Raza; Gust Verbruggen (CoRR, 2022)

Repairing Bugs in Python Assignments Using Large Language Models. - Jialu Zhang 002; José Cambronero; Sumit Gulwani; Vu Le 002; Ruzica Piskac; Gustavo Soares; Gust Verbruggen (CoRR, 2022)

Neurosymbolic repair for low-code formula languages. - Rohan Bavishi; Harshit Joshi; José Cambronero; Anna Fariha; Sumit Gulwani; Vu Le 002; Ivan Radicek; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2022)

Repair Is Nearly Generation: Multilingual Program Repair with LLMs. - Harshit Joshi; José Pablo Cambronero Sánchez; Sumit Gulwani; Vu Le 002; Gust Verbruggen; Ivan Radicek (AAAI, 2023)

EmFore: Online Learning of Email Folder Classification Rules. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Gust Verbruggen (CIKM, 2023)

TSTR: Target Similarity Tuning Meets the Real World. - Anirudh Khatry; Sumit Gulwani; Priyanshu Gupta; Vu Le 002; Mukul Singh; Ananya Singha; Gust Verbruggen (EMNLP (Findings), 2023)

CodeFusion: A Pre-trained Diffusion Model for Code Generation. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Gust Verbruggen (EMNLP, 2023)

Personalized action suggestions in low-code automation platforms. - Saksham Gupta; Gust Verbruggen; Mukul Singh; Sumit Gulwani; Vu Le 002 (ICSE Companion, 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 002; Mohammad Raza; Sherry Shi; Mukul Singh; Ashish Tiwari 001 (CoRR, 2023)

Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Gust Verbruggen (CoRR, 2023)

DataVinci: Learning Syntactic and Semantic String Repairs. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Gust Verbruggen (CoRR, 2023)

Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs. - Ananya Singha; José Cambronero; Sumit Gulwani; Vu Le 002; Chris Parnin (CoRR, 2023)

TSTR: Target Similarity Tuning Meets the Real World. - Anirudh Khatry; Sumit Gulwani; Priyanshu Gupta; Vu Le 002; Ananya Singha; Mukul Singh; Gust Verbruggen (CoRR, 2023)

Assessing GPT4-V on Structured Reasoning Tasks. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Gust Verbruggen (CoRR, 2023)

CORNET: Learning Table Formatting Rules By Example. - Mukul Singh; José Pablo Cambronero Sánchez; Sumit Gulwani; Vu Le 002; Carina Negreanu; Mohammad Raza; Gust Verbruggen (Proc. VLDB Endow., 2023)

CORNET: Learning Spreadsheet Formatting Rules By Example. - Mukul Singh; José Pablo Cambronero Sánchez; Sumit Gulwani; Vu Le 002; Carina Negreanu; Gust Verbruggen (Proc. VLDB Endow., 2023)

FlashFill++: Scaling Programming by Example by Cutting to the Chase. - José Cambronero; Sumit Gulwani; Vu Le 002; Daniel Perelman; Arjun Radhakrishna; Clint Simon; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2023)

FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Elnaz Nouri; Mohammad Raza; Gust Verbruggen (Proc. VLDB Endow., 2023)

FLAME: A Small Language Model for Spreadsheet Formulas. - Harshit Joshi; Abishai Ebenezer; José Pablo Cambronero Sánchez; Sumit Gulwani; Aditya Kanade 001; Vu Le 002; Ivan Radicek; Gust Verbruggen (AAAI, 2024)

EmFORE: Learning Email Folder Classification Rules by Demonstration. - Mukul Singh; Gust Verbruggen; José Cambronero; Vu Le 002; Sumit Gulwani (AAAI, 2024)

Tabularis Revilio: Converting Text to Tables. - Mukul Singh; Gust Verbruggen; Vu Le 002; Sumit Gulwani (CIKM, 2024)

RAR: Retrieval-augmented retrieval for code generation in low resource languages. - Avik Dutta; Mukul Singh; Gust Verbruggen; Sumit Gulwani; Vu Le 002 (EMNLP, 2024)

One-to-many testing for code generation from (just) natural language. - Mansi Uniyal; Mukul Singh; Gust Verbruggen; Sumit Gulwani; Vu Le 002 (EMNLP (Findings), 2024)

Semantically Aligned Question and Code Generation for Automated Insight Generation. - Ananya Singha; Bhavya Chopra; Anirudh Khatry; Sumit Gulwani; Austin Z. Henley; Vu Le 002; Chris Parnin; Mukul Singh; Gust Verbruggen (LLM4CODE@ICSE, 2024)

Solving Data-centric Tasks using Large Language Models. - Shraddha Barke; Christian Pölitz; Carina Negreanu; Benjamin Zorn 001; José Cambronero; Andrew D. Gordon 001; Vu Le 002; Elnaz Nouri; Nadia Polikarpova; Advait Sarkar; Brian Slininger; Neil Toronto; et al. (NAACL-HLT (Findings), 2024)

PyDex: Repairing Bugs in Introductory Python Assignments using LLMs. - Jialu Zhang 002; José Pablo Cambronero; Sumit Gulwani; Vu Le 002; Ruzica Piskac; Gustavo Soares; Gust Verbruggen (Proc. ACM Program. Lang., 2024)

Evaluating the Evaluator: Measuring LLMs' Adherence to Task Evaluation Instructions. - Bhuvanashree Murugadoss; Christian Pölitz; Ian Drosos; Vu Le 002; Nick McKenna; Carina Suzana Negreanu; Chris Parnin; Advait Sarkar (AAAI, 2025)

Execution-guided within-prompt search for programming-by-example. - Gust Verbruggen; Ashish Tiwari 001; Mukul Singh; Vu Le 002; Sumit Gulwani (ICLR, 2025)

An empirical study of validating synthetic data for formula generation. - Usneek Singh; José Cambronero; Sumit Gulwani; Aditya Kanade 001; Anirudh Khatry; Vu Le 002; Mukul Singh; Gust Verbruggen (NAACL (Findings), 2025)

TeCoFeS: Text Column Featurization using Semantic Analysis. - Ananya Singha; Mukul Singh; Ashish Tiwari 001; Sumit Gulwani; Vu Le 002; Chris Parnin (NAACL (Findings), 2025)

TableTalk: Scaffolding Spreadsheet Development with a Language Agent. - Jenny T. Liang; Aayush Kumar; Yasharth Bajpai; Sumit Gulwani; Vu Le 002; Chris Parnin; Arjun Radhakrishna; Ashish Tiwari 001; Emerson R. Murphy-Hill; Gustavo Soares (CoRR, 2025)

DataVinci: Learning Syntactic and Semantic String Repairs. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Arjun Radhakrishna; Gust Verbruggen (Proc. ACM Manag. Data, 2025)

LLM-Guided Compositional Program Synthesis. - Ruhma Khan; Sumit Gulwani; Vu Le 002; Arjun Radhakrishna; Ashish Tiwari 001; Gust Verbruggen (CoRR, 2025)

Diffusion is a code repair operator and generator. - Mukul Singh; Gust Verbruggen; Vu Le 002; Sumit Gulwani (CoRR, 2025)

Tabularis Formatus: Predictive Formatting for Tables. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Gust Verbruggen (CoRR, 2025)