Seuraa
Vu Le
Vu Le
Vahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Compiler validation via equivalence modulo inputs
V Le, M Afshari, Z Su
ACM Sigplan Notices 49 (6), 216-226, 2014
3882014
Flashextract: A framework for data extraction by examples
V Le, S Gulwani
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
2522014
Finding deep compiler bugs via guided stochastic program mutation
V Le, C Sun, Z Su
ACM SIGPLAN Notices 50 (10), 386-399, 2015
1332015
Automatic detection of floating-point exceptions
ET Barr, T Vo, V Le, Z Su
ACM Sigplan Notices 48 (1), 549-560, 2013
1252013
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
1142013
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
882015
Finding compiler bugs via live code mutation
C Sun, V Le, Z Su
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
862016
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
692016
Finding and analyzing compiler warning defects
C Sun, V Le, Z Su
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
432016
Randomized stress-testing of link-time optimizers
V Le, C Sun, Z Su
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
382015
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
342019
Synchromesh: Reliable code generation from pre-trained language models
G Poesia, O Polozov, V Le, A Tiwari, G Soares, C Meek, S Gulwani
arXiv preprint arXiv:2201.11227, 2022
192022
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
182021
Interactive program synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
152017
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis
K Rahmani, M Raza, S Gulwani, V Le, D Morris, A Radhakrishna, ...
arXiv preprint arXiv:2109.02445, 2021
132021
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
102021
reCode: A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example
W Ni, J Sunshine, V Le, S Gulwani, T Barik
The 34th Annual ACM Symposium on User Interface Software and Technology, 258-269, 2021
72021
An integrated approach of deep learning and symbolic analysis for digital pdf table extraction
M Zhang, D Perelman, V Le, S Gulwani
2020 25th International Conference on Pattern Recognition (ICPR), 4062-4069, 2021
52021
Structure interpretation of text formats
S Gulwani, V Le, A Radhakrishna, I Radiček, M Raza
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
32020
Repair is nearly generation: Multilingual program repair with llms
H Joshi, J Cambronero, S Gulwani, V Le, I Radicek, G Verbruggen
arXiv preprint arXiv:2208.11640, 2022
12022
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20