Automating and Testing Program Transformations using Program Synthesis
1:10:13
Find in video from 01:04Overview of Program Synthesis
Automating and Testing Program Transformations using Program S…
617 viewsMay 12, 2017
YouTubeMicrosoft Research
Program Synthesis meets Machine Learning
1:05:24
Find in video from 02:34Intersection of Program Synthesis and Machine Learning
Program Synthesis meets Machine Learning
7.4K viewsMar 21, 2019
YouTubeMicrosoft Research
Sumit Gulwani - Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques
53:35
Sumit Gulwani - Program Synthesis: Applications, Experiences, and Ne…
2K viewsNov 7, 2024
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
"Program Synthesis: A Dream Realized?" by Roopsha Samanta
38:05
"Program Synthesis: A Dream Realized?" by Roopsha Samanta
6.1K viewsOct 11, 2021
YouTubeStrange Loop Conference
(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESU
17:51
Find in video from 02:26What is Program Synthesis?
(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxP…
1.4K viewsApr 12, 2019
YouTubeTEDx Talks
Program Synthesis meets Notebooks
11:56
Find in video from 09:56Conclusion and Benefits of Program Synthesis
Program Synthesis meets Notebooks
2.2K viewsSep 12, 2019
YouTubeMicrosoft Research
"Type-Driven Program Synthesis" by Nadia Polikarpova
39:40
Find in video from 04:21Programming with Specifications
"Type-Driven Program Synthesis" by Nadia Polikarpova
14.4K viewsOct 16, 2018
YouTubeStrange Loop Conference
31:40
Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenn…
17.8K viewsMar 23, 2025
YouTubeMachine Learning Street Talk
47:33
Relational Decomposition for Program Synthesis - Céline Hocqu…
675 views3 months ago
YouTubeNdea
1:57:48
Armando Solar Lezama - AI Programming; Program Synthesi…
1.6K viewsMay 22, 2023
YouTubeYet Another Science Podcast (YASP)
32:02
Program synthesis and the art of programming by intent with Dr. Su…
3.2K viewsNov 20, 2019
YouTubeMicrosoft Research
20:56
[PLDI'25] Program Synthesis From Partial Traces
66 views10 months ago
YouTubeACM SIGPLAN
43:54
Program Synthesis and Non-Monotonic Reasoning - Kedar Na…
740 views4 months ago
YouTubeNdea
54:23
Program Synthesis with Large Language Models
843 viewsSep 29, 2021
YouTubeCodedotAI
53:45
Deep Learning as Program Synthesis | SLT Seminar
212 views7 months ago
YouTubeSLT & AI Safety
Program synthesis using abstraction refinement | Proceedin…
Dec 27, 2017
acm.org
1:06:54
Synthesis for Education
363 viewsAug 8, 2016
YouTubeMicrosoft Research
18:11
使用程序综合生成交换机代码（Switch Code Generation Using Program S…
372 viewsNov 13, 2020
bilibili薯片儿ccc
Accelerating search-based program synthesis using learned probabilis…
Mar 4, 2020
acm.org
Program Synthesis from Partial Traces | Proceedings of the ACM …
8 months ago
acm.org
1:22:59
ICSE 23 - Program Translation and Synthesis
260 viewsNov 16, 2023
YouTubeAssociation for Computing Machinery (ACM)
LooPy: interactive program synthesis with control structures …
Oct 15, 2021
acm.org
Interactive Program Synthesis by Augmented Examples | Proceedin…
Oct 20, 2020
acm.org
53:34
PROSE
May 29, 2020
Microsoft
1:17:57
Stanford CS224N NLP with Deep Learning | 2023 | Lecture 15 - Cod…
18.4K viewsSep 20, 2023
YouTubeStanford Online
13:37
Find in video from 01:42Program Generation Activities
SP 2: Learn Language Processing Activities with Examples
16.7K viewsFeb 27, 2021
YouTubeCS & IT Tutorials by Vrushali 👩‍🎓
34:26
Logic Synthesis and Physical Synthesis || VLSI Physical Design
9.9K viewsMay 4, 2024
YouTubeEmpowering PHYSICAL DESIGN🤩
1:31
Your Child's AI Math Tutor: Synthesis Tutor 2.0
11.1K viewsApr 28, 2025
YouTubeSynthesis
44:27
Find in video from 01:53Program Synthesis
Program Synthesis—Friedrich Slivovsky
260 viewsMar 12, 2020
YouTubeWeAreDevelopers
1:23:30
Program Synthesis for the Masses
2K viewsJun 21, 2016
YouTubeMicrosoft Research
See more videos
Static thumbnail place holder