Aditya Kanade
Assistant Professor Computer Science and Automation Indian Institute of Science Bangalore 560012, India	Office: CSA 209 Telephone: +91-80-2293 3202 Fax: +91-80-2360 2911 Email: kanade at csa iisc ernet in

Brief Bio: I obtained a PhD from the Indian Institute of Technology Bombay in 2007, and a BE from the Government College of Engineering Pune in 2002, both in computer science and engineering. From 2007 to 2009, I was a post-doctoral research associate at the University of Pennsylvania. In August 2009, I joined the Indian Institute of Science where I am an Assistant Professor at the Department of Computer Science and Automation.

Research Interests: My research interests include both theoretical and practical aspects of design and analysis of programs and more generally, software systems. The goal of my research is to develop formal methods (automata theory, computational logic, program analysis) and empirical methods (information retrieval, data mining, machine learning) to address difficulties in software engineering. In the past, I have worked on deductive theorem proving, translation validation, and hybrid systems.

---

Research Projects

• Checking compatibility of producer-consumer and version-related programs
• Techniques for retrieval and composition of programs
• Automata-theoretic verification of retransmission protocols
• Past Projects
  • Symbolic simulation and test generation for Simulink/Stateflow models
  • Deductive proofs and translation validation of compiler optimizations

Publications

• Representation dependence testing using program inversion (FSE 2010)
  
• Generating and analyzing symbolic traces of Simulink/Stateflow models (CAV 2009)
  
• Validation of GCC optimizers through trace generation (Journal: SPE 2009)
  
• Symbolic analysis for improving simulation coverage of Simulink/Stateflow models (EMSOFT 2008) Best paper award
  
• Ranking automata and games for prioritized requirements (CAV 2008)
  
• Structuring optimizing transformations and proving them sound (ENTCS 2007)
  
• A PVS based framework for validating compiler optimizations (SEFM 2006)
  
• Heterogeneous fixed points with application to points-to analysis (APLAS 2005)
  
• SPOTS: A system for proving optimizing transformations sound (PhD thesis, 2007)
• Down-toad-den: A series of unfortunate events (Hornbill 2006)

Teaching   Recent | All

• E0 223: Automated Verification (January - April 2012)
  
• E0 323: Topics in Verification (August - December 2011): Co-taught with Satish Chandra
• E0 223: Automated Verification (January - April 2011)
  

Awards

• Unrestricted research grant: From Microsoft Research India (2010).
• The ACM SIGBED EMSOFT best paper award: For our EMSOFT paper (2008).

Professional Service

PC member: ISEC 2012, I-CARE 2011, ICDCIT 2011, AVOCS 2009-Special issue, ISSRE 2009 (student track)

---

Research Group   Present members | Alumni

• Anirudh Santhiar (PhD)
• Jay Thakkar (MSc)
• Omesh Pandita (ME)
• Pallavi Maiya H.P. (PhD)
• Pranavadatta D.N. (MSc)
• Shalini Kaleeswaran (PhD)

Student Awards

• The Computer Society of India (CSI) Medal for Best Student of ME (CSE): Won by Anirudh Santhiar, ME advisee, 2011.

---

Personal Interests

Nature. Birding. Reptiles. Photography. BNHS. WWF India. India-Nature-Pixs. Checklist of IISc campus birds.

Digital Photography: My photoblog Eternal Struggle of the Spotted Bird (photo-article) Down-toad-den: A series of unfortunate events (photo-article) Catch Me if You can (photo-article)