Aditya Kanade
Microsoft Research (India)(IN)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Software Reliability and Analysis Research
Most-Cited Works
- → Race detection for Android applications(2014)115 cited
- → ActiveThief: Model Extraction Using Active Learning and Unannotated Public Data(2020)110 cited
- → MintHint: automated synthesis of repair hints(2014)85 cited
- → Symbolic analysis for improving simulation coverage of Simulink/Stateflow models(2008)76 cited
- → Semi-supervised verified feedback generation(2016)63 cited
- → CodePlan: Repository-Level Coding using LLMs and Planning(2024)61 cited
- → Neural Program Repair by Jointly Learning to Localize and Repair(2019)44 cited
- → A framework for the extraction of Deep Neural Networks by leveraging public data(2019)41 cited
- → CORE: Resolving Code Quality Issues using LLMs(2024)28 cited