LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Actualité » Doctorants

ZIAT Ghiles

Docteur
Équipe : APR
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 3, Bureau 303
    4 place Jussieu
    75252 PARIS CEDEX 05
Tel: 01 44 27 88 16, Ghiles.Ziat (at) nulllip6.fr
Direction de recherche : Antoine MINÉ
Co-encadrement : TRUCHET Charlotte

Une combinaison d'interpretation abstraite et de programmation par contraintes

Nous étudions dans cette thèse une collaboration étroite entre les techniques de l’Interpretation Abstraite et de la Programmation Par Contraintes au sein d’une méthode unifiée de résolution de problèmes de satisfaction de contrainte. Ce travail aborde le problème de la conception de manière générique et modulaire d’un solveur de contraintes basé sur des domaines abstraits qui permettent l’inférence de propriétés spécifiques d’un programme ou d’un système de contraintes. Nous exploitons les atouts des deux domaines pour contourner les restrictions des solveurs de contraintes standards, telles que la spécialisation à un certain type de contraintes ou de variables. Notre travail consiste aussi à concevoir une méthode robuste tenant compte des problématiques liées à l’utilisation de calculs en précision flottante avec une gestion correcte des erreurs d’arrondi. De plus, nous nous intéressons à différentes techniques permettant la construction d’une partition d’un espace de solution qui peut être facilement réutilisée, tant d’un point de vue quantitatif que qualitatif. Notre travail a été concrétisé sous la forme d’une implémentation dans le solveur de contraintes AbSolute et appliqué sur plusieurs exemples. Les expériences que nous avons menées au sein de ce solveur montrent que nos méthodes améliorent l’efficacité du solveur et la qualité de ses résultats par rapport aux métriques que nous avons défini.
Soutenance : 03/07/2019 - 14h - Site Jussieu 25-26/105
Membres du jury :
M. SCHULTE Christian (Professeur, KTH Royal Institute of Technology) [rapporteur]
M. SEIDL Helmut (Professeur, Technische Universität München) [rapporteur]
M. AGON Carlos (Professeur, Sorbonne Université)
M. GOUBAULT Éric (Professeur, École Polytechnique)
Mme. PELLEAU Marie (Université Nice Sophia-Antipolis)
Mme. TRUCHET Charlotte (HdR, Université de Nantes)
M. MINÉ Antoine (Professeur, Sorbonne Université)

Publications 2017-2019

 Mentions légales
Carte du site |