Skip to main content

Seminar 2018-09-04

AbSolute: From Static Analyzer to Constraint Solver

Date: 2018-09-04
Time: 10:00-11:00
Speaker: Marie Pelleau, Associate Professor, Nice Sophia Antipolis University
Title: AbSolute: From Static Analyzer to Constraint Solver


Abstract Interpretation is a method to design approximate semantics of programs and provide sound answers to questions about their run-time behaviors. Constraint Programming aims at solving, with reusable techniques, hard combinatorial problems expressed declaratively.

In this talk, I will show how to apply Abstract Interpretation techniques to Constraint Programming. More precisely how to use abstract domains in order to solve Constraint Satisfaction Problems.


Marie Pelleau is an Associate Professor at Université Nice Sophia Antipolis, Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis (i3s). Her research interests include Constraint Programming, Abstract Interpretation and links between these two research areas..

Page responsible:Web editors at EECS
Belongs to: Software and Computer Systems
Last changed: Sep 21, 2018