Concepedia

Aditya Kanade

AK

Statistics

Publications

3

Citations

59

H-Index

3

Active since

2014

Affiliations

Microsoft (United States)(Current)

Aditya Kanade is an author at Microsoft (United States) specializing in computer science, program analysis, and software analysis.

Top concepts

Publications per year

2014–2018

3

Publications

3

MUX: algorithm selection for software model checkers

Varun Tulsian, Aditya Kanade, Rahul Kumar et al. · 2014 · 33 citations

, , +19

Efficient computation of happens-before relation for event-driven programs

Pallavi Maiya, Aditya Kanade · 2017 · 14 citations

, , +22

Greybox fuzzing as a contextual bandits problem

Ketan Patil, Aditya Kanade · ArXiv.org · 2018 · 12 citations · Full text

, , +18

1–3 of 3