Using Program Synthesis to Build Compilers

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.

Introduction
SyntaxDriven Compilation
Program Synthesis
Verification
Evaluation
Benchmarks
Recap
Summary