Главная
Study mode:
on
1
Einleitung
2
Program Synthesis
3
Data Wrangling
4
FlashFill
5
Enumerative Search
6
Using Domain knowledge
7
Dealing with Ambiguity
8
ConvertFromString (FlashExtract)
9
PROSE (Flash Meta)
10
Sketch
11
Example: Registerless Swap
12
Recursive Generators
13
Example: Least Significant Zero
14
Superoptimization
15
Code Deobfuscation
16
On-the-fly Edit Suggestions
17
Summary
Description:
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.

Program Synthesis

WeAreDevelopers
Add to list