Aditya Kanade Assistant Professor Computer Science and Automation Indian Institute of Science	Office: Room 209 Telephone: +91-80-2293 3202 Fax: +91-80-2360 2911 Email: kanade at csa iisc ernet in
Research interests Formal methods Software design and analysis Analysis of embedded software	Education BE (COEP) 1998-2002 PhD (IIT Bombay) 2002-2007 Postdoc (UPenn) 2007-2009

Publications

A logic for correlating temporal properties across program transformations (Under submission)
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)

Teaching

E0 223: Automated Verification (January - April 2010)

Software tools

DISCOVER: A tool for improving simulation coverage of Simulink/Stateflow models
SPOTS: A system for proving optimizing transformations sound

Personal interests

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

Digital Photography: A collection of photos and photo-articles Eternal Struggle of the Spotted Bird Down-toad-den: A series of unfortunate events (Online and in Hornbill 2006) Catch Me if You can