Computer Science and Engineering

Faculty Seminar

Program Synthesis: Applications and Techniques

Xinyu WangAssistant ProfessorUniversity of Michigan

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.


Faculty Seminar Series