Machine Learning, Program Synthesis, Deep Learning, Npi.
the training of this model requires access to traces of the program. But the ideas expressed here are definitely useful in the space. For example we used the idea of traces as intermediate representation in our work on Karel (full paper sent to NIPS).