| Learning syntactic program transformations from examples R Rolim, G Soares, L D'Antoni, O Polozov, S Gulwani, R Gheyi, R Suzuki, ... 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 287 | 2017 |
| 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 | 229 | 2022 |
| Automated behavioral testing of refactoring engines G Soares, R Gheyi, T Massoni Transactions on Software Engineering, 1-1, 2012 | 167 | 2012 |
| Making program refactoring safer G Soares Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 163 | 2010 |
| Writing reusable code feedback at scale with mixed-initiative program synthesis A Head, E Glassman, G Soares, R Suzuki, L Figueredo, L D'Antoni, ... Proceedings of the Fourth (2017) ACM Conference on Learning@ Scale, 89-98, 2017 | 159 | 2017 |
| 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 | 119 | 2015 |
| A procedure to detect problems of processes in software development projects using Bayesian networks M Perkusich, G Soares, H Almeida, A Perkusich Expert Systems with Applications 42 (1), 437-450, 2015 | 106 | 2015 |
| Generative AI for programming education: benchmarking ChatGPT, GPT-4, and human tutors T Phung, VA Pădurean, J Cambronero, S Gulwani, T Kohn, R Majumdar, ... Proceedings of the 2023 ACM Conference on International Computing Education …, 2023 | 93 | 2023 |
| Generating high-precision feedback for programming syntax errors using large language models T Phung, J Cambronero, S Gulwani, T Kohn, R Majumdar, A Singla, ... arXiv preprint arXiv:2302.04662, 2023 | 80 | 2023 |
| 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 | 72 | 2022 |
| 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 | 72 | 2019 |
| Comparing approaches to analyze refactoring activity on software repositories G Soares, R Gheyi, E Murphy-Hill, B Johnson Journal of Systems and Software 86 (4), 1006-1022, 2013 | 66 | 2013 |
| Learning quick fixes from code repositories R Rolim, G Soares, R Gheyi, T Barik, L D'Antoni arXiv preprint arXiv:1803.03806, 2018 | 62 | 2018 |
| Making refactoring safer through impact analysis M Mongiovi, R Gheyi, G Soares, L Teixeira, P Borba Science of Computer Programming 93, 39-64, 2014 | 51 | 2014 |
| 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 | 47 | 2021 |
| Scaling testing of refactoring engines M Mongiovi Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016 | 40 | 2016 |
| Tracediff: Debugging unexpected code behavior using trace divergences R Suzuki, G Soares, A Head, E Glassman, R Reis, M Mongiovi, L D'Antoni, ... 2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2017 | 39 | 2017 |
| Analyzing refactorings on software repositories G Soares, B Catao, C Varjao, S Aguiar, R Gheyi, T Massoni 2011 25th Brazilian Symposium on Software Engineering, 164-173, 2011 | 39 | 2011 |
| Automating human tutor-style programming feedback: Leveraging gpt-4 tutor model for hint generation and gpt-3.5 student model for hint validation T Phung, VA Pădurean, A Singh, C Brooks, J Cambronero, S Gulwani, ... Proceedings of the 14th learning analytics and knowledge conference, 12-23, 2024 | 36 | 2024 |
| ASAP-V: A privacy-preserving authentication and sybil detection protocol for VANETs TBM de Sales, A Perkusich, LM de Sales, HO de Almeida, G Soares, ... Information Sciences 372, 208-224, 2016 | 36 | 2016 |
Sumit GulwaniDistinguished Scientist, MicrosoftVerificeret mail på microsoft.com