• Publications
  • Influence
Efficient chaotic iteration strategies with widenings
TLDR
In this paper, we study precise and efficient chaotic iteration strategies for computing such fixed points when lattices are of infinite height and speedup techniques, known as widening and narrowing, have to be used. Expand
  • 276
  • 23
Abstract debugging of higher-order imperative languages
TLDR
We present an abstract interpretation-based method, called abstract debugging, which enables the static and formal debugging of programs, prior to their execution, by finding the origin of potential bugs as well as necessary conditions for these bugs not to occur at run-time. Expand
  • 173
  • 17
  • PDF
Type checking higher-order polymorphic multi-methods
TLDR
We present a new predicative and decidable type system, called ML¿, suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML [21, 28]. Expand
  • 70
  • 6
  • PDF
Abstract Interpretation by Dynamic Partitioning
TLDR
We introduce a new framework that enables non-unique representations of abstract program properties to be used, and expose a method, called dynamic partitioning, that allows the dynamic determination of interesting abstract domains using data structures built over simpler domains. Expand
  • 109
  • 3
  • PDF
Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity
TLDR
We are now going to abstract the Call and Return primitives. Expand
  • 45
  • 1
Assertion-based Debugging of Imperative Programs by Abstract Interpretation
TLDR
In this paper, we show how abstract interpretation techniques can be used to perform, prior to their execution, a static and automatic debugging of imperative programs. Expand
  • 16
  • 1
Peut-on créer un écosystème français du Big Data ?
Les Big Data font irruption dans les activites les plus inattendues et les geants americains du secteur menacent de transformer en simples sous-traitants des entreprises qui s’enorgueillissaient deExpand
  • 2
  • 1
LiveTopics: recherche visuelle d'information sur l'Internet
Le formidable succes de l'Internet ces dernieres annees a conduit a une croissance exponentielle du nombre d'utilisateurs mais aussi du nombre de documents accessibles sur le reseau. Il est doncExpand
  • 15
Semantic Analysis of Interval Congruences.
  • 16
L'émergence d'une nouvelle filière de formation : « data scientists »
Avec la participation de Francois Bancilhon (Data publica) Francois Bourdoncle (Dassault systemes) Stephan Clemencon (Telecom ParisTech) Colin de la Higuera (U. Nantes, SIF) Gilbert Saporta (CNAM)Expand
  • 3