Thomas Reps

Présentation de techniques efficaces pour évaluer des résultats incertains en programmation.

Le design modulaire améliore l'efficacité et la scalabilité de la synthèse de programmes.

Une nouvelle méthode simplifie la preuve des propriétés des programmes en utilisant la logique d'unréalisabilité.

Ce papier présente une méthode pour créer automatiquement des sémantiques formelles en utilisant des interprètes.

Explorer de nouvelles méthodes pour une génération de programmes efficace.