Patrick Cousot's slides of talks on abstract interpretation

See publications for conference talks.

 

2020

Patrick Cousot. Is static analysis successful? Online seminar series on Verification beyond 2020, Cyberseminar, Tuesday, July 7th, 2020

2019

Patrick Cousot. Abstract Interpretation of Graphs Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (AVERTIS) , IMDEA Software, Madrid, Spain, Friday 29th, 2019.

Patrick Cousot. A Tutorial on Abstract Interpretation, ICTAC 2019, Hammamet, Tunisia, October 31st, 2019.

Patrick Cousot. Calculational design of a static dependency analysis , ETAPS, Prague, Czech Republic, Saturday April 69th 2019.

Patrick Cousot. Abstract Interpretation, Semantics, Verification, and Analysis, VMCAI 2019 Winter School, Friday, January 119th, 2019.

2018

Patrick Cousot. Quelques souvenirs sur la création du LIX. LIX, École polytechnique, Palaiseau, France, December 19th, 2018.

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.

2017

Patrick Cousot. Abstract Interpretation — 40 years back + some years ahead. Next forty years of abstract interpretation (N40AI 2017), Sat 21st January 2017, Paris France.

2016

Patrick Cousot. Abstract Interpretation. In : SAVE 2016, Changsha, December 10th, 2016.

Patrick Cousot. Proof of mutual-exclusion and nonstarvation of a program with weak memory model: PostgreSQL. International joint research project ``Analysis and verification of of dependable cyber physical software’’ National Natural Science Foundation of China Changsha, December 9th, 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. Semantics and invariance proof methods for weakly consistent parallelism, Dagstuhl Seminar 16471, 20-25 November 2016 © J. Alglave & P. Cousot Semantics and invariance proof method for weakly consistent parallelism. In Dagstuhl Seminar 16471. 20 November, 2016.

Patrick Cousot. Abstract Interpretation, Colloquium d'informatique de l'UPMC Sorbonne Universités, 29 septembre 2016.

Jade Alglave and Patrick Cousot. The hierarchy of analytic semantics of weakly consistent parallelism. REPS AT SIXTY, September 11 2016, Edinburgh, UK

Jade Alglave and Patrick Cousot. Semantics and invariance proof method for weakly consistent parallelism. IFIP-WG 2.3 Château de Villebrumier meeting, 2—7 September 2016, Château de Villebrumier, France.

Jade Alglave and Patrick Cousot. The hierarchy of analytic semantics of weakly consistent parallelism. In Invited talks, IMDEA, Madrid, Spain, May 24, 2016.

Jade Alglave and Patrick Cousot. The analytic semantics of weakly consistent parallelism. In Symposium on "Programming: Logics, Models, Algorithms and Concurrency, Jayadev Misra’s Fest, Austin, TX, USA, April 29-30, 2016.

2015

Patrick Cousot. Abstract Induction. In Workshop on Software Correctness and Reliability. Peter Müller (ETH Zürich) and Martin Vechev (ETH Zürich) (Organizers), Zürich, Switzerland, October 2—3, 2015.

Patrick Cousot. A Gentle Tutorial on Abstract Interpretation. In 9th International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China, September 12-14, 2015.

Patrick Cousot. Sound Verification by Abstract Interpretation. In Proceedings of the The Sixth Workshop on Tools for Automatic Program Analysis, Josh Berdine (Ed), Saint-Malo, France. 8 September 2015.

2014

Patrick Cousot. Reinhard Wilhelm. In Farewell Colloquium on the Occasion of Reinhard Wilhelm's 68th birthday Saarbrüchen, Germany, November, 28th 2014.

Patrick Cousot. Abstract Interpretation: From Theory to Tools. In 30th International Conference on Software Maintenance and Evolution, Harlan D. Mills Award, Victoria, City of Gardens, British Columbia, Canada, October 1—3, 2014.

Patrick Cousot. Abstract Interpolation by Dual Narrowing. In POPL'15 PC Workshop. Princeton University, September 27—28, 2014.

Patrick Cousot. Abstract Interpretation: « Scene-Setting Talk » In Patrick Cousot, Daniel Kroening, Carsten Sinz: Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). Dagstuhl Reports 4(8): 107-125 (August 24—29, 2014).

2013

Patrick Cousot. Work in Progress Towards Liveness Verification for Infinite Systems by Abstract Interpretation. In Computational Modeling and Analysis for Complex Systems CMACS PI meeting, Arlington, VA, May 16, 2013.

