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

July 2018: I have joined Google Brain at Mountain View as a visiting researcher on leave from IISc. I am away from my regular academic and administrative duties at IISc for the duration of my leave.

 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, Formal methods

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

Recent Publications/Drafts
  • Neural attribution for semantic bug-localization in student programs [NeurIPS 2019]
  • Neural program repair by jointly learning to localize and repair [ICLR 2019]
  • Deep reinforcement learning for syntactic error repair in student programs [AAAI 2019]
  • Greybox fuzzing as a contextual bandits problem [draft]
  • Active learning for efficient testing of student programs [AIED 2018]
  • Event-based concurrency: Applications, abstractions and analyses [Adv. in Computers 2018]
  • 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

  • Illustrious Alumnus Award (Computer Engineering), 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: