| Compiler validation via equivalence modulo inputs V Le, M Afshari, Z Su ACM Sigplan Notices 49 (6), 216-226, 2014 | 432 | 2014 |
| Flashextract: A framework for data extraction by examples V Le, S Gulwani Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 266 | 2014 |
| Finding deep compiler bugs via guided stochastic program mutation V Le, C Sun, Z Su ACM SIGPLAN Notices 50 (10), 386-399, 2015 | 155 | 2015 |
| Automatic detection of floating-point exceptions ET Barr, T Vo, V Le, Z Su ACM Sigplan Notices 48 (1), 549-560, 2013 | 133 | 2013 |
| 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 | 118 | 2013 |
| Finding compiler bugs via live code mutation C Sun, V Le, Z Su Proceedings of the 2016 ACM SIGPLAN international conference on object …, 2016 | 103 | 2016 |
| 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 | 94 | 2015 |
| 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 | 82 | 2016 |
| Finding and analyzing compiler warning defects C Sun, V Le, Z Su Proceedings of the 38th International Conference on Software Engineering …, 2016 | 51 | 2016 |
| 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 | 49 | 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 | 45 | 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 | 44 | 2019 |
| Interactive program synthesis V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani arXiv preprint arXiv:1703.03539, 2017 | 17 | 2017 |
| 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 | 16 | 2021 |
| 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 | 14 | 2021 |
| 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 | 12 | 2022 |
| 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 | 8 | 2021 |
| Neurosymbolic repair for low-code formula languages R Bavishi, H Joshi, J Cambronero, A Fariha, S Gulwani, V Le, I Radiček, ... Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1093-1122, 2022 | 6 | 2022 |
| 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 | 6 | 2022 |
| 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 | 5 | 2023 |
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
