Automating and Testing Program Transformations using Program Synthesis
1:10:12
Automating and Testing Program Transformations using Program S…
Apr 27, 2017
Microsoft
Syntax-Guided Program Synthesis
Syntax-Guided Program Synthesis
Feb 22, 2021
berkeley.edu
Advanced Machine Learning Day 3: Neural Program Synthesis
Advanced Machine Learning Day 3: Neural Program Synthesis
Oct 17, 2018
Microsoft
Type-Driven Program Synthesis
1:14:39
Type-Driven Program Synthesis
Aug 17, 2016
Microsoft
Program Synthesis from Refinement Types
Program Synthesis from Refinement Types
Aug 27, 2015
Microsoft
Program Synthesis for the Masses
Program Synthesis for the Masses
Apr 18, 2014
Microsoft
Towards Program Synthesis for Security
Towards Program Synthesis for Security
Sep 26, 2017
Microsoft
Certifying the synthesis of heap-manipulating programs | Proceedi…
Aug 25, 2021
acm.org
31:40
Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenn…
17.6K viewsMar 23, 2025
YouTubeMachine Learning Street Talk
20:56
[PLDI'25] Program Synthesis From Partial Traces
66 views8 months ago
YouTubeACM SIGPLAN
11:55
Program Synthesis meets Notebooks
Jul 18, 2019
Microsoft
2:03:26
Syntax-Guided Program Synthesis
1.7K viewsFeb 22, 2021
YouTubeSimons Institute for the Theory of Computing
17:51
(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxP…
1.4K viewsApr 12, 2019
YouTubeTEDx Talks
Augmented example-based synthesis using relational perturb…
Jan 14, 2020
acm.org
DPGen: Automated Program Synthesis for Differential Privacy …
Nov 22, 2021
acm.org
32:02
Program synthesis and the art of programming by intent with Dr. Su…
3.2K viewsNov 20, 2019
YouTubeMicrosoft Research
AutoPandas: neural-backed generators for program synthesis …
Dec 31, 2019
acm.org
0:21
How did a school at SpaceX lead to an innovative educational progra…
10.2K viewsNov 13, 2023
FacebookSynthesis
0:25
How did a school at SpaceX lead to an innovative educational progra…
6.2K viewsDec 7, 2023
FacebookSynthesis
38:05
"Program Synthesis: A Dream Realized?" by Roopsha Samanta
6.1K viewsOct 11, 2021
YouTubeStrange Loop Conference
53:35
Sumit Gulwani - Program Synthesis: Applications, Experiences, and Ne…
2K viewsNov 7, 2024
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
Multi-modal program inference: a marriage of pre-trained language …
Oct 15, 2021
acm.org
Program Synthesis with Large Language Models
776 viewsSep 29, 2021
YouTubeCodedotAI
43:54
Program Synthesis and Non-Monotonic Reasoning - Kedar Na…
584 views3 months ago
YouTubeNdea
32:35
A Neural Network Solves and Generates Mathematics Problems …
8.2K viewsJan 9, 2022
YouTubeAleksa Gordić - The AI Epiphany
Program synthesis with algebraic library specifications | Proceeding…
Jan 2, 2020
acm.org
Program synthesis using conflict-driven learning | ACM SIGPLAN N…
Jun 11, 2018
acm.org
LooPy: interactive program synthesis with control structures …
Oct 15, 2021
acm.org
Accelerating search-based program synthesis using learned probabilis…
Mar 4, 2020
acm.org
See more videos
Static thumbnail place holder