Program Synthesis

Offered By: WeAreDevelopers via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore program synthesis in this 44-minute conference talk by Friedrich Slivovsky at WeAreDevelopers. Delve into topics such as data wrangling, FlashFill, enumerative search, domain knowledge application, and ambiguity handling. Learn about PROSE (Flash Meta), Sketch, recursive generators, and superoptimization. Discover practical applications like registerless swap, least significant zero calculation, code deobfuscation, and on-the-fly edit suggestions. Gain insights into this powerful technique for automating programming tasks and optimizing code.

Syllabus

Einleitung
Program Synthesis
Data Wrangling
FlashFill
Enumerative Search
Using Domain knowledge
Dealing with Ambiguity
ConvertFromString (FlashExtract)
PROSE (Flash Meta)
Sketch
Example: Registerless Swap
Recursive Generators
Example: Least Significant Zero
Superoptimization
Code Deobfuscation
On-the-fly Edit Suggestions
Summary

Taught by

WeAreDevelopers

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 Using Program Synthesis to Build Compilers
Simons Institute via YouTube