2012

Patrick Cousot. Abstract Interpretation: Principles and Applications. Carnegie Mellon University, School of Computer Science, Gaschnig/Oakley Memorial Lecture (SCS Distinguished Lecture Series), Gates & Hillman Centers, Rashid Auditorium 4401, April 12th, 2012.

Patrick Cousot. A casual introduction to Abstract Interpretation. Workshop on Systems Biology and Formals Methods (SBFM'12), NYU, New York, NY, USA. March 29th—30th, 2012.

Patrick Cousot. Automatic Large-Scale Software Verification by Abstract Interpretation. Invited Talk, Tsinghua Software Day (TSD 2012), Tsinghua University, Beijing, China. March 15th, 2012.

Patrick Cousot and Radhia Cousot. Termination Proof Inference by Abstract Interpretation. Invited Talk, Computer Science PhD Day, Aula Magna Silvio Trentin, Universitá Ca' Foscari di Venezia, Italy, March 12th, 2012.

2011

Patrick Cousot, Basic advances in CMACS technology: Abstract Interpretation, CMACS 2nd Year Site Visit Review, CMU, Pittsburgh, October 20th, 2011.

Patrick Cousot, Program Verification by Abstract Interpretation, CMACS Industry Workshop on Verification of Embedded Control Systems, CMU, Pittsburgh, October 18th, 2011.

Patrick Cousot (joint work with Radhia Cousot and Laurent Mauborgne). Combining Algebraic Domains and Logical Theories by the Reduced Product. Invited Talk, 18th International Static Analysis Symposium, SAS 2011, September 14th-16th, 2011.

Patrick Cousot and Radhia Cousot (joint work with Laurent Mauborgne). Theories, Solvers and Static Analysis by Abstract Interpretation.. MSR Talk Series, Microsoft Research, Redmond, WA, USA. August 12th, 2011.

Patrick Cousot. Unifying proof theoretic/logical and algebraic abstractions for inference and verification. CMACS-NSF Meeting, University of Maryland, College Park, MD, USA. April 28th-29th, 2011.

Patrick Cousot and Radhia Cousot. Abstract Hoare Logic. In Pre-POPL Yak International, CIMS, NYU, January 21st, 2011.

Patrick Cousot. Présentation de l'équipe–projet « ABSTRACTION ». INRIA Rocquencout, January 13th, 2011.

2010

Patrick Cousot . Verification of Control Systems by Abstract Interpretation Pre-conference Workshop on Verification of Control Systems, 49th IEEE Conference on Decision and Control, ETH Atlanta, Georgia, USA, December 14, 2010.

Patrick Cousot and Radhia Cousot. Abstract interpretation: from origin to perspectives "Formal Methods - Just a Euro-Science?", Dagstuhl Perspectives Workshop 10482, Schloss Dagstuhl, Germany, 30 November 2010 — 3 December 2010.

Patrick Cousot (work with Radhia Cousot and Francesco Logozzo) Contract Precondition Inference from Intermittent Assertions on Collections, The Future of Software Engineering (FOSE) Symposium, ETH Zürich, Switzerland, 22-23 November 2010.

Patrick Cousot, ``The Reduced Product of Abstract Domains and the Combination of Decision Procedures'' and ``Termination: Foundations using Abstract Interpretation''', CMACS NYU meeting, CMU, Pittsburgh, October 29th, 2010.

Patrick Cousot, Radhia Cousot, and Francesco Logozzo Contract Precondition Inference from Intermittent Assertions on Collections Software Engineering and Programming Languages Seminar, MSR, Redmond, WA, USA, September 8, 2010

Patrick Cousot and Radhia Cousot Static Analysis and Verification of Aerospace Software by Abstract Interpretation Workshop on formal verification of avionics software products, Airbus France, Toulouse, France, June 24, 2010

Patrick Cousot Embedded software verification by abstract interpretation Seminar, CMACS, visit to Rockwell-Collins, Cedar Rapids, Iowa, US, May 3rd, 2010

Patrick Cousot and Radhia Cousot (joint work with Francesco Logozzo). Array content static analysis by segmentation Seminar, IBM T.J. Watson Research Center at Hawthorn, NY, USA, April 24, 2010

Patrick Cousot. Challenge Problems in Aerospace Software Verification. CMACS, CMACS-NSF Meeting, Carnegie Mellon University, Gates Hillman Center, Pittsburgh, PA, USA. March 4th, 2010

2009

Patrick Cousot. An Informal Introduction to Static Analysis and Verification by Abstract Interpretation. Chair of Software Engineering at ETH Zurich, Switzerland, Software verification course (Fall semester 2009), Bertrand Meyer, Carlo A. Furia, Sebastian Nanz (Org.), Guest lecture of November 25th, 2009.

Patrick Cousot. Challenges in control/command software analysis. CMACS Kickoff Meeting, Carnegie Mellon University, Gates Hillman Center, Pittsburgh, PA, USA. November 1st, 2009.

Patrick Cousot. Scaling up in static analysis by abstract interpretation. CMACS, Kickoff Meeting, Carnegie Mellon University, Gates Hillman Center, Pittsburgh, PA, USA. October 31st, 2009.

Patrick Cousot and Radhia Cousot (joint work with Francesco Logozzo). A parametric segmentation abstract domain functor for fully automatic inference of array properties. Verification group meeting, MSR, Redmond, WA, USA. September 24th, 2009.

Patrick Cousot. An Informal Introduction to Abstract Interpretation. Doctorate Program PUMA, Program and Model Analysis (Graduiertenkolleg Programm- Und Modell-Analyse), Fakultät für Informatik, Technische Universität München and the Fakultät für Informatik, Ludwig-Maximilians-Universität München, Germany. May 22nd, 2009.

Patrick Cousot. Abstraction and applications. Doctorate Program PUMA, Program and Model Analysis (Graduiertenkolleg Programm- Und Modell-Analyse), Fakultät für Informatik, Technische Universität München and the Fakultät für Informatik, Ludwig-Maximilians-Universität München, Germany. May 22nd, 2009.

Patrick Cousot. Scaling up with abstract interpretation. NSF Workshop on Usable Verification, A. Pnueli & L. Zuck (Org.), Savannah, GA, USA. January 20th, 2009.

Patrick Cousot and Radhia Cousot. Abstract-Interpretation-based Static Analysis of Safety-Critical Embedded Software. Impromptu Invited Talk (in last minute replacement of Allen Emerson) at VMCAI'2009, N. Jones and M. Müller-Olm (Program Chairs), Savannah, GA, USA. January 18th, 2009.

2008

Patrick Cousot. Abstract-Interpretation-based Static Analysis of Safety-Critical Embedded Software. Airbus workshop on formal verification tools strategy, Toulouse, France. December 4th, 2008.

Patrick Cousot. Abstract-Interpretation-based Static Analysis of Safety-Critical Embedded Software. Computer Science Colloquium, Computer Science, New York University, New York, NY, USA. November 21th, 2008.

Patrick Cousot. Abstract Interpretation and Application to the Static Analysis of Safety-Critical Embedded Computer Software. Demo of ASTRÉE Seoul National University, Computer Science & Engineering, Distinguished Lecture Series, October 30th, 2008, Seoul, Korea.

Patrick Cousot. Abstract Interpretation and Application to the Static Analysis of Mission-Critical Embedded Computer Software. Final review of the ESA ITI project Space Software Validation using Abstract Interpretation  (SSVAI). Noordwijk, The Netherlands, Sep. 19th, 2008.

Patrick Cousot. Static Software Analysis, in the Large. Max Planck Institute for Software Systems, Distinguished Lecture Series, August 26, 2008, Saarbrücken, Building MPI-SWS Saarbrücken, Room 019 (simultaneous videocast at Kaiserslautern, Building MPI-SWS Kaiserslautern, Room 206).

Patrick Cousot. Calculational Design of Semantics of the Eager Lambda-Calculus by Abstract Interpretation. IFIP-WG 2.3 Cambridge meeting, 21—25 July 2008, Cambridge, England.

Patrick Cousot. Automatic Software Verication by Abstract Interpretation: Numerical Abstract Domains. IFIP-WG 2.3 Cambridge meeting, 21—25 July 2008, Cambridge, England.

Patrick Cousot. Numerical domains for software verification by abstract interpretation. First International Workshop on Numerical Abstractions for Software Verification, NSV 2008 (affiliated with CAV 2008), Princeton, New Jersey, USA, July 8th, 2008.

Patrick Cousot. Présentation de l'équipe/projet « ABSTRACTION » de l'INRIA Paris–Rocquencourt commune au CNRS et à l'ENS. Comité de Direction de l'INRIA, Paris, June 10th, 2008.

Patrick Cousot. Automatic software verification by abstract interpretation. International Conference on the Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3rd, 2008.

Patrick Cousot. Parameterized Refinement in Abstract-Interpretation-Based Static Analysis. Verification group, Computer Science, NYU, New York, NY, USA, April 20th 2008.

Patrick Cousot. Why ASTRÉE does scale? Dagstuhl seminar 08161, « Scalable Program Analysis », Schloss Dagstuhl, Germany April 15th, 2008. (Demo of ASTRÉE)

Patrick Cousot. La vérification des programmes par interprétation abstraite. Séminaire de la Chaire d'Innovation technologique - Liliane Bettencourt, Collège de France, 22 février 2008.

Patrick Cousot. Advances and Challenges in Static Program Analysis by Abstract Interpretation. Colloquia Patavina, Dipartimento di Matematica Pura ed Applicata, Università degli Studi di Padova, Padova, Italy. Tuesday February 19th, 2008.

Patrick Cousot. Software Verification by Abstract Interpretation and the ASTRÉE Static Analyzer. Seminar, Center for Computational and Systems Biology (COSBI), The Microsoft Research — University of Trento, Trento, Italy. February 5th, 2008.

Patrick Cousot. Software Verification by Abstract Interpretation and the ASTRÉE Static Analyzer. Seminar, Computer Science Department, Stony Brook University, Stony Brook, New York, USA. January 18th, 2008.

Patrick Cousot. Thirty Years of Abstract Interpretation, Part I, Part II Part III, Bibliography. Workshop on ``Thirty Years of Abstract Interpretation'', R. Giacobazzi and D. Schmidt (Org.), San Francisco, CA, USA, January 9th, 2008.

2007

Patrick Cousot. Vérification de logiciel embarqués critiques par interprétation abstraite. Séminaire du LINA, Laboratoire d'informatique de Nantes Atlantique, Nantes, France, 20 décembre 2007.

Patrick Cousot. Avionic Software Verification by Abstract Interpretation. 007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation. Special Workshop Theme: Formal Methods in Avionics, Space and Transport, Poitiers, France, December 12—14, 2007.

Patrick Cousot. Software Verification by Abstract Interpretation. School of Computer and Communication Sciences Seminar, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland, december 10, 2007.

Patrick Cousot. The ASTRÉE Static Analysis Tool (and the demo of ASTRÉE). In ES_PASS Workshop, Berlin, Germany, 16—17 October 2007.

Patrick Cousot. Vérification de l'absence d'erreurs à l'exécution dans des logiciels industriels critiques de contrôle/commande par interprétation abstraite. XIVes Rencontres INRIA — Industrie Confiance et Sécurité, >INRIA Rocquencourt, Jeudi 11 octobre 2007.

Patrick Cousot. Proving the Absence of Run-Time Errors in Safety-Critical Avionics Code. Tutorial of the Seventh ACM & IEEE International Conference on Embedded Software (EMSOFT 2007), Embedded Systems Week, Salzburg, Austria, September 30th, 2007.

Patrick Cousot and Radhia Cousot. Specification and Abstraction of Semantics. In A tribute workshop and festival to honor Professor Dr. Neil D. Jones 25-26 August, 2007, Lille Auditorium, Datalogisk Institut, Københavns Universitet, Universitetsparken 1, København, Denmark.

Patrick Cousot. Bi-inductive structural semantics and its abstraction. Departmental Seminar, Department of Computing, Imperial College, London, UK. Wednesday July 4th, 2007.

Patrick Cousot. Abstract Interpretation and Application to Static Analysis (tutorial). Part I: Basic Concepts of Abstract Interpretation. Part II: Applications of Abstract Interpretation. First IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2007, Tutorial, Shanghai, China, June 5th, 2007.

Patrick Cousot and Radhia Cousot. Combination of Abstractions in the ASTRÉE Static Analyzer. Eighth Annual IBM Programming Language Day, IBM T.J. Watson Research Center, Hawthorne, NY, USA. May 7th, 2007.

Patrick Cousot. Abstract interpretation with applications to semantics and static analysis. CS Colloquium, Departmental Seminar, Computer Science Department, Courant Institute of Mathematical Sciences, New York University, New York, NY, USA. April 9th, 2007.

Patrick Cousot. Static Analysis and Verification of Synchronous Embedded Code by Abstract Interpretation. The Thirteenth ASTReNet Workshop on Formal Aspects of Source Code Analysis and Manipulation, BCS-FACS, London, England, 21st March 2007.

Patrick Cousot. Presentation of the ABSTRACTION project proposal, Projects' commitee, INRIA Rocquencourt, Thursday March 8th, 2007.

Patrick Cousot. Program termination proofs by convex optimization. IBM Programming Languages & Software Engineering Research Seminar, Thomas J. Watson Research Center, Hawthorne, NY, USA, 5 january 2007.

2006

Patrick Cousot. Verification of Large Complex Software by Abstract Interpretation. 11th Annual Asian Computing Science Conference, ASIAN'06, National Center of Sciences, Tokyo, Japan, 6—8 December 2006.

Patrick Cousot and Radhia Cousot. Abstract interpretation and a range of applications. Seminario del Dipartimento di Informatica, Università Ca' Foscari Venezia, Mestre, Italy. 23 October 2006.

Patrick Cousot. Static Verification of Safety Critical Code by Abstract Interpretation. Distinguished Lecturer Series, Department of Computing and Information Sciences, Kansas State University, Manhattan<, Kansas, USA, September 5th, 2006.

Patrick Cousot. Program Termination Proofs by Parametric Abstraction and Semi-definite Programming. Specialised Talk, Seminar Series, Department of Computing and Information Sciences, Kansas State University, Manhattan, Kansas, USA, September 6th, 2006.

Patrick Cousot. Formalizations of Abstraction in the Abstract Interpretation Theory. The Challenge of Software Verification, Dagstuhl Seminar 06281, Schloss Dagstuhl, Wadern, Germany, July 9—13, 2006.

Patrick Cousot and Radhia Cousot. The Scientific Work of Reinhard Wilhelm. Special event to honour the 60th birthday of Prof. Reinhard Wilhelm, Universität Saarbrücken, Germany, June 10th, 2006.

Patrick Cousot and Radhia Cousot. Grammar Abstract Interpretation. Seminar in Honor of Reinhard Wilhelm's 60th Birthday, Dagstuhl Seminar 6232, Dagstuhl, Wadern, Germany, June 9—10, 2006.

Patrick Cousot. Interprétation abstraite : application aux logiciels de l'A380. Exposé sur des questions d'actualité, Académie des Sciences, Paris, France, 6 Juin 2006.

Patrick Cousot. Abstract Interpretation & Applications. Seminar, MIT, April rd 2006.

Patrick Cousot. Program Verification by Parametric Abstraction and Semi-definite Programming. Logic and Algorithms Workshop “Constraints and Verification”, Isaac Newton Institute for Mathematical Sciences, Cambridge, United Kingdom, 8—12 May 2006.

Patrick Cousot. Application of Abstract Interpretation to the Static Verification of Safety Critical Code. Seminar, IBM Thomas J. Watson Research Center, Hawthorne, New York, USA, January 20th, 2006.

2005

Patrick Cousot. Static Program Verification by Abstract Interpretation. In Georgia Tech November 14th, 2005 (cancelled).

Patrick Cousot. Static Verification of Critical Embedded Software by Abstract Interpretation. In Distinguished Lecture Series, EECS, University of California Berkeley, Berkeley, California, November 9th, 2005.

Patrick Cousot and Radhia Cousot. Static Analysis of Embedded Control/Command Software by Abstract Interpretation. Kestrel Technology, Palo Alto, California, November 7th, 2005.

Patrick Cousot. Challenges in Abstract Interpretation for Software Safety. In Symposium Franco-Japonais sur la sécuritsé informatique, French-Japanese symposium on computer security, Keio University, Mita Campus, Global Security Research Institute, Tokyo, Japan, September 5—7, 2005.

Patrick Cousot. Automatic Verification of Embedded Control Software with ASTRÉE and beyond. MIT Workshop on Critical Research Areas in Aerospace Software, August 9th, 2005.

Patrick Cousot. Software Challenges for the Aerospace Industry and Research. MIT Workshop on Critical Research Areas in Aerospace Software, August 9th, 2005.

Patrick Cousot. The ASTRÉE analyzer. MIT/EECS/CSAIL Seminar, June 16th, 2005.

Patrick Cousot. Automatic Verification of Avionic Synchronous Safety Critical Embedded Software. Programming Languages Seminar, College of Computer and Information Science, Northeastern University, Boston, Massachusetts, USA. June 1st, 2005.

Patrick Cousot. Abstract Interpretation-based Formal Verification of Complex Computer Systems. Minta Martin Lecture, Department of Aeronautics and Astronautics, Bartos Theater, MIT, Friday May 13th, 2005.

Patrick Cousot. Software Verification by Abstract Interpretation: Current Trends and Perspectives. Meeting with Pratt & Whitney, East Hartford representatives, May 6th 2005

Patrick Cousot. Software Verification by Abstract Interpretation: Current Trends and Perspectives. Meeting with Boeing representatives, MIT, Friday April 29th 2005

Patrick Cousot. Software Verification by Abstract Interpretation: Current Trends and Perspectives. Meeting withFord representatives, MIT, March 15th 2005

Patrick Cousot. Parametric Abstraction. First International Workshop on Numerical & Symbolic Abstract Domains (NSAD'05), Maison des Polytechniciens Paris, Friday 21 January, 2005 (a satellite event of VMCAI'05).

Patrick Cousot. Motivations for Static program Analysis. Introduction to a panel discussion. Industrial day on Automatic Tools for Program Verification, Maison des Polytechniciens, Paris, Thuesday 20 January, 2005 (a satellite event of VMCAI'05).

Patrick Cousot. A Tutorial on Abstract Interpretation. Industrial day on Automatic Tools for Program Verification, Maison des Polytechniciens, Paris, Thuesday 20 January, 2005 (a satellite event of VMCAI'05).

2004

Patrick Cousot. Software Verification by Abstract Interpretation: Current Trends and Perspectives. Rencontres EDF/ENS/X, 15 novembre 2004.

Patrick Cousot. Software Verification by Abstract Interpretation: Current Trends and Perspectives. Seminar, IV Jornadas de Programación y Lenguajes, Málaga, Spain. 11—12 November 2004.

Patrick Cousot. Automatic verification of avionic synchronous safety critical embedded software. Wednesday seminar, Lecture Theatre 1 — William Gates Building, The Computer Laboratory, University of Cambridge, Cambridge, UK. 20 October 2004.

Patrick Cousot. Automatic program verification by Lagrangian relaxation and semidefinite programming. Semantics lunch, Theory and Semantics Group, The Computer Laboratory, University of Cambridge, Cambridge, UK. 18 October 2004.

Patrick Cousot. Verification by Abstract Interpretation. Seminario, Dipartimento di Informatica, Università degli Studi di Verona, Verona, Italy. Sala Verde, September 2nd, 2004, 17:00—18:00.

Patrick Cousot. A Lagrangian relaxation and mathematical programming framework for static analysis and verification. LOPSTR'04 and SAS'04 invited talk, Verona, Italy. August 28, 2004.

Patrick Cousot, Radhia Cousot & Famantanantsoa Randimbivololona. Présentation du projet ASTRÉE : Analyse Statique de logiciels Temps Réel Embarqués. Séminaire RNTL, Thème 1, Bercy, Paris, France, 1er juin 2004.

Patrick Cousot and Radhia Cousot. Verification of Safety-Critical Control-Command Sofware by Abstract Interpretation. Seminar, Computer Science Department, Courant Institute of Mathematical Sciences, New York University, New York, NY, USA. 13 May 2004.

Patrick Cousot. Automated Verification of Infinite-State Systems by Abstract Interpretation. In Third International Workshop on Automated Verification of Infinite-State Systems (AVIS'04), Barcelona, Spain, 3rd-4th April 2004.

Patrick Cousot. Forthcoming Requirements on Software Verification. In Invited Panel on “The Future of Software Verification”, Third International Workshop on Automated Verification of Infinite-State Systems (AVIS'04), Barcelona, Spain, 3rd-4th April 2004.

Patrick Cousot. Abstract Interpretation of Computations. In Workshop on Robustness, Abstractions and Computations, University of Pennsylvania, Philadelphia, U.S.A., 28 March 2004.

Patrick Cousot. Grand Challenges for Abstract Interpretation. 2nd Workshop on Dependable Systems Evolution, Tony Hoare, Peter O'Hearn, Harold Thimbleby, Jim Woodcock (Organizers), Gresham College, London, UK, 18 March, 2004.

2003

Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret Laurent Mauborgne, Antoine Miné, David Monniaux & Xavier Rival. ASTRÉE : A Static Analyzer for Large Safety-Critical Software. Applied Deductive Verification, Schloss Dagstuhl Seminar 3451, 2—7 Nov. 2003.

Patrick Cousot. A Static Analyzer for Large Safety-Critical Software (Invited Talk). Italian CoVer (Constraint-based Verification of Reactive systems) project meeting. Florence, Italy, 25—26 September 2003.

Patrick Cousot. Vérification de programmes par interprétation abstraite. ONERA-CERT, Toulouse, France, 23 mai 2003.

Patrick Cousot. Dérivation formelle de l'algorithme d'analyse syntaxique d'Earley par abstraction d'une sémantique des grammaires algébriques. Journée de présentation des cursus en informatique École normale supérieure de Cachan, 15 mai 2003.

Patrick Cousot. IFIP-WG 2.3 Biarritz meeting talks (1, 2, 3, 4). IFIP-WG 2.3 Biarritz meeting, 23—28 mars 2003, Hotel Miramar, Biarritz, France.

Patrick Cousot. Automatic Verification by Abstract Interpretation, invited tutorial. In VMCAI 2003 — Fourth International Conference on Verification, Model Checking and Abstract Interpretation, L.D. Zuck, P.C. Attie, A. Cortesi and S. Mukhopadhyay (Editors). Lecture Notes in Computer Science 2566, pp. 85—108, Springer.

Patrick Cousot. Une introduction informelle à l'interprétation abstraite et à l'analyse statique. Réunion Airbus–CNRS–ENS, Toulouse, 5 décember 2003.

2002

Patrick Cousot and Radhia Cousot. Formalization of Program Transformation by Abstract Interpretation. Computer Science Department, Courant Institute of Applied Mathematics, New York, N.Y., U.S.A., January 11, 2002.

Patrick Cousot. Abstract Interpretation: A Theory of Approximation, Invited talk. Eighteenth Workshop on the Mathematical Foundations of Programming Semantics, Special session on Abstract Interpretation, Tulane University, New Orleans, Louisiana, U.S.A., March 23--26, 2002.

Patrick Cousot. Improving Systems Quality — Challenges and Trends — An Abstract Interpretation Perspective, Invited Talk. Invited talk, VERIMAG, Grenoble, France Thursday 11 April 2002.

Patrick Cousot. Abstract Interpretation: Theory and Practice. Invited talk. European Joint Conferences on Theory and Practice of Software (ETAPS 2002), Grenoble, France, Friday, April 12, 2002.

Patrick Cousot. Abstract Interpretation Software technologies, Invited talk. Workshop on Software Technologies, Embedded Systems and Distributed Systems in the sixth Framework Programme, TESSS, European Commission, Brussels, Belgium, Thursday 2 May 2002.

Patrick Cousot. On Abstraction in Software Verification, Invited tutorial. International Conference on on Computer-Aided Verification (CAV 2002), Copenhagen, Denmark, Saturday July 27, 2002.

Patrick Cousot and Radhia Cousot. Abstract Interpretation Based Program Transformations. CLIP Lab, Departamento de Inteligencia Artificial, Facultad de Informática, Universidad Politécnica de Madrid, Madrid, Spain, September 12, 2002.

2001

Patrick Cousot. Introduction to a Discussion on Mechanical Formal Methods for Software Verification IFIP WG 2.3 Meeting, Santa Cruz, California, U.S.A., January 7—12, 2001.

Patrick Cousot. On the Design of Abstractions for Software Model Checking. MicroSoft Research, Seatle, U.S.A., February, 2001.

Patrick Cousot. Abstract Interpretation for Software Verification Workshop on “Formal Design of Safety Critical Embedded Systems, FEmSys'2001”, Forum der Technik, Deutsches Museum, München, Germany, 21—23 March, 2001.

Patrick Cousot. Abstract Interpretation and Applications Naturwissenschaftlich-Technische Fakultät I - Mathematik und Informatik - der Universität des Saarlandes, 29. Juni 2001.

Patrick Cousot. Abstract Interpretation and Static Analysis. 40th Meeting of the IFIP Working Group 10.4 on “Dependable computing and fault tolerance”, Stenungsund, Sweden, 4—8 July, 2001.

Patrick Cousot. Program Static Analysis: A Brief Introduction with Applications to the Internet. Closing keynote of the Second International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet, SSGRR 2001, L'Aquila, Roma, Italy, 6—12 August, 2001.

2000

Patrick Cousot. Interprétation abstraite temporelle. IRISA, Projet Compose, Rennes, 11 janvier 2000.

Patrick Cousot. Perspectives pour l'interprétation abstraite. Séminaire « Où, mène l'interprétation abstraite », Salle Dussane, École normale supérieure, Lundi 13 mars 2000.

Patrick Cousot. Partial Completeness of Abstract Fixpoint Checking. ROPAS, National Creative Research Initiatives Center, Dept. of Computer Science, KAIST, Taejon, Republic of Corea, June 12, 2000.

Patrick Cousot. An Overview of Abstract Interpretation and Program Static Analysis. KAIST, Taejon, Republic of Corea, June 16, 2000.

Patrick Cousot. Contribution to the Panel on “Abstractions in AI and Software Engineering”. Fourth International Symposium on Abstraction, Reformulations and Approximation, SARA'2000<, Horseshoe Bay, Texas, USA, 26—29 July 2000.

Patrick Cousot. Progress on Abstract Interpretation Based Formal Methods and Future Challenges.. Conference at the Occasion of Dagstuhl's 10th Anniversary, “Informatics — 10 Years Back, 10 Years Ahead”, Saarland University Campus, Saarbrücken, Germany, August 28—31, 2000.

Patrick Cousot. Interprétation abstraite. « Journées sur la Sûreté des Logiciels » organisées par l'ASPROM et le CRITT-CCST, UIMM, 56, avenue de Wagram, Paris 17e. 24 et 25 Octobre 2000.

Patrick Cousot. Abstract Interpretation Based Static Analysis of Hybrid and Embedded Systems. Meeting on Hybrid and Embedded Systems and Video Conference IST <> NSF/DARPA. Brussels, October 25, 2000.

Patrick Cousot. On Completeness in Abstract Model Checking from the Viewpoint of Abstract Interpretation. Réunion Workshop on Implementations of Logic, Réunion Island, November 11-12, 2000.

1999

Patrick Cousot. Interprétation Abstraite: Fondements et Applications. Séminaire « ANALYSE STATIQUE DE LOGICIELS: du test exhaustif à la vérification automatique » de l'Institut de l'ENS du 28 janvier 1999.

Patrick Cousot and Radhia Cousot. Abstract Interpretation, Temporal Logic and Data Flow Analysis. Dagstuhl Seminar on Program Analysis, Schloss Dagstuhl, Wadern, Germany, 12-16. April 1999.

Patrick Cousot. Interprétation abstraite et analyse statique. Le LIX fête ses 10 ans / LIX ten years celebration, LIX, École polytechnique, Palaiseau, France, 26 mai/May 1999.

Patrick Cousot. Abstraction in abstract interpretation. Workshop on Refinement and Abstraction, ETL Osaka, Japan, Nov 15—17, 1999.

1998

Patrick Cousot. Rule-Based Specifications and their Abstract Interpretation (abstract). 4th Advanced Seminar on Foundations of Declarative Programming, Valencia, Spain, June 15, 1998.

Patrick Cousot. Discrete Fixpoint Approximation Methods in Program Static Analysis. Seventh International Colloquium on Numerical Analysis and Computer Science with Applications, NACSA'98, Plovdiv, Bulgaria, August 13—17, 1998.

Patrick Cousot. Refining Model Checking by Abstract Interpretation. Seminario, Gio. Sep. 24, 1998, Università degli Studi di Udine.

1997

Patrick Cousot. Design of Semantics by Abstract Interpretation. MPI-Kolloquium, dem 2. Juni 1997, Max-Planck-Institut fuer Informatik, Im Stadtwald, Saarbruecken.

Patrick Cousot. A few remarks on the abstraction and equivalence of semantics. IFIP WG 2.3 meeting, Obernai, France, september 26, 1997.

1979

Patrick Cousot and Radhia Cousot. Constructive Versions of Tarski's Fixpoint Theorems and Asynchronous Iterative Methods for Solving a Fixpoint System of Equations in a Chain-Complete Poset. Seminar, MIT, Cambridge, Massachusetts, USA, 25 june 1979, invited by professor C. Hewitt.