Concepedia

Aditya Kanade

AK

15

Publications

719

Citations

12

H-Index

2008

Active since

Affiliations

Indian Institute of Science Bangalore(Current)

Microsoft Research (India)

Microsoft (United States)

University of Pennsylvania

Aditya Kanade is an author at Indian Institute of Science Bangalore specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisMachine LearningSoftware EngineeringArtificial IntelligenceVerificationDeep Learning

Publications per year

2008–2024

15

Publications

15

Race detection for Android applications

Pallavi Maiya, Aditya Kanade, Rupak Majumdar · 2014 · 114 citations

Mobile Security, Engineering, Computer Architecture +22

ActiveThief: Model Extraction Using Active Learning and Unannotated Public Data

Soham Pal, Yash Gupta, Aditya Shukla et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 109 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +17

MintHint: automated synthesis of repair hints

Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade et al. · 2014 · 85 citations

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models

Rajeev Alur, Aditya Kanade, S. Ramesh et al. · 2008 · 76 citations

Engineering, Simulation Coverage, Simulink Demo Model +19

Semi-supervised verified feedback generation

Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade et al. · 2016 · 63 citations

Software Maintenance, Engineering, Machine Learning +24

Rows per page

1–5 of 15