Apprentissage pour la synthèse de programme

Cet événement est passé

27 y sont allés

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.