Follow
Aditya Kanade
Aditya Kanade
Microsoft Research India
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
DeepFix: Fixing Common C Language Errors by Deep Learning
R Gupta, S Pal, A Kanade, S Shevade
31st AAAI Conference on Artificial Intelligence, 2017
5712017
Learning and Evaluating Contextual Embedding of Source Code
A Kanade, P Maniatis, G Balakrishnan, K Shi
International Conference on Machine Learning, 5110-5121, 2020
3702020
Race detection for Android applications
P Maiya, A Kanade, R Majumdar
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
1692014
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
1472019
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
1172014
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
952020
Semi-supervised verified feedback generation
S Kaleeswaran, A Santhiar, A Kanade, S Gulwani
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
792016
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
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
612019
Pre-trained contextual embedding of source code
A Kanade, P Maniatis, G Balakrishnan, K Shi
592019
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
532019
Neural Attribution for Semantic Bug-Localization in Student Programs
R Gupta, A Kanade, S Shevade
Advances in Neural Information Processing Systems, 11861-11871, 2019
442019
Deep reinforcement learning for programming language correction
R Gupta, A Kanade, S Shevade
arXiv preprint arXiv:1801.10467, 2018
412018
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
392014
Ranking automata and games for prioritized requirements
R Alur, A Kanade, G Weiss
International Conference on Computer Aided Verification, 240-253, 2008
362008
A PVS based framework for validating compiler optimizations
A Kanade, A Sanyal, U Khedker
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
282006
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
262016
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
252015
Stateful Detection of Model Extraction Attacks
S Pal, Y Gupta, A Kanade, S Shevade
arXiv preprint arXiv:2107.05166, 2021
192021
The system can't perform the operation now. Try again later.
Articles 1–20