AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
