BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Estonia
1 × India
1 × Spain
15 × USA
2 × Belgium
2 × Denmark
2 × Germany
2 × United Kingdom
4 × Italy
6 × France
Collaborated with:
R.Cousot F.Logozzo A.Miné L.Chen J.Wang R.Giacobazzi F.Ranzato L.Mauborgne J.Chen M.Monerau N.Halbwachs J.Alglave P.Ganty J.Raskin J.Feret D.Monniaux X.Rival M.Fähndrich M.Barnett O.Tripp M.Pistoia S.Guarnieri B.Blanchet
Talks about:
abstract (31) interpret (22) program (12) analysi (10) framework (5) semant (5) automat (4) static (4) linear (4) induct (4)

Person: Patrick Cousot

DBLP DBLP: Cousot:Patrick

Facilitated 2 volumes:

SAS 2001Ed
WSA 1993Ed

Contributed to:

PPDP 20152015
SAS 20152015
VMCAI 20152015
CSL-LICS 20142014
POPL 20142014
FASE 20132013
VMCAI 20132013
ESOP 20122012
OOPSLA 20122012
POPL 20122012
ESOP 20112011
FOSSACS 20112011
POPL 20112011
VMCAI 20112011
VMCAI 20102010
SAS 20092009
SAS 20072007
SEFM 20072007
ESOP 20052005
VMCAI 20052005
POPL 20042004
PLDI 20032003
VMCAI 20032003
CAV 20022002
CC 20022002
POPL 20022002
ICLP 20012001
POPL 20002000
POPL 19971997
SAS 19971997
CAV 19951995
FPCA 19951995
PLILP 19921992
POPL 19921992
ICLP 19911991
JTASPEFL/WSA 19911991
ICALP 19801980
POPL 19791979
POPL 19781978
POPL 19771977
CAV (2) 20182018
POPL 20172017
POPL 20192019

Wrote 44 papers:

