Aditya Kanade

My new webpage is here.

Education and Affiliations

• Professor, Indian Institute of Science (June 2022 - July 2022)

• Associate Professor, Indian Institute of Science (August 2015 - June 2022)

• Research Consultant, Microsoft Research India (March 2022 - June 2022)

• Visiting Researcher, Google Brain (July 2018 - August 2020) - on leave from IISc

• Assistant Professor, Indian Institute of Science (August 2009 - August 2015)

• 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)

I work at the confluence of machine learning, software engineering and automated reasoning. This is an exciting space wherein we can i) design machine-learning and logic-based methods to analyze programs, ii) automate software engineering, and iii) make machine learning reliable, robust and secure.

Recent Publications/Reports

• Stateful detection of model extraction attacks [Draft]

• Learning and evaluating contextual embedding of source code [ICML 2020]

• ActiveThief: Model extraction using active learning and unannotated public data [AAAI 2020]

• 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]

• Scalable neural learning for verifiable consistency with temporal specifications [Draft]

Teaching (See courses)

• E0 202: Automated software engineering with machine learning (Jan - Apr 2021)

• E0 302: Topics in software engineering - jointly with Shirish Shevade (Aug - Dec 2021)

Professional Activities

• Conference program committee: AAAI 2023 (Area Chair), AIMLSystems 2022, MAPS 2022, AAAI 2022 (Area Chair), ICLR 2022, AIMLSystems 2021, NeurIPS 2021, ICML 2021, AAAI 2021, PLDI 2021, ICLR 2021, ICSE 2021, NeurIPS 2020, PLDI 2020 (EPC), VSTTE 2019, ML4P workshop (co-located with FLoC 2018), ASE 2018, NL4SE workshop (co-located with AAAI 2018), 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)

• Journal review board: Transactions of Machine Learning Research (February 2022 - present), IEEE Transactions on Software Engineering (TSE) (June 2017 - March 2021)

• Invited talk in ACM ISOFT Software Engineering Research in India (SERI), April 2022

• Keynote at the 15th ACM Innovations in Software Engineering Conference (ISEC), February 2022

• Invited talk in the Open Data Science Conference, APAC region, September 2021

• Host of the ask-me-anything session with Sriram Rajamani at PLDI 2021 (Video)

• PC co-chair: ICSE 2017 Demo Track (with Nicolas D’Ippolito)

• Co-organizer: FSTTCS 2015 (with Deepak D'Souza), ACM SIGPLAN Programming Languages Mentoring Workshop (PLMW) 2015 (with Derek Dreyer, Ruzica Piskac, Alan Schmitt, Ross Tate)

Honors

• Distinguished program committee member, ICML 2021

• Distinguished program committee member, AAAI 2021

• Distinguished 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:

• Down-toad-den: A series of unfortunate events (published in the Hornbill magazine of Bombay Natural History Society)

• Eternal Struggle of the Spotted Bird

• Down-toad-den: A series of unfortunate events

• Catch Me if You can