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

Biography on Wikipedia, the Engineering and Technology History Wiki, IEEE Computer Society, (and many others, probably resulting from automated plagiarism: People Pill, HowOld, Net Worth, Web Developers Notes, DBpedia, WikiVisually)

Courses

CSCI-GA.3110-001, fall 2020, Honors Programming Languages, Online
CSCI-GA.3140-001, spring 2021, Abstract Interpretation, Online, Mondays 9:30—11:20 AM NYC time, email to the instructor to get a login

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

Book

The book Principles of Abstract Interpretation will be available at MIT Press on September 21st, 2021. The book webpage is https://github.com/PrAbsInt.

Projects

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.
Patrick Cousot. The Symbolic Term Abstract Domain.
In The 14th International Symposium on Theoretical Aspects of Software Engineering, December 11-13, 2020, Hangzhou, China.

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.
Patrick Cousot. Is Static Analysis Successful?. Online seminar series on Verification beyond 2020, Tuesday, July 7^th, 2020.

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)

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
BibSLEIGH

Honors

Others

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

Last modified: Tue Dec 8 08:11:29 EST 2020

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