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
Journal ArticleDOI
Static determination of dynamic properties of generalized type unions
Patrick Cousot,Radhia Cousot +1 more
TL;DR: The classical programming languages such as PASCAL or ALGOL 68 do not provide full data type security and type safety necessitates a refinement of the data type notion which allows subtypes, but both approaches are complementary.
Book ChapterDOI
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
TL;DR: This work introduces a new numerical abstract domain, so-called interval polyhedra (itvPol), to infer and propagate interval linear constraints over program variables, and is the first application of interval linear algebra to static analysis.
Book ChapterDOI
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form
Patrick Cousot,Radhia Cousot +1 more
TL;DR: The definitional method is shown to be preserved by abstract interpretation in either fixpoint, equational, constraint, closure-condition, rule-based or game-theoretic form, allowing for results of general scope such as well-definedness, semantic equivalence, soundness and relative completeness of abstract interpretations, etc. to be proved compositionally in a general language and semantics-independent framework.
Book ChapterDOI
Partial Completeness of Abstract Fixpoint Checking
TL;DR: This work characterize partially complete abstractions for various abstract fixpoint checking algorithms, including new ones, and shows that the computation of complete abstract domains is essentially equivalent to invariance proofs that is to concrete fix point checking.
Book ChapterDOI
Verification by abstract interpretation
TL;DR: In this paper, abstract interpretation theory formalizes the idea of abstraction of mathematical structures, in particular those involved in the specification of properties and proof methods of computer systems, and Verification by abstract interpretation is illustrated on the particular cases of predicate abstraction, which is revisited to handle infinitary abstractions.