Patrick Cousot's Home Page at NYU

Patrick COUSOT

_{(Radhia Cousot Award)}

Projects

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. A²I: abstract² 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. Analyse statique de dépendance par interprétation abstraite. Journée en l'honneur de Nicolas Halbwachs, (Nicolas Halbwachs's Fest), Grenoble, France, Lundi 4 juin 2018.

Conferences

Courses

Seminars

Program committees

Conference organization

Bibliography

Core
DBLP
Google Scholar
Microsoft Academic
Semantic Scholar
Scopus
Elsevier (where I discovered I am a specialist in "Surface mount technology", "Costs", "Explosions", "Chemical analysis", etc so artificially intelligent)
The Collection of Computer Science Bibliographies
Springerlink

Last modified: