(Radhia Cousot Award)
- A paper I never wrote has 186 citations and 20 reads:
Patrick Cousot, Roberto Giacobazzi, and Francesco Ranzato.
Program Analysis Is Harder Than Verification: A Computability Perspective.
30th International Conference on Conference on Computer-Aided Verification (CAV 2018), July 14-17, Oxford, UK.
- Patrick Cousot, Roberto Giacobazzi and Francesco Ranzato.
A2I: abstract2 interpretation.
In Proceedings of the ACM on Programming Languages: Volume 3 Issue POPL, Article No. 42, January 2019, 31 pages. https://doi.org/10.1145/3290355,
Cascais, Portugal, January 16—18, 2019. © ACM Press, New York.
- Patrick Cousot. Calculational design of a regular model checker by abstract interpretation.
ICTAC 2019, 16th International Colloquium on Theoretical Aspects of Computing, Oct 30 — Nov 4, Hammamet, Tunisia.
- Dagstuhl Seminar 16471, Concurrency with Weak Memory Models: Semantics, Languages, Compilation, Verification, Static Analysis, and Synthesis, co-organizer with Jade Alglave and Caterina Urban, Sunday, November 20, 2016 to Friday, November 25, 2016
The first French B2B review website founded by my son Laurent Cousot.