Patrick Cousot
Patrick Cousot
Professor of Computer Science, CIMS, New York University
Verified email at cims.nyu.edu - Homepage
Title
Cited by
Cited by
Year
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
P Cousot, R Cousot
Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of …, 1977
83101977
Automatic discovery of linear restraints among variables of a program
P Cousot, N Halbwachs
Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of …, 1978
20371978
Systematic design of program analysis frameworks
P Cousot, R Cousot
Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of …, 1979
20061979
Abstract interpretation frameworks
P Cousot, R Cousot
Journal of logic and computation 2 (4), 511-547, 1992
9661992
Abstract interpretation and application to logic programs
P Cousot, R Cousot
The Journal of Logic Programming 13 (2-3), 103-179, 1992
8871992
A static analyzer for large safety-critical software
B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ...
Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003
8622003
STATIC DETERMINATION OF DYNAMIC PROPERTIES OF PROGRAMS.
P Cousot
7201977
The ASTRÉE analyzer
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
European Symposium on Programming, 21-30, 2005
6372005
Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
P Cousot, R Cousot
International Symposium on Programming Language Implementation and Logic …, 1992
5981992
Abstract interpretation
P Cousot
ACM Computing Surveys (CSUR) 28 (2), 324-328, 1996
3491996
Semantic foundations of program analysis
P Cousot
Program flow analysis: theory and applications, 303-342, 1981
3271981
Constructive versions of Tarski’s fixed point theorems
P Cousot, R Cousot
Pacific journal of Mathematics 82 (1), 43-57, 1979
2941979
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ...
The essence of computation, 85-108, 2002
2872002
Inductive definitions, semantics and abstract interpretations
P Cousot, R Cousot
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
2731992
Types as abstract interpretations
P Cousot
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
2541997
Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming
P Cousot
International Workshop on Verification, Model Checking, and Abstract …, 2005
2482005
Static determination of dynamic properties of recursive procedures
P Cousot, R Cousot
IFIP Conference on Formal Description of Programming Concepts, St. Andrews …, 1977
2381977
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
P Cousot
Institut National Polytechnique de Grenoble-INPG; Université Joseph-Fourier …, 1978
2311978
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
P Cousot
Theoretical Computer Science 277 (1-2), 47-103, 2002
2272002
Why do people tag? Motivations for photo tagging
O Nov, C Ye
Communications of the ACM 53 (7), 128-131, 2010
222*2010
The system can't perform the operation now. Try again later.
Articles 1–20