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

• 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)

• VMCAI 2015 (paper, slides)
• SAS 2015 (paper, slides)
• POPL 2017 (paper, Slides)
• Jade Alglave, Patrick Cousot, and Caterina Urban. Concurrency with Weak Memory Models. In Dagstuhl Reports, Schloss Dagstuhl—Leibniz–Zentrum fuer Informatik, Dagstuhl, Germany Dagstuhl Seminar 16471, Schloss Dagstuhl, Germany, November 20—25 , 2016.

• Jade Alglave and Patrick Cousot. The hierarchy of analytic semantics of weakly consistent parallelism, REPS AT SIXTY, September 11 2016, Edinburgh, UK
• Patrick Cousot. Abstract Interpretation, Colloquium d'informatique de l'UPMC Sorbonne Universités, 29 septembre 2016.
• Jade Alglave and Patrick Cousot. Proof of mutual-exclusion and non-starvation of a program: PostgreSQL. In Dagstuhl Seminar 16471. 22 November, 2016.
• Jade Alglave and Patrick Cousot. Proof of mutual-exclusion and non-starvation of a program: PostgreSQL. In The 2016 workshop on Analysis and Verification of Dependable Cyber Physical Software Changsha, China, December 09, 2016.
• Patrick Cousot. Abstract Interpretation. SAVE 2016, Changsha, China, 10-11 December 2016.
• Patrick Cousot. Abstract Interpretation — 40 years back + some years ahead. Next forty years of abstract interpretation (N40AI 2017), Sat 21 January 2017, Paris France.
  

• SAS 2016: 23rd International Symposium on Static Analysis, Edinburgh, UK, September 8-10, 2016 (Radhia Cousot Award, recipients)

• CSCI-GA.3033-005, fall 2016, Principles of Software Security
• CSCI-GA.3110-001, fall 2017, Honors Programming Languages
• CSCI-GA 3033-017, spring 2018, Abstract Interpretation

• Jade Alglave, UCL and MSR Cambridge (UK), Snakes and Ladders, NYU Computer Science Colloquium, Friday November 6th, 2015, (talk held in room 1302 WWH at 11:30am, with refreshments at 11:15am).
• Jean-Marie Madiot, Princeton University, FM Seminar, Verified reasoning for concurrent C programs, Thursday November 5th, 2015 (talk held in room 412 WWH at 11:00am)
• 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

• POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, January 11—18, 2015
• PPDP 2015: 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015
• ENASE 2016: 11th International Conference on Evaluation of Novel Approaches to Software Engineering, Roma, Italy, 27-28 April 2016
• SAS 2016: 23rd Static Analysis Symposium, Edinburgh, UK, September 8—10, 2016

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

• Web page at ENS
• Web page at MIT

• 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