| Compiler validation via equivalence modulo inputs V Le, M Afshari, Z Su ACM Sigplan Notices 49 (6), 216-226, 2014 | 361 | 2014 |
| Flashextract: A framework for data extraction by examples V Le, S Gulwani Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 244 | 2014 |
| Automatic detection of floating-point exceptions ET Barr, T Vo, V Le, Z Su ACM Sigplan Notices 48 (1), 549-560, 2013 | 122 | 2013 |
| Finding deep compiler bugs via guided stochastic program mutation V Le, C Sun, Z Su ACM SIGPLAN Notices 50 (10), 386-399, 2015 | 120 | 2015 |
| 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 | 111 | 2013 |
| 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 | 81 | 2015 |
| Finding compiler bugs via live code mutation C Sun, V Le, Z Su Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 77 | 2016 |
| 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 | 59 | 2016 |
| Finding and analyzing compiler warning defects C Sun, V Le, Z Su 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016 | 42 | 2016 |
| Randomized stress-testing of link-time optimizers V Le, C Sun, Z Su Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 36 | 2015 |
| 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 | 25 | 2019 |
| Interactive program synthesis V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani arXiv preprint arXiv:1703.03539, 2017 | 14 | 2017 |
| 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 | 4 | 2021 |
| 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 | 3 | 2021 |
| 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 | 3 | 2021 |
| 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 | 2 | 2022 |
| 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 | 2 | 2021 |
| 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 | 2 | 2021 |
| 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 | 2 | 2020 |
| 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 | 1 | 2021 |
Sumit GulwaniPartner Research Manager, MicrosoftVahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com
