Neural programming and program analysis

Automatically synthesising programs and analysing their behaviour is considered a holy grail of Artificial Intelligence. We work developing neural network based solutions towards automating these tasks. Our recent work has been published in venues such as FSE’16, AAAI’17 and AIED’18.

Faculty: Aditya Kanade, Shirish Shevade
Click image to view enlarged version