Vu Le

发表

User Interaction Models for Disambiguation in Programming by Example

Sumit Gulwani, Oleksandr Polozov, Rishabh Singh, 2015, UIST.

SmartSynth: synthesizing smartphone automation scripts from natural language

Sumit Gulwani, Zhendong Su, Vu Le, 2013, MobiSys '13.

Compiler validation via equivalence modulo inputs

Z. Su, Vu Le, M. Afshari, 2014, PLDI.

PLDI: G: Program Synthesis via Reverse Parsing

Vu Le, 2014 .

Synchromesh: Reliable code generation from pre-trained language models

Sumit Gulwani, Oleksandr Polozov, Vu Le, 2022, ICLR.

Repair Is Nearly Generation: Multilingual Program Repair with LLMs

Sumit Gulwani, Vu Le, Ivan Radicek, 2022, ArXiv.

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

Sumit Gulwani, Vu Le, Gust Verbruggen, 2022, ArXiv.

Neurosymbolic repair for low-code formula languages

A. Tiwari, Sumit Gulwani, Vu Le, 2022, Proc. ACM Program. Lang..

Repair Is Nearly Generation: Multilingual Program Repair with LLMs

Sumit Gulwani, Vu Le, Ivan Radicek, 2022, ArXiv.

CORNET: Learning Table Formatting Rules By Example

Sumit Gulwani, Vu Le, J. Cambronero, 2022, 2208.06032.

Repair Is Nearly Generation: Multilingual Program Repair with LLMs

Sumit Gulwani, Vu Le, Ivan Radicek, 2022, AAAI.

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

A. Tiwari, Sumit Gulwani, Vu Le, 2023, ArXiv.

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

Sumit Gulwani, Ashish Tiwari, Vu Le, 2021, Proc. ACM Program. Lang..

Finding deep compiler bugs via guided stochastic program mutation

Zhendong Su, Vu Le, Chengnian Sun, 2015, OOPSLA.

Semantic programming by example with pre-trained models

Sumit Gulwani, Vu Le, Gust Verbruggen, 2021, Proc. ACM Program. Lang..

FlashExtract: a framework for data extraction by examples

Sumit Gulwani, Vu Le, Sumit Gulwani, 2014, PLDI.

Repairing Bugs in Python Assignments Using Large Language Models

Sumit Gulwani, Vu Le, R. Piskac, 2022, ArXiv.

FLAME: A small language model for spreadsheet formulas

Sumit Gulwani, Vu Le, J. Cambronero, 2023, ArXiv.

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

Sumit Gulwani, Joshua Sunshine, Vu Le, 2021, UIST.

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

Sumit Gulwani, Shuvendu K. Lahiri, Nachiappan Nagappan, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).

On the fly synthesis of edit suggestions

Sumit Gulwani, Abhishek Udupa, Ashish Tiwari, 2019, Proc. ACM Program. Lang..

Automatic detection of floating-point exceptions

Zhendong Su, Earl T. Barr, Vu Le, 2013, POPL.

Compiler validation via equivalence modulo inputs

Zhendong Su, Vu Le, Mehrdad Afshari, 2014, PLDI.

Toward understanding compiler bugs in GCC and LLVM

Zhendong Su, Qirun Zhang, Vu Le, 2016, ISSTA.

Finding compiler bugs via live code mutation

Zhendong Su, Vu Le, Chengnian Sun, 2016, OOPSLA.

Randomized stress-testing of link-time optimizers

Zhendong Su, Vu Le, Chengnian Sun, 2015, ISSTA.

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

Sumit Gulwani, Mengshi Zhang, Daniel Adam Perelman, 2020, 2020 25th International Conference on Pattern Recognition (ICPR).

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

A. Tiwari, Sumit Gulwani, Vu Le, 2023, Proc. ACM Program. Lang..

Interactive Program Synthesis pdf

Sumit Gulwani, Abhishek Udupa, Oleksandr Polozov, 2017, ArXiv.

Finding and Analyzing Compiler Warning Defects

Zhendong Su, Vu Le, Chengnian Sun, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

Program Synthesis for Empowering End Users and Stress-Testing Compilers

Vu Minh Le, Vu Le, 2015 .

NL2Viz: natural language to visualization via constrained syntax-guided synthesis

A. Tiwari, Sumit Gulwani, Zhengkai Wu, 2022, ESEC/SIGSOFT FSE.

Personalized action suggestions in low-code automation platforms

Sumit Gulwani, Vu Le, Gust Verbruggen, 2023, 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).

Finding deep compiler bugs via guided stochastic program mutation

Z. Su, Chengnian Sun, Vu Le, 2015, OOPSLA.