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

Intro to Computer Science
University of Virginia via Udacity Software Engineering for SaaS
University of California, Berkeley via Coursera CS50's Introduction to Computer Science
Harvard University via edX UNSW Computing 1 - The Art of Programming
OpenLearning Mobile Robotics
Open2Study