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 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) computing and reasoning with/about deep neural networks and 3) improving productivity of developers, students and users through 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]
- 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
- Program committees: PLDI 2018, ICSE 2018 (Demo track), AFM 2017, ICST 2017, ICSE 2017, FSTTCS 2016, ICSE 2016 (Demo track), POPL 2016, ISEC 2016, ICSE 2015 (NIER track), ICST 2015, RV 2015, WEPL 2015, FSTTCS 2014, ICST 2014, AST 2014, ICST 2013, VLSID 2013, ISEC 2013, ICISS 2013, ISEC 2012, ICISS 2012, ICDCIT 2011, AVoCS 2010 (Journal issue), ISSRE 2009 (Student track)
- Member, Review Board, IEEE Transactions on Software Engineering (TSE)
- PC co-chair for ICSE 2017 Demo Track (with Nicolas D’Ippolito)
- Co-organizer of FSTTCS 2015 (with Deepak D'Souza)
- Co-organizer of ACM SIGPLAN Programming Languages Mentoring Workshop (PLMW) 2015 (with Derek Dreyer, Ruzica Piskac, Alan Schmitt, Ross Tate)
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:
|
|
