- Biography on Wikipedia,
the Engineering and Technology History Wiki,
IEEE Computer Society,
(and many others, probably resulting from automated plagiarism: People Pill,
Web Developers Notes,
- Principles of Abstract Interpretation, Università Ca'Foscari, Venice, Italy, May 23--27, 2022
- CSCI-GA.3110-001, fall 2022, Honors Programming Languages, 60 Vth Ave, C15, TR 3:30—4:45 PM, Course presentation accessible with a NYU login and password, course repository (accessible to registered students, email to the instructor to get a login and password)
- CSCI-GA.3140-001, spring 2023, 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)
(Radhia Cousot Award)
I work on formal methods (i.e. how to use mathematics to design programs)
as opposed to software engineering (i.e. how to design programs avoiding
any use of mathematics). Abstract interpretation is a mathematical theory
to design program semantics (formalizing what programs do when executed),
program properties (formalizing what are the interesting properties of program executions),
deductive program verification (how to formally prove that program executions do have
formal properties, including model checking), and program analysis (how to mechanically infer formal
properties of program executions, including typing).
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)
Asynchronous Correspondences Between Hybrid Trajectory Semantics.
J.-F. Raskin and K. Chatterjee (Eds.): Principles of Systems Design, LNCS 13660, Springer, 2023
Abstract Interpretation: From 0, 1, To ∞.
V. Arceri, A. Cortesi, P. Ferrara, and M. Olliaro (Eds.): Challenges of Software Verification, ISRL 238, Springer Nature Singapore, March 2023
Abstract Interpretation of Graphs
P. López-García, J. P. Gallagher, and R. Giacobazzi (Eds.), LNCS 13160, Springer, 2023.
Dynamic Abstract Interpretation.
Invited talk at SOAP 2021, Tuesday, June 22nd, 2021.
Abstract interpretation: from principles to application.
J.P. Morgan Chase Distinguished Lecture Series,
Wednesday, June 30th, 2021 (slides)
Dottorato di Ricerca Honoris Causa in Computer Science, Aula Baratto, Università Ca' Foscari, Dorsoduro 3246, Venezia, Italy,
Friday May 20th, 2022, see pictures and the following Challenges of software verification workshop.
Asynchronous Correspondences Between
Hybrid Trajectory Semantics
In Invited talks, IMDEA,
Madrid, Spain, Tuesday, May 31, 2022
Abstractions of Hybrid Semantics,
In ICALP 2022,
EATCS award talk,
Paris, France, Wednesday July 6, 2022
- 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