filmov
tv
Program synthesis and the art of programming by intent with Dr. Sumit Gulwani [Podcast]
Показать описание
Episode 99 | November 20, 2019
Dr. Sumit Gulwani is a programmer’s programmer. Literally. A Partner Research Manager in the Program Synthesis, or PROSE, group at Microsoft Research, Dr. Gulwani is a leading researcher in program synthesis and the inventor of many intent-understanding, programming-by-example and programming-by-natural language technologies – aka, the automation of “what I meant to do and wanted to do, but my computer wouldn’t let me” tasks.
Today, Dr. Gulwani gives us an overview of the exciting “now” and promising future of program synthesis; reveals some fascinating new applications and technical advances; tells us the story behind the creation of Excel’s popular Flash Fill feature (and how a Flash Fill Fail elicited a viral tweet that paved the way for new domain investments); and shares a heartwarming story of how human empathy facilitated an “ah-ha math moment” in the life of a child, and what that might mean to computer scientists, educators, and even tech companies in the future.
Dr. Sumit Gulwani is a programmer’s programmer. Literally. A Partner Research Manager in the Program Synthesis, or PROSE, group at Microsoft Research, Dr. Gulwani is a leading researcher in program synthesis and the inventor of many intent-understanding, programming-by-example and programming-by-natural language technologies – aka, the automation of “what I meant to do and wanted to do, but my computer wouldn’t let me” tasks.
Today, Dr. Gulwani gives us an overview of the exciting “now” and promising future of program synthesis; reveals some fascinating new applications and technical advances; tells us the story behind the creation of Excel’s popular Flash Fill feature (and how a Flash Fill Fail elicited a viral tweet that paved the way for new domain investments); and shares a heartwarming story of how human empathy facilitated an “ah-ha math moment” in the life of a child, and what that might mean to computer scientists, educators, and even tech companies in the future.
0:32:02
Program synthesis and the art of programming by intent with Dr. Sumit Gulwani [Podcast]
0:09:10
Program Synthesis using Examples
0:00:31
Interpretable Program Synthesis
1:05:24
Program Synthesis meets Machine Learning
1:33:29
#50 Dr. CHRISTIAN SZEGEDY - Formal Reasoning, Program Synthesis
0:38:05
'Program Synthesis: A Dream Realized?' by Roopsha Samanta
1:17:44
Shaowei Lin: 'Proofs as programs: challenges and strategies for program synthesis'
0:27:13
Using Program Synthesis to Build Compilers
0:39:58
'You are a Program Synthesizer' by James Koppel
0:05:05
Interpretable Program Synthesis
0:17:51
(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESU
0:32:35
A Neural Network Solves and Generates Mathematics Problems by Program Synthesis | Paper Explained
0:39:26
'Program synthesis for declarative building design' by Drew Wolpert, Andrew Zukoski
1:45:32
Krzysztof Krawiec - Machine Learning meets Program Synthesis | MLSS Kraków 2023
0:49:35
SYNT 2020: Neuro-Symbolic Program Synthesis from Natural Language and Demonstrations
0:14:40
Gauss: Program Synthesis by Reasoning Over Graphs
1:20:28
Neural Program Synthesis
1:19:12
Deep Learning Foundations: Xinyun Chen 's talk on 'Learning-Based Program Synthesis'
0:47:32
The Four Big Bets (Illustrated via a Journey in Program Synthesis)
1:02:31
Advanced Machine Learning Day 3: Neural Program Synthesis
0:16:07
Question Selection for Interactive Program Synthesis
0:16:16
Resource-Guided Program Synthesis
0:32:15
Neural Program Synthesis and the Quest to Democratize Programming with Dr. Rishabh Singh
0:12:51
Best-Effort Program Synthesis
Комментарии