Program Synthesis Courses
Institute for Pure & Applied Mathematics (IPAM) via YouTube Synthesizing Runtime Programmable Switch Updates
USENIX via YouTube Formal Methods for Network Performance Analysis
USENIX via YouTube Greybox Program Synthesis - A New Approach to Attack Dataflow Obfuscation
Black Hat via YouTube Breaking State-of-the-Art Binary Code Obfuscation via Program Synthesis
Black Hat via YouTube Stanford Seminar - Deploying Autonomous Service Mobile Robots, and Keeping Them Autonomous
Stanford University via YouTube Automatic Programming - How Far Can Machines Go
GOTO Conferences via YouTube Towards Intelligent Application Security
Fission via YouTube A World Without Programmers?
NDC Conferences via YouTube Automatically Optimizing BPF Programs Using Program Synthesis
Linux Plumbers Conference via YouTube