Follow
Vu Le
Vu Le
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Compiler validation via equivalence modulo inputs
V Le, M Afshari, Z Su
ACM SIGPLAN Conference on Programming Language Design and Implementation 49 …, 2014
5812014
Flashextract: A framework for data extraction by examples
V Le, S Gulwani
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
3102014
Finding deep compiler bugs via guided stochastic program mutation
V Le, C Sun, Z Su
Acm Sigplan Notices 50 (10), 386-399, 2015
2192015
Synchromesh: Reliable code generation from pre-trained language models
G Poesia, O Polozov, V Le, A Tiwari, G Soares, C Meek, S Gulwani
ICLR 2022, 2022
2132022
Finding compiler bugs via live code mutation
C Sun, V Le, Z Su
Proceedings of the 2016 ACM SIGPLAN international conference on object …, 2016
1762016
Automatic detection of floating-point exceptions
ET Barr, T Vo, V Le, Z Su
ACM Sigplan Notices 48 (1), 549-560, 2013
1522013
Toward understanding compiler bugs in GCC and LLVM
C Sun, V Le, Q Zhang, Z Su
Proceedings of the 25th international symposium on software testing and …, 2016
1362016
Repair is nearly generation: Multilingual program repair with llms
H Joshi, JC Sanchez, S Gulwani, V Le, G Verbruggen, I Radièek
Proceedings of the AAAI Conference on Artificial Intelligence 37 (4), 5131-5140, 2023
1332023
Smartsynth: Synthesizing smartphone automation scripts from natural language
V Le, S Gulwani, Z Su
Proceeding of the 11th annual international conference on Mobile systems …, 2013
1282013
User interaction models for disambiguation in programming by example
M Mayer, G Soares, M Grechkin, V Le, M Marron, O Polozov, R Singh, ...
Proceedings of the 28th Annual ACM Symposium on User Interface Software …, 2015
1172015
Multi-modal program inference: A marriage of pre-trained language models and component-based synthesis
K Rahmani, M Raza, S Gulwani, V Le, D Morris, A Radhakrishna, ...
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
752021
Finding and analyzing compiler warning defects
C Sun, V Le, Z Su
Proceedings of the 38th International Conference on Software Engineering …, 2016
752016
On the fly synthesis of edit suggestions
A Miltner, S Gulwani, V Le, A Leung, A Radhakrishna, G Soares, A Tiwari, ...
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
692019
Repairing bugs in python assignments using large language models
J Zhang, J Cambronero, S Gulwani, V Le, R Piskac, G Soares, ...
OOPSLA 2024, 2022
672022
Randomized stress-testing of link-time optimizers
V Le, C Sun, Z Su
Proceedings of the 2015 international symposium on software testing and …, 2015
612015
Can program synthesis be used to learn merge conflict resolutions? an empirical analysis
R Pan, V Le, N Nagappan, S Gulwani, S Lahiri, M Kaufman
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
382021
Flashfill++: Scaling programming by example by cutting to the chase
J Cambronero, S Gulwani, V Le, D Perelman, A Radhakrishna, C Simon, ...
Proceedings of the ACM on Programming Languages 7 (POPL), 952-981, 2023
302023
Semantic programming by example with pre-trained models
G Verbruggen, V Le, S Gulwani
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-25, 2021
282021
Interactive program synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
282017
Tabular representation, noisy operators, and impacts on table structure understanding tasks in llms
A Singha, J Cambronero, S Gulwani, V Le, C Parnin
arXiv preprint arXiv:2310.10358, 2023
222023
The system can't perform the operation now. Try again later.
Articles 1–20