Many aspects of everyday software engineering are repetitive; today, developers commonly perform these tasks using the guidance of other developers through forums like Stack Overflow. Program synthesis systems, such as the ones developed in our work, can potentially automate away many of these repetitive tasks. By doing so, they can allow the expert software engineer to focus on the more creative aspects of their work and enable novice programmers to do far more complex tasks than they can do today.
Neural Program Generation Modulo Static Analysis Journal Article
In: Neural Information Processing Systems (NeurIPS), 2021., 2021.
In: Proc. VLDB Endow., vol. 13, no. 10, pp. 1765–1778, 2020.
In: 6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings, 2018.