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