Obserwuj
Aditya Kanade
Aditya Kanade
Microsoft Research India
Zweryfikowany adres z microsoft.com - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
DeepFix: Fixing Common C Language Errors by Deep Learning
R Gupta, S Pal, A Kanade, S Shevade
31st AAAI Conference on Artificial Intelligence, 2017
6812017
Learning and Evaluating Contextual Embedding of Source Code
A Kanade, P Maniatis, G Balakrishnan, K Shi
International Conference on Machine Learning, 5110-5121, 2020
4982020
Race detection for Android applications
P Maiya, A Kanade, R Majumdar
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
1732014
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
1652019
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
1522020
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
1212008
MintHint: automated synthesis of repair hints
S Kaleeswaran, V Tulsian, A Kanade, O Alessandro
Proceedings of the 36th International Conference on Software Engineering …, 2014
1202014
Semi-supervised verified feedback generation
S Kaleeswaran, A Santhiar, A Kanade, S Gulwani
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
852016
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
772019
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
712009
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
672024
Pre-trained contextual embedding of source code
A Kanade, P Maniatis, G Balakrishnan, K Shi
652019
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
622019
Neural Attribution for Semantic Bug-Localization in Student Programs
R Gupta, A Kanade, S Shevade
Advances in Neural Information Processing Systems, 11861-11871, 2019
542019
Deep reinforcement learning for programming language correction
R Gupta, A Kanade, S Shevade
arXiv preprint arXiv:1801.10467, 2018
442018
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
422014
Ranking automata and games for prioritized requirements
R Alur, A Kanade, G Weiss
International Conference on Computer Aided Verification, 240-253, 2008
362008
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
322016
A PVS based framework for validating compiler optimizations
A Kanade, A Sanyal, U Khedker
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
302006
Stateful Detection of Model Extraction Attacks
S Pal, Y Gupta, A Kanade, S Shevade
arXiv preprint arXiv:2107.05166, 2021
272021
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20