Aditya Kanade
Associate Professor of Computer Science and Automation
Indian Institute of Science, Bangalore - 560012, India

Research group: Software Engineering and Analysis Lab (SEAL)
Office: CSA 209 (first floor)
Phone: +91-80-2293-3202
Fax: +91-80-2360-2911
Twitter: @adityakanade0

Research (See publications and software)

My research interests are programming languages, software engineering, verification and machine learning. I am particularly interested in topics related to concurrent and distributed software, smartphone and web applications, massive code repositories, student solutions to programming assignments and machine learning applications.

Recent Publications/Drafts
  • DeepFix: Fixing common C language errors by deep learning [AAAI'17]
  • Asynchrony-aware static analysis of Android applications [MEMOCODE'16]
  • Semi-supervised verified feedback generation [FSE'16]
  • Efficient race detection in the presence of programmatic event loops [ISSTA'16]
  • Partial order reduction for event-driven multi-threaded programs [TACAS'16]

Teaching (See courses)
  • E0 239: Software reliability techniques [Jan-Apr'17]
  • E0 302: Machine learning for software engineering [Aug-Dec'16] - jointly with Shirish Shevade

Professional Activities

Personal Information

Brief biography

I like to spend my spare time in nature photography. I post photos on my Facebook page. Here are some photo-articles I wrote: