author-photo

Patrick Cousot

École Normale Supérieure
New York University
Courant Institute of Mathematical Sciences

195

Papers

18187

Citations

Citation Trend

Filter By

Papers (195) Sort By

Journal Conference Others

The Systematic Design of Responsibility Analysis by Abstract Interpretation.

2022 ACM Trans. Program. Lang. Syst.
- Chaoqiang Deng
- Patrick Cousot
Show All
- Source
- Cite
- Save
Citations (0)
Abstract Interpretation (Dagstuhl Seminar 9535)

2021
Show All
- Source
- Cite
- Save
Citations (0)
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics

2020 LOPSTR | Logic-based Program Synthesis and Transformation
- Patrick Cousot
Show All
- Source
- Cite
- Save
Citations (3)
Verifying Numerical Programs via Iterative Abstract Testing

2019 Static Analysis Symposium
Show All
- Source
- Cite
- Save
Citations (1)
Calculational Design of a Regular Model Checker by Abstract Interpretation

2019 ICTAC | International Colloquium on Theoretical Aspects of Computing
- Patrick Cousot
Show All
- Source
- Cite
- Save
Citations (0)
A2I: Abstract2 interpretation

2019
Show All
- Source
- Cite
- Save
Citations (5)
Responsibility Analysis by Abstract Interpretation

2019 SAS | Static Analysis Symposium
- Chaoqiang Deng
- Patrick Cousot
Show All
- Source
- Cite
- Save
Citations (3)
Syntactic and Semantic Soundness of Structural Dataflow Analysis

2019 Static Analysis Symposium
- Patrick Cousot
Show All
- Source
- Cite
- Save
Citations (2)
A^2 I: Abstract^2 Interpretation

2019 POPL | Symposium on Principles of Programming Languages
Show All
- Source
- Cite
- Save
Citations (4)
A²I: abstract² interpretation

2019
Show All
- Source
- Cite
- Save
Citations (6)