Synquid

"Type-Driven Program Synthesis" by Nadia Polikarpova

Strange Loop Conference

Type-Driven Program Synthesis

Microsoft Research

Program Synthesis from Refinement Types

Microsoft Research

Secrets of type driven program synthesis - Edwin Brady | Lambda Days 2021

Generating Programs from Types | Nadia Polikarpova | Lambda Days 2021

Dependent Type Driven Program Synthesis in Idris | Edwin Brady | Code Mesh V 2020

Resource Guided Program Synthesis

Resource-Guided Program Synthesis

Program Sketching with Live Bidirectional Evaluation (ICFP 2020)

Discussion of "Resource-Guided Program Synthesis" | Qinheping Hu

Dependent Type Driven Program Synthesis

Lectures by Prof. Eades at AU

Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution (Teaser)

Yu Feng - Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples

Nadia Polikarpova: Liquid resource types for verification and synthesis

Chalmers Functional Programming Seminar Series

Analyzing Programs with Z3

Compose Conference

ICFP 2020 Session NY 6

ICFP 2020 Session Asia 6

[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution

Discussion of "Liquid Information Flow Control" | Zachary Susag