Patrick Cousot

On Various Abstract Understandings of Abstract Interpretation

2015

We discuss several possible understandings and misunderstandings of Abstract Interpretation theory and practice at various levels of abstraction.

Ogre and Pythia: an invariance proof method for weak consistency models

2017 · ACM SIGPLAN Notices

We design an invariance proof method for concurrent programs parameterised by a weak consistency model. The calculational design of the invariance proof method is by abstract interpretation of a truly parallel analytic semantics. This generalises …