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
3612014
Flashextract: A framework for data extraction by examples
V Le, S Gulwani
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
2442014
Automatic detection of floating-point exceptions
ET Barr, T Vo, V Le, Z Su
ACM Sigplan Notices 48 (1), 549-560, 2013
1222013
Finding deep compiler bugs via guided stochastic program mutation
V Le, C Sun, Z Su
ACM SIGPLAN Notices 50 (10), 386-399, 2015
1202015
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
1112013
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
812015
Finding compiler bugs via live code mutation
C Sun, V Le, Z Su
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
772016
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
592016
Finding and analyzing compiler warning defects
C Sun, V Le, Z Su
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
422016
Randomized stress-testing of link-time optimizers
V Le, C Sun, Z Su
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
362015
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
252019
Interactive program synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
142017
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
42021
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
32021
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
32021
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
22022
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
22021
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
22021
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
22020
Improved synthesis of Ag/SiO2 colloidal Nanocomposites and their antibacterial activity against ralstonia solanacearum 15
NBT Pham, VKT Le, TTT Bui, NGL Phan, QV Tran, ML Nguyen, VQ Dang, ...
Journal of Nanoscience and Nanotechnology 21 (3), 1598-1605, 2021
12021
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20