IISc
has migrated to a new domain. If you were using
kanade@csa.iisc.ernet.in, please change it to kanade@iisc.ac.in.
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) development of neural architectures for program analysis and procedural computations (similar to manually-written programs) and 3) improving productivity of developers, students and users by 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)
Personal Information
Brief biography
I like to spend my spare time in nature photography. I post photos on my Facebook page. Here are some photo-articles I wrote:
|
|
