AbSolute: From Static Analyzer to Constraint Solver
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..