PPDP-2015-Cousot #abstract interpretation #induction #verification
Verification by abstract interpretation, soundness and abstract induction (PC), pp. 1–4.
SAS-2015-ChenC #abstract domain
A Binary Decision Tree Abstract Domain Functor (JC, PC), pp. 36–53.
VMCAI-2015-Cousot #induction
Abstracting Induction by Extrapolation and Interpolation (PC), pp. 19–42.
LICS-CSL-2014-CousotC #abstract interpretation #past present future
Abstract interpretation: past, present and future (PC, RC), p. 10.
POPL-2014-CousotC #abstract interpretation #calculus
A galois connection calculus for abstract interpretation (PC, RC), pp. 3–4.
FASE-2013-TrippPCCG #analysis #named #scalability #security #web
Andromeda: Accurate and Scalable Security Analysis of Web Applications (OT, MP, PC, RC, SG), pp. 210–225.
VMCAI-2013-CousotCFL #automation
Automatic Inference of Necessary Preconditions (PC, RC, MF, FL), pp. 128–148.
ESOP-2012-CousotM #abstract interpretation #probability
Probabilistic Abstract Interpretation (PC, MM), pp. 169–193.
OOPSLA-2012-CousotCLB #abstract interpretation #contract #framework #refactoring
An abstract interpretation framework for refactoring with application to extract methods with contracts (PC, RC, FL, MB), pp. 213–232.
POPL-2012-CousotC #abstract interpretation #framework #termination
An abstract interpretation framework for termination (PC, RC), pp. 245–258.
ESOP-2011-ChenMWC #analysis #linear
Linear Absolute Value Relation Analysis (LC, AM, JW, PC), pp. 156–175.
FoSSaCS-2011-CousotCM #abstract domain
The Reduced Product of Abstract Domains and the Combination of Decision Procedures (PC, RC, LM), pp. 456–472.
POPL-2011-CousotCL #analysis #array #automation #parametricity #scalability #segmentation
A parametric segmentation functor for fully automatic and scalable array content analysis (PC, RC, FL), pp. 105–118.
VMCAI-2011-CousotCL #contract
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.
VMCAI-2010-ChenMWC #abstract domain #linear
An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.
SAS-2009-ChenMWC #abstract domain #linear
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.
SAS-2007-CousotGR #abstraction
Fixpoint-Guided Abstraction Refinements (PC, PG, JFR), pp. 333–348.
SEFM-2007-Cousot #abstract interpretation #formal method
The Rôle of Abstract Interpretation in Formal Methods (PC), pp. 135–140.
ESOP-2005-CousotCFMMMR
The ASTREÉ Analyzer (PC, RC, JF, LM, AM, DM, XR), pp. 21–30.
VMCAI-2005-Cousot #abstraction #parametricity #programming #proving #termination
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming (PC), pp. 1–24.
POPL-2004-CousotC #abstract interpretation #framework
An abstract interpretation-based framework for software watermarking (PC, RC), pp. 173–185.
PLDI-2003-BlanchetCCFMMMR #safety #scalability
A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.
VMCAI-2003-Cousot #abstract interpretation #automation #verification
Automatic Verification by Abstract Interpretation (PC), pp. 20–24.
CAV-2002-CousotC #abstraction #on the #verification
On Abstraction in Software Verification (PC, RC), pp. 37–56.
CC-2002-CousotC #composition #program analysis
Modular Static Program Analysis (PC, RC), pp. 159–178.
POPL-2002-CousotC #abstract interpretation #design #framework #program transformation
Systematic design of program transformation frameworks by abstract interpretation (PC, RC), pp. 178–190.
ICLP-2001-Cousot #abstract interpretation #design #program transformation #semantics
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations (PC), pp. 4–5.
POPL-2000-CousotC #abstract interpretation
Temporal Abstract Interpretation (PC, RC), pp. 12–25.
POPL-1997-Cousot #abstract interpretation
Types as Abstract Interpretations (PC), pp. 316–331.
SAS-1997-Cousot #abstract interpretation #semantics #static analysis
Abstract Interpretation Based Static Analysis Parameterized by Semantics (PC), pp. 388–394.
CAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #induction #rule-based #semantics
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.
FPCA-1995-CousotC #abstract interpretation #constraints #formal method #program analysis
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation (PC, RC), pp. 170–181.
PLILP-1992-CousotC #abstract interpretation
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (PC, RC), pp. 269–295.
POPL-1992-CousotC #abstract interpretation #induction #semantics
Inductive Definitions, Semantics and Abstract Interpretation (PC, RC), pp. 83–94.
ICLP-1991-Cousot #abstract interpretation #logic programming #source code
Abstract Interpretation of Logic Programs (PC), p. 940.
WSA-1991-CousotC #abstract interpretation #functional #higher-order #relational #source code
Relational Abstract Interpretation of Higher Order Functional Programs (PC, RC), pp. 33–36.
WSA-1991-CousotC91a #abstract interpretation #comparison
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (PC, RC), pp. 107–110.
ICALP-1980-CousotC #analysis #communication #csp #process #semantics
Semantic Analysis of Communicating Sequential Processes (Shortened Version) (PC, RC), pp. 119–133.
POPL-1979-CousotC #design #framework #program analysis
Systematic Design of Program Analysis Frameworks (PC, RC), pp. 269–282.
POPL-1978-CousotH #automation #linear
Automatic Discovery of Linear Restraints Among Variables of a Program (PC, NH), pp. 84–96.
POPL-1977-CousotC #abstract interpretation #approximate #fixpoint #source code #static analysis
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (PC, RC), pp. 238–252.
CAV-2018-CousotGR #perspective #program analysis #verification
Program Analysis Is Harder Than Verification: A Computability Perspective (PC, RG, FR), pp. 75–95.
POPL-2017-AlglaveC #consistency #modelling #proving
Ogre and Pythia: an invariance proof method for weak consistency models (JA, PC), pp. 3–18.
POPL-2019-CousotGR #named
A²I: abstract² interpretation (PC, RG, FR), p. 31.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.