Program Synthesis Courses and Certifications

Stanford Seminar - Concepts and Questions as Programs

Explore Stanford University's seminar on AI and cognitive science, focusing on concept learning and question asking. Learn about program induction and synthesis, with applications in various fields.

• YouTube
• 1 hour 18 minutes
• On-Demand
• Free Online Course

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

Explore the challenges of deploying autonomous service mobile robots in unstructured environments with Stanford University. Learn about robustness, overcoming failures, and adapting to user needs.

• YouTube
• 1 hour
• On-Demand
• Free Online Course

EI Seminar - Recent Papers in Embodied Intelligence

Explore MIT's seminar on Embodied Intelligence, covering topics like automated experiment design, neuro-symbolic generative models, and contact-aware robot design. Less than 1hr workload.

• YouTube
• 53 minutes
• On-Demand
• Free Online Course

Yannic Kilcher

DreamCoder- Growing Generalizable, Interpretable Knowledge With Wake-Sleep Bayesian Program Learning

Explore machine learning with Yannic Kilcher in less than an hour. Learn about DreamCoder, a system that solves problems by writing programs, and its potential in deep learning.

• YouTube
• 48 minutes
• On-Demand
• Free Online Course

Aleksa Gordić - The AI Epiphany

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

Explore how to solve university-level math problems using OpenAI's davinci Codex model in this short, engaging offering from The AI Epiphany.

• YouTube
• 33 minutes
• On-Demand
• Free Online Course

Simons Institute

Using Program Synthesis to Build Compilers

Learn to build compilers using program synthesis in under an hour with UC Berkeley's Alvin Cheung at Simons Institute.

• YouTube
• 27 minutes
• On-Demand
• Free Online Course

Strange Loop Conference

You Are a Program Synthesizer

Learn program synthesis and verification with James Koppel at the Strange Loop Conference. Gain insights into code quality, derive code from specifications, and analyze code complexity.

• YouTube
• 40 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Type-Driven Program Synthesis

Explore type-driven program synthesis with Nadia Polikarpova at the Strange Loop Conference. Learn to improve software quality using declarative constructs and program synthesis technology. Under 1 hour.

• YouTube
• 40 minutes
• On-Demand
• Conference Talk

Institute for Pure & Applied Mathematics (IPAM)

Interpretable Machine Learning via Program Synthesis - IPAM at UCLA

Explore machine learning interpretability via program synthesis with Osbert Bastani from the University of Pennsylvania, in a short workshop by IPAM at UCLA.

• YouTube
• 47 minutes
• On-Demand
• Free Online Course

Institute for Pure & Applied Mathematics (IPAM)

Autoformalization with Large Language Models - IPAM at UCLA

Explore autoformalization with large language models in this under 1-hour material by Tony Wu of Google, presented at IPAM's Machine Assisted Proofs Workshop.

• YouTube
• 55 minutes
• On-Demand
• Free Online Course

Strange Loop Conference

Program Synthesis - A Dream Realized

Learn about classical and inductive program synthesis, its challenges, and solutions in this less than 1-hour material by Roopsha Samanta at Strange Loop Conference.

• YouTube
• 38 minutes
• On-Demand
• Conference Talk

Hack In The Box Security Conference

A Review of Modern Code Deobfuscation Techniques

Explore modern code deobfuscation techniques with Arnau Gamez Montolio in this short Hack In The Box Security Conference session. Learn about the limitations of syntactic methods and the rise of semantic approaches.

• YouTube
• 50 minutes
• On-Demand
• Conference Talk

Black Hat

Greybox Program Synthesis - A New Approach to Attack Dataflow Obfuscation

Explore the latest advances in program synthesis for deobfuscation with Black Hat. This under 1-hour material covers obfuscation, synthesis, and use cases.

• YouTube
• 36 minutes
• On-Demand
• Conference Talk

USENIX

Synthesizing Runtime Programmable Switch Updates

Learn to synthesize runtime programmable switch updates with FlexPlan in less than an hour with USENIX. Gain skills in network device programming and formal verification techniques.

• YouTube
• 15 minutes
• On-Demand
• Conference Talk

USENIX

Formal Methods for Network Performance Analysis

Explore USENIX's approach to network performance analysis using formal methods. Learn to model network components, generate workloads, and tackle performance metrics.

• YouTube
• 15 minutes
• On-Demand
• Conference Talk