| Compiler error messages considered unhelpful: The landscape of text-based programming error message research BA Becker, P Denny, R Pettit, D Bouchard, DJ Bouvier, B Harrington, ... Proceedings of the working group reports on innovation and technology in …, 2019 | 221 | 2019 |
| Program synthesis using natural language A Desai, S Gulwani, V Hingorani, N Jain, A Karkare, M Marron, S Roy Proceedings of the 38th International Conference on Software Engineering …, 2016 | 185 | 2016 |
| A feasibility study of using automated program repair for introductory programming assignments J Yi, UZ Ahmed, A Karkare, SH Tan, A Roychoudhury Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 146 | 2017 |
| Compilation error repair: for the student programs, from the student programs UZ Ahmed, P Kumar, A Karkare, P Kar, S Gulwani Proceedings of the 40th International Conference on Software Engineering …, 2018 | 123 | 2018 |
| Automatic grading and feedback using program repair for introductory programming courses S Parihar, Z Dadachanji, PK Singh, R Das, A Karkare, A Bhattacharya Proceedings of the 2017 ACM conference on innovation and technology in …, 2017 | 116 | 2017 |
| Automatically generating problems and solutions for natural deduction UZ Ahmed, S Gulwani, A Karkare Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 74 | 2013 |
| Heap reference analysis using access graphs UP Khedker, A Sanyal, A Karkare ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 1-es, 2007 | 66 | 2007 |
| Prutor: A system for tutoring CS1 and collecting student programs for analysis R Das, UZ Ahmed, A Karkare, S Gulwani arXiv preprint arXiv:1608.03828, 2016 | 45 | 2016 |
| Targeted example generation for compilation errors UZ Ahmed, R Sindhgatta, N Srivastava, A Karkare 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 40 | 2019 |
| Characterizing the pedagogical benefits of adaptive feedback for compilation errors by novice programmers UZ Ahmed, N Srivastava, R Sindhgatta, A Karkare Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 34 | 2020 |
| Scrawld: A dataset of real world ethereum smart contracts labelled with vulnerabilities CS Yashavant, S Kumar, A Karkare arXiv preprint arXiv:2202.11409, 2022 | 30 | 2022 |
| Choosing code segments to exclude from code similarity detection Simon, O Karnalim, J Sheard, I Dema, A Karkare, J Leinonen, M Liut, ... Proceedings of the Working Group Reports on Innovation and Technology in …, 2020 | 21 | 2020 |
| Unexpected tokens: A review of programming error messages and design guidelines for the future BA Becker, P Denny, R Pettit, D Bouchard, DJ Bouvier, B Harrington, ... Proceedings of the 2019 ACM conference on innovation and technology in …, 2019 | 16 | 2019 |
| TipsC: Tips and corrections for programming MOOCs S Sharma, P Agarwal, P Mor, A Karkare Artificial Intelligence in Education: 19th International Conference, AIED …, 2018 | 16 | 2018 |
| Improving GPU Performance Through Resource Sharing V Jatala, J Anantpur, A Karkare Proceedings of the 25th ACM International Symposium on High-Performance …, 2016 | 14* | 2016 |
| Liveness-based garbage collection R Asati, A Sanyal, A Karkare, A Mycroft Compiler Construction: 23rd International Conference, CC 2014, Held as Part …, 2014 | 10 | 2014 |
| A Bug's New Life: Creating Refute Questions from Filtered CS1 Student Code Snapshots N Agarwal, V Kumar, A Raman, A Karkare Proceedings of the ACM Conference on Global Computing Education Vol 1, 7-14, 2023 | 8 | 2023 |
| Liveness of heap data for functional programs A Karkare, U Khedker, A Sanyal arXiv preprint cs/0703155, 2007 | 8 | 2007 |
| LEGenT: Localizing errors and generating testcases for CS1 N Agarwal, A Karkare Proceedings of the Ninth ACM Conference on Learning@ Scale, 102-112, 2022 | 7 | 2022 |
| A static slicing method for functional programs and its incremental version. K Prasanna Kumar, A Sanyal, A Karkare, S Padhi CC, 53-64, 2019 | 7 | 2019 |
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com
