Awesome Program Synthesis Talks

A curated list of amazing Program Synthesis related conference talks.

Nadia Polikarpova: Liquid resource types for verification and synthesis
May 2020
“Type-Driven Program Synthesis” by Nadia Polikarpova
October 2018
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
December 2016