16:32[OOPSLA23] Explainable Program Synthesis by Localizing SpecificationsACM SIGPLAN145 viewsView & Download
17:51(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESUTEDx Talks1.4K viewsView & Download
16:59[OOPSLA] Monadic and Comonadic Aspects of Dependency AnalysisACM SIGPLAN269 viewsView & Download
46:42Osbert Bastani - Interpretable Machine Learning via Program Synthesis - IPAM at UCLAInstitute for Pure & Applied Mathematics (IPAM)811 viewsView & Download
1:18:10PLSS 2025: Opening and Keynote: Engineering a Formal Language Specification by Andreas RossbergPLSS Workshop135 viewsView & Download
1:08:48Scaling Neural Program Synthesis with Distribution-based SearchVSS-IARCS129 viewsView & Download
1:21Extracting Design Information from Natural Language SpecificationsIan Harris246 viewsView & Download
![[OOPSLA23] Explainable Program Synthesis by Localizing Specifications — ACM SIGPLAN — oopsla23 explainable program synthesis by localizing specifications YouTube to MP3 & MP4 download on TubeGalore](/api/image/pTePKCyX4nA/mqdefault)
![[OOPSLA23] Synthesizing Specifications — ACM SIGPLAN — oopsla23 explainable program synthesis by localizing specifications YouTube to MP3 & MP4 download on TubeGalore](/api/image/mhGp-_9IbYg/mqdefault)
![[HATRA] Program Synthesis Using Example Propagation — ACM SIGPLAN — oopsla23 explainable program synthesis by localizing specifications YouTube to MP3 & MP4 download on TubeGalore](/api/image/wKohpPYzBYk/mqdefault)
![[PLDI'25] Programming by Navigation — ACM SIGPLAN — oopsla23 explainable program synthesis by localizing specifications YouTube to MP3 & MP4 download on TubeGalore](/api/image/H_F6epzaeBE/mqdefault)
![[OOPSLA] Monadic and Comonadic Aspects of Dependency Analysis — ACM SIGPLAN — oopsla23 explainable program synthesis by localizing specifications YouTube to MP3 & MP4 download on TubeGalore](/api/image/80cNuVCfGX0/mqdefault)
