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

_{(Radhia Cousot Award)}

A mostly non-technical video by Reinhard Wilhelm introducing static analysis for program verification

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 (and one year later 188 citations and 407 reads):
(the correct citation is here)
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. On fixpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics
In "Informal pre-proceedings of 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019), Maurizio Gabbrielli (Ed), Porto, Portugal, October 8-10, 2019. (Best paper award.)
Patrick Cousot. Syntactic and Semantic Soundness of Structural Dataflow Analysis
In Proceedings of the 26th International Symposium on Static Analysis, Bor-Yuh Evan Chang (Ed), Porto, Portugal, October 8-11, 2019. LNCS 11822, pp. 96—117, © Springer, 2019.
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, and Patrick Cousot. Verifying Numerical Programs via Iterative Abstract Testing
In Proceedings of the 26th International Symposium on Static Analysis, Bor-Yuh Evan Chang (Ed), Porto, Portugal, October 8-11, 2019. LNCS 11822, pp. 247—267, © Springer, 2019.
Patrick Cousot. Abstract Semantic Dependency
In Proceedings of the 26^th International Symposium on Static Analysis, Bor-Yuh Evan Chang (Ed), Porto, Portugal, October 9-11, 2019. LNCS 11822, pp. 389-—410, © Springer, 2019.
Chaoqiang Deng and Patrick Cousot. Responsibility Analysis by Abstract Interpretation
In Proceedings of the 26^th International Symposium on Static Analysis, Bor-Yuh Evan Chang (Ed), Porto, Portugal, October 8-11, 2019. LNCS 11822, pp. 368—388, © Springer, 2019.
Patrick Cousot. Calculational Design of a Regular Model Checker by Abstract Interpretation
In Proceedings of the 16^th International Colloquium on Theoretical Aspects of Computing, R. M. Hierons and M. Mosbah (Eds.): ICTAC 2019, Hammamet, Tunisia, October 31—November 4, 2019, Springer LNCS, 2019. LNCS 11884, pp. 3—21, © Springer, 2019.

Talks

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.
Patrick Cousot. Abstract Interpretation of Graphs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (AVERTIS) , IMDEA Software, Madrid, Spain, Friday 29^th, 2019.

Summer schools

A Tutorial on Abstract Interpretation, ICTAC 2019, Hammamet, Tunisia, October 31, 2019

Conferences

SAS 2020: 26th International Symposium on Static Analysis, Chicago, Il, Wed 18 to Fri 20 November 2020 (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

SAS 2020: 26th International Symposium on Static Analysis, Chicago, Il, Wed 18 to Fri 20 November 2020

Conference organization

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

Honors

Contact at NYU

Bibliography

Core
DBLP
Google Scholar
Microsoft Academic
Semantic Scholar (where Patrick Cousot has both 4 and 1,584 highly influential citations but Cousot Patrick has only 2)
Scopus
Elsevier (where I discovered I am a specialist in "Surface mount technology", "Costs", "Explosions", "Chemical analysis", etc and now "Acoustic waves", so artificially intelligent)
The Collection of Computer Science Bibliographies
Springerlink
Research Gate

Honors

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

Last modified:

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

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