| DeepFix: Fixing Common C Language Errors by Deep Learning R Gupta, S Pal, A Kanade, S Shevade 31st AAAI Conference on Artificial Intelligence, 2017 | 656 | 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 | 463 | 2020 |
| Race detection for Android applications P Maiya, A Kanade, R Majumdar Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 172 | 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 | 158 | 2019 |
| 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 | 139 | 2020 |
| 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 | 120 | 2014 |
| Semi-supervised verified feedback generation S Kaleeswaran, A Santhiar, A Kanade, S Gulwani Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 84 | 2016 |
| 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 | 72 | 2019 |
| 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 |
| Pre-trained contextual embedding of source code A Kanade, P Maniatis, G Balakrishnan, K Shi | 65 | 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 | 59 | 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 | 53 | 2019 |
| Codeplan: Repository-level coding using llms and planning R Bairi, A Sonwane, A Kanade, A Iyer, S Parthasarathy, S Rajamani, ... Proceedings of the ACM on Software Engineering 1 (FSE), 675-698, 2024 | 47 | 2024 |
| Deep reinforcement learning for programming language correction R Gupta, A Kanade, S Shevade arXiv preprint arXiv:1801.10467, 2018 | 43 | 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 |
| 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 | 32 | 2016 |
| A PVS based framework for validating compiler optimizations A Kanade, A Sanyal, U Khedker Fourth IEEE International Conference on Software Engineering and Formal …, 2006 | 30 | 2006 |
| Stateful Detection of Model Extraction Attacks S Pal, Y Gupta, A Kanade, S Shevade arXiv preprint arXiv:2107.05166, 2021 | 26 | 2021 |
Shirish ShevadeIndian Institute of Science在 csa.iisc.ernet.in 的电子邮件经过验证
