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.