39:40"Type-Driven Program Synthesis" by Nadia PolikarpovaStrange Loop Conference14.5K viewsView & Download
49:47Generating Programs from Types | Nadia Polikarpova | Lambda Days 2021Code Sync902 viewsView & Download
20:04[POPL'24] Optimal Program Synthesis via Abstract InterpretationACM SIGPLAN352 viewsView & Download
18:42[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…)ACM SIGPLAN113 viewsView & Download
0:58PLDI 2015 Video Abstract: Type-and-Example-Directed Program SynthesisPeter-Michael Osera838 viewsView & Download
17:51(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESUTEDx Talks1.4K viewsView & Download
16:34[POPL'24] Efficient Bottom-Up Synthesis for Programs with Local VariablesACM SIGPLAN217 viewsView & Download