´ Analyzer
The ASTREE Patrick Cousot 2 , Radhia Cousot 1,3 , Jerˆ ome Feret 2 , Laurent Mauborgne 2 , 2 Antoine Min´e , David Monniaux 1,2 & Xavier Rival 2

Source URL: www.di.ens.fr

SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma

Source URL: www.lix.polytechnique.fr

• Abstract interpretation
• Software testing
• AbsInt
• Fluctuat
• Astre
• Formal methods
• Radhia Cousot
• Static program analysis
• Patrick Cousot
• Formal verification
• Simulink
• Polyspace

Verification by Abstract Interpretation, Soundness and Abstract Induction Patrick COUSOT Courant Institute of Mathematical Sciences, New York University , cims.nyu.edu/˜pcousot

Source URL: cs.nyu.edu

A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot §

Source URL: www-verimag.imag.fr

• Computing
• Software engineering
• Computer programming
• Abstract interpretation
• Data types
• Functional languages
• Denotational semantics
• Function
• Array data type
• Scala
• Widening
• Data-flow analysis

The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.fr

Source URL: vstte.ethz.ch

[Pell, 1993] Barney Pell. Strategy Generation and Evaluation for Meta GamePlaying. PhD thesis, Computer Laboratory, University of Cambridge, 1993. Forthcoming. [Russell and Wefald, 1992] Stuart Russell and Eric Wefald. D

Source URL: www.barneypell.com

• Computing
• Abstract interpretation
• Prolog
• Model theory
• Patrick Cousot
• Logic programming
• Interpretation
• Abstract object
• Game theory
• Software engineering
• Programming language theory
• Abstraction

cXprop Postpass optimization for TinyOS applications Nathan Cooprider John Regehr

Source URL: www.cs.utah.edu

• Procedural programming languages
• Compiler construction
• Compiler optimizations
• Programming language implementation
• TinyOS
• Patrick Cousot
• NesC
• Abstract interpretation
• Static single assignment form
• Computing
• Software engineering
• Programming language theory

The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.fr

Source URL: www.mit.edu

• Abstract interpretation
• Astrée
• Applied mathematics
• Computer science
• Formal verification
• Patrick Cousot
• Programming language
• Abstraction
• Semantics of programming languages
• Formal methods
• Theoretical computer science
• Logic in computer science

CURRICULUM VITÆ Personal Information ´ ro ˆ me Last Name: FERET First Name: Je

Source URL: www.di.ens.fr

• Face recognition
• Grandes écoles
• FERET
• Programming language theory
• Écoles Normales Supérieures
• École Normale Supérieure
• Static program analysis
• Software engineering
• Artificial intelligence
• Abstract interpretation
• Astrée
• Patrick Cousot

« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology

Source URL: www.mit.edu

• Applied mathematics
• Knowledge
• Abstract interpretation
• Software engineering
• Formal verification
• Software verification
• Software development process
• Computer science
• System
• Science
• Formal methods
• Patrick Cousot