Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a groundbreaking synthesis algorithm presented at POPL 2024 that efficiently searches programs with local variables. Dive into the concept of lifted interpretation, which enables simultaneous evaluation of all programs from a grammar, allowing for effective reduction of the search space for programs with local variables. Learn how this innovative approach overcomes limitations of prior bottom-up synthesis algorithms, particularly in evaluating programs with free local variables. Discover the application of these ideas in web automation through Arborist, a tool that outperforms state-of-the-art techniques like WebRobot and Helena in automating complex tasks. Gain insights into the algorithm's potential to significantly expand the range of automatable tasks in web environments.
