Education and Affiliations- Associate Professor, Indian Institute of Science (June 2015 - present)
- Visiting Researcher, Google Brain (July 2018 - August 2020)
- Assistant Professor, Indian Institute of Science (June 2009 - June 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)
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 - 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]
- E0 202: Automated software engineering with machine learning (Jan - Apr 2021)
- E0 302: Topics in software engineering - jointly with Shirish Shevade (Aug - Dec 2020)
Professional Activities
- Program/review committees: AAAI 2021, PLDI 2021, ICLR 2021, ICSE 2021, NeurIPS 2020, PLDI 2020 (EPC), 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)
- 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 (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
I like to spend my spare time in nature photography. I post photos on my Facebook page. Here are some photo-articles I wrote:
|
|
