Software Engineering
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.
Selected Publications
Neural Program Generation Modulo Static Analysis Journal Article
In: Neural Information Processing Systems (NeurIPS), 2021., 2021.
Searching a Database of Source Codes Using Contextualized Code Search Journal Article
In: Proc. VLDB Endow., vol. 13, no. 10, pp. 1765–1778, 2020.
Neural Sketch Learning for Conditional Program Generation Inproceedings
In: 6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings, 2018.