Machine Learning Meets Program Synthesis - TutorialFest at POPL'24

Explore the intersection of machine learning and program synthesis in this comprehensive tutorial presented by Nathanaël Fijalkow at TutorialFest@POPL'24. Delve into the long-standing dream of automatically generating programs from specifications, and discover how modern machine learning technologies, including large language models like Copilot and ChatGPT, are bringing this vision closer to reality. Examine key methodological principles for applying machine learning techniques to program synthesis, going beyond just large language models. Gain insights into the challenges that arise at the convergence of programming languages, software engineering, and machine learning in this cutting-edge field. Learn how these advancements are reshaping the landscape of artificial intelligence and software development.