328 citations · 353 across the 8 of their papers we have counts for
4 papers · 1 filter
Responsibility Analysis by Abstract Interpretation
Chaoqiang Deng, Patrick Cousot
Given a behavior of interest in the program, statically determining the corresponding responsible entity is a task of critical importance, especially in program security. Classical…
Syntax and semantics of the weak consistency model specification language cat
Jade Alglave, Patrick Cousot, Luc Maranget
We provide the syntax and semantics of the cat language, a domain specific language to describe consistency properties of parallel/distributed programs. The language is implemented…
Syntax and analytic semantics of LISA
Jade ALglave, Patrick Cousot
We provide the syntax and semantics of the LISA (for "Litmus Instruction Set Architecture") language. The parallel assembly language LISA is implemented in the herd7 tool (http://v…
A Static Analyzer for Large Safety-Critical Software
Bruno Blanchet, Patrick Cousot, Radhia Cousot +5
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs…