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 2021, Honors Programming Languages, 60 Vth Ave, C15, TR 3:30—4:45 PM
CSCI-GA.3140-001, spring 2022, Abstract Interpretation, Mondays 4:55—6:55 PM
(accessible to registered students, email to the instructor to get a login) and
course presentation (accessible with an NYU Id and password
)
Principles of Abstract Interpretation, Università Ca'Foscari, Venice, Italy, May 23--27, 2022
Research interests
(Abstract interpretation)
(Radhia Cousot Award)
A mostly non-technical video by Reinhard Wilhelm introducing static analysis for program verification
Book
The book ``
Principles of Abstract Interpretation
'' is available at MIT Press since September 21st, 2021 (ISBN-13: 978-0262044905, ISBN-10: 0262044900). The book webpage is
https://github.com/PrAbsInt
.
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
Patrick Cousot.
The Symbolic Term Abstract Domain.
In
The 14th International Symposium on Theoretical Aspects of Software Engineering
, December 11-13, 2020, Hangzhou, China.
Patrick Cousot.
Calculational Design of a Regular Model Checker by Abstract Interpretation
Theoretical Computer Science, Volume 869, 12 May 2021, Pages 62-84.
Chaoqiang Deng, Patrick Cousot.
The Systematic Design of Responsibility Analysis by Abstract Interpretation
. ACM Trans. Program. Lang. Syst. 44(1): 3:1-3:90 (2022)
Talks
Patrick Cousot.
Dynamic Abstract Interpretation
.
Invited talk at
SOAP 2021
, Tuesday, June 22
nd
, 2021.
Patrick Cousot.
Abstract interpretation: from principles to application
.
J.P. Morgan Chase Distinguished Lecture Series
, Wednesday, June 30
th
, 2021 (
slides
)
Patrick Cousot.
Abstract Interpretation
.
Dottorato di Ricerca Honoris Causa in Computer Science, Aula Baratto, Università Ca' Foscari, Dorsoduro 3246, Venezia, Italy,
Friday May 20
th
, 2022, see
pictures
and the following
Challenges of software verification workshop
.
Patrick Cousot.
Asynchronous Correspondences Between Hybrid Trajectory Semantics
In
Invited talks
,
IMDEA
, Madrid, Spain, Tuesday, May 31, 2022
Summer schools
A Tutorial on Abstract Interpretation
,
ICTAC 2019, Hammamet, Tunisia, October 31, 2019
Conferences
SAS 2022: 28th International Symposium on Static Analysis, Mon 5 - Wed 7 December 2022 Auckland, New Zealand
(
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
VMCAI 2022, 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Philadelphia, PA, January 16-18, 2022.
SAS 2022, 29th Static Analysis Symposium, Aukland, New Zealand, Dec. 5-8 2022.
Conference organization
SAS 2017, 24th Static Analysis Symposium August 30th—September 1st, 2017, New York City, NY, USA
Honors
Contact at NYU
Web page at ENS
Web page at MIT
Web page on GitHub
Bibliography
ACM
Core
DBLP
Google Scholar
Microsoft Academic
NYU Scholar
Semantic Scholar
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
Guide2Research
Honors
Others
The
French Breputation review website
founded by my son
Laurent Cousot
.
Last modified:
#echo var="LAST_MODIFIED"