R
Radhia Cousot
Researcher at Centre national de la recherche scientifique
Publications - 68
Citations - 14500
Radhia Cousot is an academic researcher from Centre national de la recherche scientifique. The author has contributed to research in topics: Abstract interpretation & Static analysis. The author has an hindex of 30, co-authored 68 publications receiving 13958 citations. Previous affiliations of Radhia Cousot include École Polytechnique & École Normale Supérieure.
Papers
More filters
Proceedings ArticleDOI
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Patrick Cousot,Radhia Cousot +1 more
TL;DR: In this paper, the abstract interpretation of programs is used to describe computations in another universe of abstract objects, so that the results of abstract execution give some information on the actual computations.
Proceedings ArticleDOI
Systematic design of program analysis frameworks
Patrick Cousot,Radhia Cousot +1 more
TL;DR: The systematic and correct design of program analysis frameworks with respect to a formal semantics is devoted to the main elements of the lattice theoretic approach to approximate semantic analysis of programs.
Journal ArticleDOI
Abstract Interpretation Frameworks
Patrick Cousot,Radhia Cousot +1 more
TL;DR: Interpretation Frameworks Patrick Cousot LIENS, Ecole Normale Superieur Superieure 45, rue d’Ulm 75230 Paris cedex 05 (France) cousot@dmi.ens.fr Radhia Cousot LIX, ecole Polytechnique 91128 Palaiseau cedEx ( France) radhia@polytechnique.fr
Journal ArticleDOI
A static analyzer for large safety-critical software
Bruno Blanchet,Patrick Cousot,Radhia Cousot,Jérôme Feret,Laurent Mauborgne,Antoine Miné,David Monniaux,Xavier Rival +7 more
TL;DR: It is shown that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false alarms.