| Compiler validation via equivalence modulo inputs V Le, M Afshari, Z Su ACM Sigplan Notices 49 (6), 216-226, 2014 | 577 | 2014 |
| Flashextract: A framework for data extraction by examples V Le, S Gulwani Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 309 | 2014 |
| Finding deep compiler bugs via guided stochastic program mutation V Le, C Sun, Z Su Acm Sigplan Notices 50 (10), 386-399, 2015 | 216 | 2015 |
| 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 | 207 | 2022 |
| Finding compiler bugs via live code mutation C Sun, V Le, Z Su Proceedings of the 2016 ACM SIGPLAN international conference on object …, 2016 | 172 | 2016 |
| Automatic detection of floating-point exceptions ET Barr, T Vo, V Le, Z Su ACM Sigplan Notices 48 (1), 549-560, 2013 | 150 | 2013 |
| 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 | 136 | 2016 |
| 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 | 129 | 2023 |
| 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 | 128 | 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 | 117 | 2015 |
| 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 | 80 | 2021 |
| Finding and analyzing compiler warning defects C Sun, V Le, Z Su Proceedings of the 38th International Conference on Software Engineering …, 2016 | 75 | 2016 |
| 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 | 69 | 2019 |
| Repairing bugs in python assignments using large language models J Zhang, J Cambronero, S Gulwani, V Le, R Piskac, G Soares, ... arXiv preprint arXiv:2209.14876, 2022 | 67 | 2022 |
| Randomized stress-testing of link-time optimizers V Le, C Sun, Z Su Proceedings of the 2015 international symposium on software testing and …, 2015 | 61 | 2015 |
| 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 | 38 | 2021 |
| 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 | 29 | 2023 |
| 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 | 28 | 2021 |
| Interactive program synthesis V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani arXiv preprint arXiv:1703.03539, 2017 | 28 | 2017 |
| 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 | 22 | 2023 |
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com