Using Program Synthesis to Build Compilers

Offered By: Simons Institute via YouTube

Course Description

Overview

Explore the intersection of program synthesis and compiler construction in this 27-minute lecture by Alvin Cheung from UC Berkeley. Delve into syntax-driven compilation techniques, learn how program synthesis can be applied to build compilers, and understand the role of verification in this process. Examine evaluation methods and benchmarks used in this field, and gain insights into the potential future directions of compiler technology. Conclude with a comprehensive recap and summary of the key concepts presented.

Syllabus

Introduction
SyntaxDriven Compilation
Program Synthesis
Verification
Evaluation
Benchmarks
Recap
Summary

Taught by

Simons Institute

Related Courses

Stanford Seminar - Concepts and Questions as Programs
Stanford University via YouTube DreamCoder- Growing Generalizable, Interpretable Knowledge With Wake-Sleep Bayesian Program Learning
Yannic Kilcher via YouTube A Neural Network Solves and Generates Mathematics Problems by Program Synthesis - Paper Explained
Aleksa Gordić - The AI Epiphany via YouTube EI Seminar - Recent Papers in Embodied Intelligence
Massachusetts Institute of Technology via YouTube You Are a Program Synthesizer
Strange Loop Conference via YouTube