Apprentissage pour la synthèse de programme

Bordeaux Data Science
Bordeaux Data Science
Groupe public
Image du lieu de l'événement

Détails

Écrire un programme est une tâche longue, coûteuse, et difficile. Pire, elle est souvent source d'erreurs : aujourd'hui, les grandes entreprises consacrent plus de ressources dans le test que dans l'écriture d'un programme. La synthèse de programme est un idéal : au lieu d'écrire un programme, il est automatiquement généré à partir d'une spécification.
Longtemps considéré inatteignable, la synthèse est maintenu un paradigme accessible, avec de très nombreux applications industrielles, notamment grâce à l'utilisation de techniques d'apprentissage dédiée à la synthèse de programmes. Dans cet exposé, je présenterai différents scénarios et approches permettant de réaliser la synthèse de programmes.