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 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.
