P
Patrick Cousot
Researcher at New York University
Publications - 163
Citations - 21349
Patrick Cousot is an academic researcher from New York University. The author has contributed to research in topics: Abstract interpretation & Semantics (computer science). The author has an hindex of 50, co-authored 160 publications receiving 20540 citations. Previous affiliations of Patrick Cousot include IMDEA & Courant Institute of Mathematical Sciences.
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
Automatic discovery of linear restraints among variables of a program
Patrick Cousot,Nicolas Halbwachs +1 more
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.