Program Synthesis
Offered By: WeAreDevelopers via YouTube
Course Description
Overview
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
Stack Overflow - Community and AIWeAreDevelopers via YouTube Tech Blogging, Building Your Personal Brand, and Navigating the Developer World
WeAreDevelopers via YouTube When Worlds Collide - How Will Generative AI Change the Way We Design and Build Software
WeAreDevelopers via YouTube Fintech Disruption - A Fireside Chat
WeAreDevelopers via YouTube Stack Overflow - Past, Present & Future
WeAreDevelopers via YouTube