Ministry of Education
Aditya Kanade
VIDWAN ID: 66069

Dr Aditya Kanade

Male Doctor of Philosophy
Retired Faculty | Computer Science and Automation
Indian Institute of Science, Bangalore
Karnataka
Expertise: Energy and Fuels
Scopus 13607066100 Google Scholar FCCMbWYAAAAJ
View older version My Dashboard
36 Publications
0 Projects
1513 Scopus Citations
425 CrossRef
17 Years 3 Months Total Experience
Publications
36 Total
Articles
3
Chapters
1
Proceedings
32
Activity

No publication activity to display.

Scopus Scopus
1,513 Citations
16 h-index
CrossRef CrossRef
425 Citations
11 h-index
Google Scholar Google Scholar

Loading Scholar statistics...

Professional Recognition

Prof. Priti Shankar Teaching Excellence Award
2014
Indian Institute of Science, Bengaluru

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Personal Details

Doctor of Philosophy
2007
Indian Institute of Technology, Hyderabad
Retired Faculty
Jan 2024 – Present
Indian Institute of Science, Bangalore | Computer Science and Automation
Associate Professor
Jun 2015 – Jan 2024
Indian Institute of Science, Bangalore | Computer Science and Automation
Assistant Professor
Jun 2009 – Jun 2015
Indian Institute of Science, Bangalore | Computer Science and Automation
Engineering and Technology
Energy and Fuels

Related Profiles

Scholarly Work

No Data Found

There is currently nothing to display here.

Checking Compatability of Programs on Shared Data

University Indian Institute of Science banglore
Year 2011
Downloads 0

Concurrency Analysis and Mining Techniques for APIs

University Indian Institute of Science banglore
Year 2017
Downloads 0

Data Structures and Algorithms to Analyze Concurrency in Android Applications

University Indian Institute of Science banglore
Year 2018
Downloads 0

Deep Learning for Bug Localization and Program Repair

University Indian Institute of Science banglore
Year 2020
Downloads 0

A Fine-Grained Dynamic Information Flow Analysis for Android Apps

University Indian Institute of Science banglore
Year 2017
Downloads 0

Model Extraction Defense using Modified Variational Autoencoder

University Indian Institute of Science banglore
Year 2020
Downloads 0

P3 : An Effective Technique for Partitioned Path Profiling

University Indian Institute of Science banglore
Year 2015
Downloads 0

Program Repair by Automated Generation of Hints

University Indian Institute of Science banglore
Year 2017
Downloads 0

Transducer-based Algorithmic Verification of Retransmission Protocols over Noisy Channels

University Indian Institute of Science banglore
Year 2013
Downloads 0
No Data Found

There is currently nothing to display here.

Scholarly Publications

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models

Conference Paper
Year: 2008. Pages: 89-98 .
Authors: Rajeev Alur; Aditya Kanade; S. Ramesh; K. C. Shashidhar
DOI 10.1145/1450058.1450071 Crossref Crossref: 50 Scopus Scopus: 62

P3: Partitioned path profiling

Conference Paper
Year: 2015. Pages: 485-495 .
Authors: Mohammed Afraz; Diptikalyan Saha; Aditya Kanade
DOI 10.1145/2786805.2786868 Crossref Crossref: 3 Scopus Scopus: 4

Rely/guarantee reasoning for asynchronous programs

Conference Paper
Year: 2015. Volume: 42 , Pages: 483-496 .
DOI 10.4230/LIPIcs.CONCUR.2015.483 Scopus Scopus: 15

Mining unit tests for discovery and migration of math APIs

Journal Article
ACM Transactions on Software Engineering and Methodology. Year: 2014. Volume: 24 , Issue: 1 .
Authors: Anirudh Santhiar; Omesh Pandita; Aditya Kanade
DOI 10.1145/2629506 Crossref Crossref: 5 Scopus Scopus: 5

Race detection for android applications

Conference Paper
ACM SIGPLAN Notices. Year: 2014. Volume: 49 , Issue: 6 , Pages: 316-325 .
Authors: Pallavi Maiya; Aditya Kanade; Rupak Majumdar
DOI 10.1145/2594291.2594311 Crossref Crossref: 64 Scopus Scopus: 70

MintHint: Automated synthesis of repair hints

Conference Paper
Year: 2014. Issue: 1 , Pages: 266-276 .
Authors: Shalini Kaleeswaran; Varun Tulsian; Aditya Kanade; Alessandro Orso
DOI 10.1145/2568225.2568258 Crossref Crossref: 56 Scopus Scopus: 71

Mux: Algorithm selection for software model checkers

Conference Paper
Year: 2014. Pages: 132-141 .
Authors: Varun Tulsian; Aditya Kanade; Rahul Kumar; Akash Lal; Aditya V. Nori
DOI 10.1145/2597073.2597080 Crossref Crossref: 26 Scopus Scopus: 31

Transducer-based algorithmic verification of retransmission protocols over noisy channels

Open Access
Conference Paper
Year: 2013. Volume: 7892 LNCS , Pages: 209-224 .
Authors: Jay Thakkar; Aditya Kanade; Rajeev Alur
DOI 10.1007/978-3-642-38592-6_15 Crossref Crossref: 4 Scopus Scopus: 6
Showing 1 to 8 of 36 publications