Program Synthesis Courses and Certifications

ACM SIGPLAN

Exploratory Study on Multi-User Program Synthesis - A Multi-Wizard Approach

Explore multi-user program synthesis through a design experiment, investigating collaborative potential and effectiveness in software engineering and related domains.

• YouTube
• 25 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples

Design Datalog templates for synthesizing bidirectional programs from tabular examples, exploring innovative approaches in program synthesis and transformation.

• YouTube
• 31 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Machine Learning Meets Program Synthesis - TutorialFest at POPL'24

Explore key principles for leveraging machine learning in program synthesis, examining challenges at the intersection of programming languages, software engineering, and AI.

• YouTube
• 2 hours 45 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Synthesizing Specifications - Automatic Generation of Program Behavior Descriptions

Explore automatic synthesis of program specifications using Spyro, a tool that generates precise L-properties based on user queries and domain-specific languages, applicable in various programming contexts.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Languages with Decidable Learning: A Meta-theorem

Explore finite-aspect checkable languages and their role in decidable learning, connecting expression syntax tree evaluation to finite tree automata for new learning results.

• YouTube
• 18 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Explainable Program Synthesis by Localizing Specifications

Explore explainable program synthesis through subspecifications, enhancing implementation understanding with logical formulas. Learn algorithms for constructing and verifying subspecifications, their properties, and impact on code comprehension.

• YouTube
• 17 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs

Explore algebro-geometric algorithms for template-based synthesis of polynomial programs, offering a scalable approach to program sketching without sacrificing completeness.

• YouTube
• 17 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation

Explore a novel approach to inductive program synthesis using iterative forward-backward abstract interpretation, enhancing search space pruning and improving synthesis efficiency.

• YouTube
• 17 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Trace-Guided Inductive Synthesis of Recursive Functional Programs

Explore a novel trace-guided approach for synthesizing recursive functional programs from input-output examples, addressing ambiguity and generalization challenges in program synthesis.

• YouTube
• 20 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Semantic Code Refactoring for Abstract Data Types

Explore automated semantic code refactoring for Abstract Data Types using a novel method that generates equivalent implementations based on new data representations and relational invariants.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Synthesis 2 - Session Preview

Explore cutting-edge research in program synthesis with Hila Peleg's preview of the Synthesis 2 session at POPL'24, highlighting recent advancements in the field.

• YouTube
• 12 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Toward Probabilistic Coarse-to-Fine Program Synthesis

Explore probabilistic coarse-to-fine program synthesis, a novel approach using iterative refinement of stochastic programs to efficiently search and generate programs matching specifications.

• YouTube
• 12 minutes
• On-Demand
• Free Video

ACM SIGPLAN

API-Driven Program Synthesis for Testing Static Typing Implementations

Explore API-driven program synthesis for testing static typing in compilers. Learn about generating type-intensive programs using existing APIs to uncover compiler bugs efficiently.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Efficient Bottom-Up Synthesis for Programs with Local Variables

Explore a novel synthesis algorithm for efficient program search with local variables, featuring lifted interpretation for improved space reduction in web automation tasks.

• YouTube
• 17 minutes
• On-Demand
• Free Video

Simons Institute

Counterexample-Guided Inference of Modular Specifications

Explore an algorithm for automatically inferring function specifications in modular verification, enhancing compositional proofs and extending completeness to infinite specification sets.

• YouTube
• 28 minutes
• On-Demand
• Free Video