Program Synthesis Courses and Certifications

Aleksa Gordić - The AI Epiphany

A Neural Network Solves and Generates Mathematics Problems by Program Synthesis - Paper Explained

An explanation of how OpenAI Codex uses prompt-modified math problems and generated Python code to solve and generate university-level mathematics problems.

• YouTube
• 33 minutes
• Self-Paced
• Free Video

The Julia Programming Language

Herb.jl: Teaching Programs How to Program with Program Synthesis

Explore Herb.jl, a Julia library for program synthesis, unifying various approaches and providing tools for developing new synthesizers and solving complex problems.

• YouTube
• 10 minutes
• Self-Paced
• Free Video

Stanford Seminar - Concepts and Questions as Programs

Explores program induction and synthesis as models for human-like concept learning and rich question asking, with applications to handwritten characters and recursive visual concepts.

• YouTube
• 1 hour 18 minutes
• Self-Paced
• Free Online Course

Trelis Research

Solving ARC Tasks by Writing Python Programs

Discover how to tackle ARC Prize 2025 challenges through Python programming techniques and research insights from Trelis Research experts.

• YouTube
• 1 hour 8 minutes
• Self-Paced
• Free Video

Strange Loop Conference

Type-Driven Program Synthesis

Explore type-driven program synthesis using refinement types and SMT solving to generate functional programs and repair information-flow leaks.

• YouTube
• 40 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Program Synthesis - A Dream Realized

An introduction to classical and inductive program synthesis, including overfitting, ambiguity, inductive biases, and semantics-guided techniques for more robust generalization.

• YouTube
• 38 minutes
• Self-Paced
• Conference Talk

Black Hat

Greybox Program Synthesis - A New Approach to Attack Dataflow Obfuscation

A greybox program synthesis approach uses input-output behavior to tackle dataflow obfuscation.

• YouTube
• 36 minutes
• Self-Paced
• Conference Talk

Linux Plumbers Conference

Automatically Optimizing BPF Programs Using Program Synthesis

Explore automatic optimization of BPF programs through program synthesis, covering performance, safety, and practical applications. Learn about K2 equivalence checks and their impact on BPF development.

• YouTube
• 48 minutes
• Self-Paced
• Conference Talk

Stanford Seminar - Deploying Autonomous Service Mobile Robots, and Keeping Them Autonomous

Research advances help service robots stay autonomous in changing human environments by anticipating perception failures and adapting their behavior to user needs.

• YouTube
• 1 hour
• Self-Paced
• Free Video

WeAreDevelopers

Program Synthesis

Explore program synthesis techniques including data wrangling, enumerative search, and superoptimization. Learn about tools like FlashFill and PROSE for automated code generation and optimization.

• YouTube
• 44 minutes
• Self-Paced
• Conference Talk

Conference on Computer-Aided Verification

Analogical Reasoning Engines: Flash Fill vs GPT-4 - Keynote

Explore analogical reasoning in AI, comparing domain-specific engines like Flash Fill with LLMs like GPT-4. Discover implications for problem-solving and programming, including prompt engineering and multi-turn workflows.

• YouTube
• 1 hour 10 minutes
• Self-Paced
• Free Video

Strange Loop Conference

Thinking DSLs for Massive Visualization

Explore how domain-specific languages and program synthesis enable Superconductor to compile interactive visualizations into high-level parallel code for multicore and GPU hardware.

• YouTube
• 38 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

You Are a Program Synthesizer

Learn how program synthesis and verification reveal principles of good code, using specifications, Hoare logic, abstract interpretation, and synthesized conditionals.

• YouTube
• 40 minutes
• Self-Paced
• Conference Talk

GOTO Conferences

Automatic Programming - How Far Can Machines Go

Examines why program synthesis has limits and how human involvement can turn synthesis tools into useful programming partners.

• YouTube
• 52 minutes
• Self-Paced
• Conference Talk

Trelis Research

How to Beat ARC AGI 2 - Strategies for Solving the Abstraction and Reasoning Corpus Challenge

Explore strategies for tackling the ARC AGI 2 challenge through program generation, expressive primitives, and test-time adaptation techniques.

• YouTube
• 30 minutes
• Self-Paced
• Free Video