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

Lab: Software Engineering and Analysis Lab (SEAL)
Office: CSA 209 (first floor)
Phone: +91-80-2293-3202, Fax: +91-80-2360-2911
Email Twitter LinkedIn

IISc has migrated to a new domain. If you were using kanade@csa.iisc.ernet.in, please change it to kanade@iisc.ac.in.

Research
(See publications and software)
Research interests: Programming languages, Software engineering, Verification, Machine learning


My research is directed at three themes: 1) design and analysis of concurrent, intelligent and secure software, 2) development of neural architectures for program analysis and procedural computations (similar to manually-written programs) and 3) improving productivity of developers, students and users by automated software engineering.

Recent Publications/Drafts
  • Event-based concurrency: Applications, abstractions and analyses [Invited book chapter]
  • Efficient computation of happens-before relation for event-driven programs [ISSTA'17]
  • Static deadlock detection for asynchronous C# programs [PLDI'17]
  • DeepFix: Fixing common C language errors by deep learning [AAAI'17]

Teaching (See courses)
  • E0 202: Automated software engineering with machine learning (Jan-Apr'18)
  • E0 302: Topics in software engineering - jointly with Shirish Shevade (Aug-Dec'17)

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: