default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPatrick Cousot
Person information
- affiliation: CS, CIMS, NYU, New York, NY, USA
- affiliation (former): ENS Paris, France
- award (2013): Programming Languages Achievement Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j25]Patrick Cousot
:
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation. Proc. ACM Program. Lang. 8(POPL): 175-208 (2024)- [p3]Patrick Cousot:
A Personal Historical Perspective on Abstract Interpretation. The French School of Programming 2024: 205-239 - 2023
- [c83]Patrick Cousot:
Abstract Interpretation of Graphs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 72-96 - [i8]Patrick Cousot:
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation. CoRR abs/2310.15340 (2023) - 2022
- [j24]Chaoqiang Deng, Patrick Cousot:
The Systematic Design of Responsibility Analysis by Abstract Interpretation. ACM Trans. Program. Lang. Syst. 44(1): 3:1-3:90 (2022) - [c82]Patrick Cousot:
Asynchronous Correspondences Between Hybrid Trajectory Semantics. Principles of Systems Design 2022: 131-159 - [i7]Patrick Cousot:
Asynchronous Correspondences Between Hybrid Trajectory Semantics. CoRR abs/2209.14945 (2022) - 2021
- [j23]Patrick Cousot:
Calculational design of a regular model checker by abstract interpretation. Theor. Comput. Sci. 869: 62-84 (2021) - [c81]Patrick Cousot:
Dynamic interval analysis by abstract interpretation. Formal Methods in Outer Space 2021: 61-86
2010 – 2019
- 2019
- [j22]Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato:
A²I: abstract² interpretation. Proc. ACM Program. Lang. 3(POPL): 42:1-42:31 (2019) - [c80]Patrick Cousot:
Calculational Design of a Regular Model Checker by Abstract Interpretation. ICTAC 2019: 3-21 - [c79]Patrick Cousot:
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. LOPSTR 2019: 3-18 - [c78]Patrick Cousot:
Syntactic and Semantic Soundness of Structural Dataflow Analysis. SAS 2019: 96-117 - [c77]Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot:
Verifying Numerical Programs via Iterative Abstract Testing. SAS 2019: 247-267 - [c76]Chaoqiang Deng, Patrick Cousot:
Responsibility Analysis by Abstract Interpretation. SAS 2019: 368-388 - [c75]Patrick Cousot:
Abstract Semantic Dependency. SAS 2019: 389-410 - [i6]Chaoqiang Deng, Patrick Cousot:
Responsibility Analysis by Abstract Interpretation. CoRR abs/1907.08251 (2019) - 2018
- [c74]Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato:
Program Analysis Is Harder Than Verification: A Computability Perspective. CAV (2) 2018: 75-95 - 2017
- [c73]Jade Alglave, Patrick Cousot:
Ogre and Pythia: an invariance proof method for weak consistency models. POPL 2017: 3-18 - 2016
- [i5]Jade Alglave, Patrick Cousot:
Syntax and analytic semantics of LISA. CoRR abs/1608.06583 (2016) - [i4]Jade Alglave, Patrick Cousot, Luc Maranget:
Syntax and semantics of the weak consistency model specification language cat. CoRR abs/1608.07531 (2016) - [i3]Jade Alglave, Patrick Cousot, Caterina Urban:
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). Dagstuhl Reports 6(11): 108-128 (2016) - 2015
- [j21]Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. 2(2-3): 71-190 (2015) - [c72]Patrick Cousot:
Verification by abstract interpretation, soundness and abstract induction. PPDP 2015: 1-4 - [c71]Junjie Chen, Patrick Cousot:
A Binary Decision Tree Abstract Domain Functor. SAS 2015: 36-53 - [c70]Patrick Cousot:
On Various Abstract Understandings of Abstract Interpretation. TASE 2015: 2-3 - [c69]Patrick Cousot:
Abstracting Induction by Extrapolation and Interpolation. VMCAI 2015: 19-42 - 2014
- [c68]Patrick Cousot, Radhia Cousot:
Abstract interpretation: past, present and future. CSL-LICS 2014: 2:1-2:10 - [c67]Patrick Cousot, Radhia Cousot:
A Galois connection calculus for abstract interpretation. POPL 2014: 3-4 - [i2]Patrick Cousot, Daniel Kroening, Carsten Sinz:
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). Dagstuhl Reports 4(8): 107-125 (2014) - 2013
- [c66]Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri:
Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE 2013: 210-225 - [c65]Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo:
Automatic Inference of Necessary Preconditions. VMCAI 2013: 128-148 - 2012
- [j20]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
Theories, solvers and static analysis by abstract interpretation. J. ACM 59(6): 31:1-31:56 (2012) - [c64]Patrick Cousot, Michael Monerau:
Probabilistic Abstract Interpretation. ESOP 2012: 169-193 - [c63]Patrick Cousot:
Formal Verification by Abstract Interpretation. NASA Formal Methods 2012: 3-7 - [c62]Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot:
A semantic integrated development environment. SPLASH 2012: 15-16 - [c61]Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett:
An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA 2012: 213-232 - [c60]Patrick Cousot, Radhia Cousot:
An abstract interpretation framework for termination. POPL 2012: 245-258 - 2011
- [j19]Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [j18]Patrick Cousot, Radhia Cousot:
Grammar semantics, analysis and parsing by abstract interpretation. Theor. Comput. Sci. 412(44): 6135-6192 (2011) - [c59]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Linear Absolute Value Relation Analysis. ESOP 2011: 156-175 - [c58]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
The Reduced Product of Abstract Domains and the Combination of Decision Procedures. FoSSaCS 2011: 456-472 - [c57]Patrick Cousot, Radhia Cousot, Francesco Logozzo:
A parametric segmentation functor for fully automatic and scalable array content analysis. POPL 2011: 105-118 - [c56]Patrick Cousot, Radhia Cousot, Francesco Logozzo:
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI 2011: 150-168 - 2010
- [c55]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
Logical Abstract Domains and Interpretations. The Future of Software Engineering 2010: 48-71 - [c54]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
A Scalable Segmented Decision Tree Abstract Domain. Essays in Memory of Amir Pnueli 2010: 72-95 - [c53]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
An Abstract Domain to Discover Interval Linear Equalities. VMCAI 2010: 112-128 - [p2]Patrick Cousot, Radhia Cousot:
A gentle introduction to formal verification of computer systems by abstract interpretation. Logics and Languages for Reliability and Security 2010: 1-29
2000 – 2009
- 2009
- [j17]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Why does Astrée scale up? Formal Methods Syst. Des. 35(3): 229-264 (2009) - [j16]Patrick Cousot, Radhia Cousot:
Bi-inductive structural semantics. Inf. Comput. 207(2): 258-283 (2009) - [j15]Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims:
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29(3) (2009) - [j14]Patrick Cousot, Radhia Cousot, Roberto Giacobazzi:
Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410(46): 4724-4746 (2009) - [c52]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325 - 2008
- [j13]Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria:
Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008) - [c51]Liqian Chen, Antoine Miné, Patrick Cousot:
A Sound Floating-Point Polyhedra Abstract Domain. APLAS 2008: 3-18 - 2007
- [c50]Patrick Cousot:
Proving the absence of run-time errors in safety-critical avionics code. EMSOFT 2007: 7-9 - [c49]Patrick Cousot:
Avionic Software Verification by Abstract Interpretation. ISoLA 2007: 1 - [c48]Patrick Cousot, Pierre Ganty, Jean-François Raskin:
Fixpoint-Guided Abstraction Refinements. SAS 2007: 333-348 - [c47]Patrick Cousot:
The Rôle of Abstract Interpretation in Formal Methods. SEFM 2007: 135-140 - [c46]Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival:
Varieties of Static Analyzers: A Comparison with ASTREE. TASE 2007: 3-20 - [c45]Patrick Cousot, Radhia Cousot:
Bi-inductive Structural Semantics: (Extended Abstract). SOS@LICS/ICALP 2007: 29-44 - [i1]Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
A Static Analyzer for Large Safety-Critical Software. CoRR abs/cs/0701193 (2007) - 2006
- [c44]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN 2006: 272-300 - [c43]Patrick Cousot, Radhia Cousot:
Grammar Analysis and Parsing by Abstract Interpretation. Program Analysis and Compilation 2006: 175-200 - 2005
- [c42]Patrick Cousot:
Integrating Physical Systems in the Static Analysis of Embedded Control Software. APLAS 2005: 135-138 - [c41]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
The ASTREÉ Analyzer. ESOP 2005: 21-30 - [c40]Patrick Cousot:
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. VMCAI 2005: 1-24 - [c39]Patrick Cousot:
The Verification Grand Challenge and Abstract Interpretation. VSTTE 2005: 189-201 - 2004
- [c38]Patrick Cousot, Radhia Cousot:
Basic concepts of abstract interpretation. IFIP Congress Topical Sessions 2004: 359-366 - [c37]Patrick Cousot, Radhia Cousot:
An abstract interpretation-based framework for software watermarking. POPL 2004: 173-185 - 2003
- [j12]Patrick Cousot, Radhia Cousot:
Parsing as abstract interpretation of grammar semantics. Theor. Comput. Sci. 290(1): 531-544 (2003) - [c36]Patrick Cousot:
Verification by Abstract Interpretation. Verification: Theory and Practice 2003: 243-268 - [c35]Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
A static analyzer for large safety-critical software. PLDI 2003: 196-207 - [c34]Patrick Cousot:
Automatic Verification by Abstract Interpretation. VMCAI 2003: 20-24 - [e5]Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002. Electronic Notes in Theoretical Computer Science 81, Elsevier 2003 [contents] - 2002
- [j11]Patrick Cousot:
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theor. Comput. Sci. 277(1-2): 47-103 (2002) - [c33]Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation 2002: 85-108 - [c32]Patrick Cousot, Radhia Cousot:
On Abstraction in Software Verification. CAV 2002: 37-56 - [c31]Patrick Cousot, Radhia Cousot:
Modular Static Program Analysis. CC 2002: 159-178 - [c30]Patrick Cousot, Radhia Cousot:
Systematic design of program transformation frameworks by abstract interpretation. POPL 2002: 178-190 - [c29]Patrick Cousot:
Abstract Interpretation: Theory and Practice. SPIN 2002: 2-5 - [e4]Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001. Electronic Notes in Theoretical Computer Science 52(2), Elsevier 2002 [contents] - 2001
- [c28]Patrick Cousot:
Abstract Interpretation Based Formal Methods and Future Challenges. Informatics 2001: 138-156 - [c27]Patrick Cousot, Radhia Cousot:
Verification of Embedded Software: Problems and Perspectives. EMSOFT 2001: 97-113 - [c26]Patrick Cousot:
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. ICLP 2001: 4-5 - [c25]Patrick Cousot, Radhia Cousot:
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. MFPS 2001: 41-64 - [e3]Patrick Cousot:
Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Lecture Notes in Computer Science 2126, Springer 2001, ISBN 3-540-42314-1 [contents] - 2000
- [c24]Patrick Cousot, Radhia Cousot:
Temporal Abstract Interpretation. POPL 2000: 12-25 - [c23]Patrick Cousot:
Partial Completeness of Abstract Fixpoint Checking. SARA 2000: 1-25 - [e2]Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Electronic Notes in Theoretical Computer Science 39(2), Elsevier 2000 [contents]
1990 – 1999
- 1999
- [j10]Patrick Cousot, Radhia Cousot:
Refining Model Checking by Abstract Interpretation. Autom. Softw. Eng. 6(1): 69-95 (1999) - [j9]Patrick Cousot:
Directions for Research in Approximate System Analysis. ACM Comput. Surv. 31(3es): 6 (1999) - 1997
- [j8]Patrick Cousot:
Program Analysis: The Abstract Interpretation Perspective. ACM SIGPLAN Notices 32(1): 73-76 (1997) - [c22]Patrick Cousot, Radhia Cousot:
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). AMAST 1997: 138-154 - [c21]Patrick Cousot:
Types as Abstract Interpretations. POPL 1997: 316-331 - [c20]Patrick Cousot:
Abstract Interpretation Based Static Analysis Parameterized by Semantics. SAS 1997: 388-394 - [c19]Patrick Cousot:
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. MFPS 1997: 77-102 - 1996
- [j7]Patrick Cousot:
Abstract Interpretation. ACM Comput. Surv. 28(2): 324-328 (1996) - [j6]Patrick Cousot:
Program Analysis: The Abstract Interpretation Perspective. ACM Comput. Surv. 28(4es): 165 (1996) - [c18]Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen:
Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS 1996: 1-21 - 1995
- [c17]Patrick Cousot:
Completeness in Abstract Interpretation. GULP-PRODE 1995: 37-38 - [c16]Patrick Cousot, Radhia Cousot:
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. CAV 1995: 293-308 - [c15]Patrick Cousot, Radhia Cousot:
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. FPCA 1995: 170-181 - 1994
- [c14]Patrick Cousot, Radhia Cousot:
Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. ICCL 1994: 95-112 - 1993
- [j5]Patrick Cousot, Radhia Cousot:
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. Theor. Comput. Sci. 120(1): 123-155 (1993) - [c13]Patrick Cousot, Radhia Cousot:
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Formal Methods in Programming and Their Applications 1993: 98-127 - [e1]Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy:
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, ISBN 3-540-57264-3 [contents] - 1992
- [j4]Patrick Cousot, Radhia Cousot:
Abstract Interpretation and Application to Logic Programs. J. Log. Program. 13(2&3): 103-179 (1992) - [j3]Patrick Cousot, Radhia Cousot:
Abstract Interpretation Frameworks. J. Log. Comput. 2(4): 511-547 (1992) - [c12]Patrick Cousot, Radhia Cousot:
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. PLILP 1992: 269-295 - [c11]Patrick Cousot, Radhia Cousot:
Inductive Definitions, Semantics and Abstract Interpretation. POPL 1992: 83-94 - 1991
- [c10]Patrick Cousot:
Abstract Interpretation of Logic Programs. ICLP 1991: 940 - [c9]Patrick Cousot, Radhia Cousot:
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). JTASPEFT/WSA 1991: 33-36 - [c8]Patrick Cousot, Radhia Cousot:
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFT/WSA 1991: 107-110 - 1990
- [p1]Patrick Cousot:
Methods and Logics for Proving Programs. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 841-993
1980 – 1989
- 1989
- [j2]Patrick Cousot, Radhia Cousot:
A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic. Inf. Comput. 80(2): 165-191 (1989) - 1987
- [j1]Patrick Cousot, Radhia Cousot:
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. Acta Informatica 24(1): 1-31 (1987) - 1980
- [c7]Patrick Cousot, Radhia Cousot:
Semantic Analysis of Communicating Sequential Processes (Shortened Version). ICALP 1980: 119-133
1970 – 1979
- 1979
- [c6]Patrick Cousot, Radhia Cousot:
Systematic Design of Program Analysis Frameworks. POPL 1979: 269-282 - 1978
- [b1]Patrick Cousot:
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes. Grenoble Institute of Technology, France, 1978 - [c5]