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 areas: Programming languages, Software engineering, Artificial intelligence
My research is directed at three themes: 1) design and analysis of software systems (with special interest in concurrency, security, mobile and cloud applications), 2) machine learning for program analysis and automated software engineering, and 3) algorithms and systems for artificial intelligence.
Recent Publications/Drafts
- Deep reinforcement learning for programming language correction [draft]
- Active learning for efficient testing of student programs [AIED 2018]
- Event-based concurrency: Applications, abstractions and analyses [Adv. in Computers 2018]
- Efficient computation of happens-before relation for event-driven programs [ISSTA 2017]
- Static deadlock detection for asynchronous C# programs [PLDI 2017]
- DeepFix: Fixing common C language errors by deep learning [AAAI 2017]
- E0 202: Automated software engineering with machine learning (Jan - Apr 2018)
- E0 302: Topics in software engineering - jointly with Shirish Shevade (Aug - Dec 2017)
Professional Activities
- Program committees: 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, 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
I like to spend my spare time in nature photography. I post photos on my Facebook page. Here are some photo-articles I wrote:
|
|
