Synthesis of programs with local variables (and its applications to web automation)
2024-08-15
Xinyu will talk about a recent line of work that aims to synthesize web automation programs from user demonstrations. In particular, the talk will focus on the POPL 2024 paper about how to synthesize programs with local variables. The talk will also will connect it to web automation program synthesis: the connection involves how to use rewriting for programming-by-demonstration (more details in the WebRobot paper), which will briefly be explained.
Xinyu Wang is an Assistant Professor at the University of Michigan.