Synthesis II - Session Preview for POPL 2023

Explore a 12-minute session preview from the POPL 2023 conference focusing on Synthesis II. Presented by Nate Foster, this talk is part of a new track piloted at POPL 2023, aimed at making conference presentations more accessible to the entire community. Gain insights into the background material on the general topic of synthesis and learn about the specific papers included in this session. Discover how this innovative approach, borrowed from the SIGCOMM community, enhances understanding and engagement for attendees across various expertise levels in programming languages and software engineering.