LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Tin tức » Nghiên cứu sinh

ZIAT Ghiles

Tiến sĩ
Nhóm nghiên cứu : APR
Địa chỉ : 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: +33 1 44 27 88 16, Ghiles.Ziat (at)
Ban lãnh đạo nghiên cứu : Antoine MINÉ
Đồng hướng dẫn : TRUCHET Charlotte

A Combination of Abstract Interpretation and Constraint Programming

We investigate in this thesis a tight collaboration between techniques of Abstract Interpretation and Constraint Programming within a unified method of resolution of constraint satisfaction problems. This work addresses the problem of the design in a generic and modular way of a constraint solver based on abstract domains, which capture specific properties of program or constrained variables. We exploit the assets of both fields to bypass the restriction of standard constraint solvers, such as the dedication to a certain type of constraints or variables. Our effort also consists in the design of a robust method, providing soundness properties even in the context of floating-point errors. Moreover, we are interested in different techniques allowing the construction of a partition of a solution space that can be easily reused, both from a quantitative and a qualitative point of view. Our work has been concretized in the form of an implementation within the AbSolute constraint solver and applied on several examples. Our experiments show that our methods improve the solver’s efficiency or the quality of the results according to the metrics we have defined.
Bảo vệ luận án : 03-07-2019 - 14h - Site Jussieu 25-26/105
Hội đồng giám khảo :
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é)

Bài báo khoa học 2017-2019

 Mentions légales
Sơ đồ site |