Program Synthesis: Applications and Techniques
This event is free and open to the publicAdd to Google Calendar
Title: Program Synthesis: Applications and Techniques
Abstract: Program synthesis aims to achieve the goal of “automated programming”: it automatically turns the high-level specification into a program. In this talk, I will talk about some of my works on applications and techniques of program synthesis, as well as how one motivates/enables the other.
Bio: Xinyu Wang has been an assistant professor in CSE since September 2020. He was a researcher at Microsoft and obtained his PhD from the University of Texas at Austin in 2019.