
KEC 1007

Speaker Information

Xinyu Wang
PhD Candidate
UT Austin



In this talk, I will describe a unified program synthesis framework which can be applied broadly to automating tasks across different application domains. The framework is also efficient and achieves orders of magnitude improvement in terms of synthesis speed compared to existing techniques. In particular, I have used this framework to build synthesizers for three different application domains and achieved up to 450x speed-up compared to state-of-the-art synthesis techniques.

Speaker Bio

Xinyu Wang is a PhD candidate at UT Austin working at the intersection of programming languages, software engineering and formal methods with Isil Dillig. He is interested in developing foundational program synthesis techniques that are applicable to automating real-world programming tasks.