YoVDO

Synthesis II - Session Preview for POPL 2023

Offered By: ACM SIGPLAN via YouTube

Tags

Program Synthesis Courses Programming Languages Courses Software Engineering Courses Type System Courses Formal Methods Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

[Session Previews @ POPL'23] Synthesis II


Taught by

ACM SIGPLAN

Related Courses

Programming Languages
University of Virginia via Udacity Compilers
Stanford University via Coursera Programming Languages, Part A
University of Washington via Coursera CSCI 1730 - Introduction to Programming Languages
Brown University via Independent Intro to Java Programming
San Jose State University via Udacity