Speakers: Nathanaël Fijalkow and Guillaume Lagarde
Tutorial website: https://deepsynth.labri.fr/?page=tutorial
Program synthesis is an ideal where the program is automatically generated from its specification. It has recently gained momentum thanks to the use of machine learning techniques. In this tutorial we will survey the recent line of work using machine learning for improving program search algorithms.