Program Synthesis Meets Machine Learning
We give a tutorial overview of program synthesis, from its first formulation by Church in 1957, through its pragmatic evolution through sketching and programing-by-examples, and compare program synthesis with supervised machine learning. We then present our recent efforts in combining program synthesis and machine learning techniques to solve the problem of synthesizing extractors from heterogeneous data. Finally, we explore several opportunities at the intersection of program synthesis (and more broadly the PL community) and machine learning, such as pruning and ranking programs during synthesis, neural program synthesis and automatic differentiation.
- Date:
- Speakers:
- Sriram Rajamani
- Affiliation:
- Microsoft Research India
-
-
Sriram Rajamani
Corporate Vice President and Managing Director, Microsoft Research India Lab
-
-
Watch Next
-
-
-
-
The Prompt with Trevor Noah | Episode 1: IHME Population Mapping
Speakers:- Trevor Noah,
- Dr. Emmanuela Gakidou
-
-
-
-
-
TorchSharp & Tensor Programming
Speakers: -