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
![[POPL'18] Program Synthesis using Abstraction Refinement — ACM SIGPLAN — popl18 program synthesis using abstraction refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/CYy6m1Gn-8Q/mqdefault)
![[POPL'24] Optimal Program Synthesis via Abstract Interpretation — ACM SIGPLAN — popl18 program synthesis using abstraction refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/OlFnav1sm4A/mqdefault)
![[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…) — ACM SIGPLAN — popl18 program synthesis using abstraction refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/ELSREvt9_gQ/mqdefault)
![[POPL'23] Conditional Contextual Refinement — ACM SIGPLAN — popl18 program synthesis using abstraction refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/fINgpZeyF_g/mqdefault)
![[PLMW @ POPL'23] Big Ideas in Program Synthesis — ACM SIGPLAN — popl18 program synthesis using abstraction refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/sQqNpV6krno/mqdefault)
![[POPL'24] Efficient Bottom-Up Synthesis for Programs with Local Variables — ACM SIGPLAN — popl18 program synthesis using abstraction refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/a_dvy9s44G4/mqdefault)
![[POPL 2021] Semantics-Guided Synthesis (full) — ACM SIGPLAN — popl18 program synthesis using abstraction refinement YouTube to MP3 & MP4 download on TubeGalore](/api/image/_pdzO59Ai4A/mqdefault)
