| DeepFix: Fixing Common C Language Errors by Deep Learning R Gupta, S Pal, A Kanade, S Shevade 31st AAAI Conference on Artificial Intelligence, 2017 | 594 | 2017 |
| Learning and Evaluating Contextual Embedding of Source Code A Kanade, P Maniatis, G Balakrishnan, K Shi International Conference on Machine Learning, 5110-5121, 2020 | 400 | 2020 |
| Race detection for Android applications P Maiya, A Kanade, R Majumdar Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 169 | 2014 |
| Neural Program Repair by Jointly Learning to Localize and Repair M Vasic, A Kanade, P Maniatis, D Bieber, R Singh arXiv preprint arXiv:1904.01720, 2019 | 151 | 2019 |
| Symbolic analysis for improving simulation coverage of Simulink/Stateflow models R Alur, A Kanade, S Ramesh, KC Shashidhar Proceedings of the 8th ACM international conference on Embedded software, 89-98, 2008 | 121 | 2008 |
| MintHint: automated synthesis of repair hints S Kaleeswaran, V Tulsian, A Kanade, O Alessandro Proceedings of the 36th International Conference on Software Engineering …, 2014 | 117 | 2014 |
| ACTIVETHIEF: Model Extraction Using Active Learning and Unannotated Public Data S Pal, Y Gupta, A Shukla, A Kanade, S Shevade, V Ganapathy Proceedings of the AAAI Conference on Artificial Intelligence, 865-872, 2020 | 111 | 2020 |
| Semi-supervised verified feedback generation S Kaleeswaran, A Santhiar, A Kanade, S Gulwani Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 81 | 2016 |
| Generating and analyzing symbolic traces of simulink/stateflow models A Kanade, R Alur, F Ivančić, S Ramesh, S Sankaranarayanan, ... International Conference on Computer Aided Verification, 430-445, 2009 | 71 | 2009 |
| Deep reinforcement learning for syntactic error repair in student programs R Gupta, A Kanade, S Shevade Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 930-937, 2019 | 67 | 2019 |
| Pre-trained contextual embedding of source code A Kanade, P Maniatis, G Balakrishnan, K Shi | 61 | 2019 |
| A framework for the extraction of deep neural networks by leveraging public data S Pal, Y Gupta, A Shukla, A Kanade, S Shevade, V Ganapathy arXiv preprint arXiv:1905.09165, 2019 | 57 | 2019 |
| Neural Attribution for Semantic Bug-Localization in Student Programs R Gupta, A Kanade, S Shevade Advances in Neural Information Processing Systems, 11861-11871, 2019 | 46 | 2019 |
| Deep reinforcement learning for programming language correction R Gupta, A Kanade, S Shevade arXiv preprint arXiv:1801.10467, 2018 | 41 | 2018 |
| MUX: algorithm selection for software model checkers V Tulsian, A Kanade, R Kumar, A Lal, AV Nori Proceedings of the 11th Working Conference on Mining Software Repositories …, 2014 | 40 | 2014 |
| Ranking automata and games for prioritized requirements R Alur, A Kanade, G Weiss International Conference on Computer Aided Verification, 240-253, 2008 | 36 | 2008 |
| A PVS based framework for validating compiler optimizations A Kanade, A Sanyal, U Khedker Fourth IEEE International Conference on Software Engineering and Formal …, 2006 | 28 | 2006 |
| Partial Order Reduction for Event-Driven Multi-threaded Programs P Maiya, R Gupta, A Kanade, R Majumdar International Conference on Tools and Algorithms for the Construction and …, 2016 | 27 | 2016 |
| CodePlan: Repository-level Coding using LLMs and Planning R Bairi, A Sonwane, A Kanade, A Iyer, S Parthasarathy, S Rajamani, ... arXiv preprint arXiv:2309.12499, 2023 | 26 | 2023 |
| Rely/guarantee reasoning for asynchronous programs I Gavran, F Niksic, A Kanade, R Majumdar, V Vafeiadis 26th International Conference on Concurrency Theory (CONCUR 2015), 2015 | 25 | 2015 |
Shirish ShevadeIndian Institute of Science在 csa.iisc.ernet.in 的电子邮件经过验证
