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 213 (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.

Education and Affiliations
  • Associate Professor, Indian Institute of Science
  • Post-doctoral Research Associate, University of Pennsylvania (June 2007 - June 2009)
  • Visiting Researcher, General Motors India Science Lab (June 2007 - June 2009)
  • Visiting Researcher, Microsoft Research India (August - September 2008)
  • PhD, Indian Institute of Technology Bombay (July 2002 - March 2007)
  • BE, Government College of Engineering Pune (June 1998 - June 2002)

Research (See publications and software)
Research areas: Programming languages, Software engineering, Artificial intelligence


My research is directed at three themes: 1) design and analysis of software systems with special interest in concurrency, security and smartphone applications, 2) machine learning for program analysis and automated software engineering, and 3) algorithms and systems for artificial intelligence.

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

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

Professional Activities

Honors
  • Illustrious Alumnus Award, Dept. of CS&IT, College of Engineering Pune, 2016
  • Prof. Priti Shankar Teaching Excellence Award, 2014
  • Faculty awards from Mozilla, IBM, Microsoft Research India
  • ACM SIGBED Best Paper Award at EMSOFT, 2008
  • Silver medal (Computer Engineering), University of Pune, 2002

Personal Information

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