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 × Denmark
1 × France
1 × Germany
1 × United Kingdom
13 × USA
2 × Belgium
3 × Italy
Collaborated with:
P.Cousot F.Logozzo L.Mauborgne ∅ J.Feret A.Miné D.Monniaux X.Rival M.Fähndrich M.Barnett O.Tripp M.Pistoia S.Guarnieri B.Blanchet
Talks about:
abstract (16) interpret (14) analysi (7) program (6) framework (5) semant (4) softwar (3) definit (3) connect (3) static (3)

Person: Radhia Cousot

DBLP DBLP: Cousot:Radhia

Facilitated 5 volumes:

POPL 2013Ed
SAS 2010Ed
VMCAI 2005Ed
SAS 2003Ed
SAS 1996Ed

Contributed to:

CSL-LICS 20142014
POPL 20142014
FASE 20132013
VMCAI 20132013
OOPSLA 20122012
POPL 20122012
FOSSACS 20112011
POPL 20112011
VMCAI 20112011
VMCAI 20082008
ESOP 20052005
POPL 20042004
PLDI 20032003
CAV 20022002
CC 20022002
POPL 20022002
POPL 20002000
CAV 19951995
FPCA 19951995
PLILP 19921992
POPL 19921992
JTASPEFL/WSA 19911991
ICALP 19801980
POPL 19791979
POPL 19771977

Wrote 26 papers:

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.
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.
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-2008-Cousot #abstract interpretation #semantics
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions (RC), pp. 1–3.
ESOP-2005-CousotCFMMMR
The ASTREÉ Analyzer (PC, RC, JF, LM, AM, DM, XR), pp. 21–30.
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.
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.
POPL-2000-CousotC #abstract interpretation
Temporal Abstract Interpretation (PC, RC), pp. 12–25.
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.
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-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.
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.