Patrick Cousot's Home Page at NYU

Patrick COUSOT

   Professor of Computer Science
   Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor
   Courant Institute of Mathematical Sciences
   New York University

Short biography

Research interests (Abstract interpretation)

https://www.facebook.com/groups/49970608944

https://www.linkedin.com/groups/Abstract-Interpretation-6787819

https://twitter.com/@AbsInterpret

http://www.staticanalysis.org/

_{(Radhia Cousot Award)}

VMCAI

Projects

NSF Grant CNS-1446511 (CPS: Breakthrough: Cyber-Physical System Securitization by Responsibility Analysis)
NSF Grant CCF-1617717 (SHF:Small: Semantics, Static Analysis, and Refencing of Concurrent Programs with Weak Memory Models)

Publications (by research themes), talks, and summer schools

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. Calculational design of a regular model checker by abstract interpretation. ICTAC 2019, 16^th International Colloquium on Theoretical Aspects of Computing, Oct 30 — Nov 4, Hammamet, Tunisia.

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.
Patrick Cousot. Calculational design of a static dependency analysis ETAPS 2019 Mooly Fest, ETAPS, Prague, Czech Republic, Saturday April 6th, 2019.

Conferences

SAS 2019: 26th International Symposium on Static Analysis, Porto, Portugal, October 9-11, 2019 (Radhia Cousot Award)

Courses

Seminars

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

Program committees

VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation

Conference organization

SAS 2017, 24th Static Analysis Symposium August 30th—September 1st, 2017, New York City, NY, USA

Home page NYU

NYC

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

The first French B2B review website founded by my son Laurent Cousot.

Last modified: