Patrick Cousot

Silver Professor; Professor of Computer Science

1972 …2017
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the experts' scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 3 Similar Profiles
Abstract Interpretation Mathematics
Semantics Engineering & Materials Science
Static analysis Engineering & Materials Science
Static Analysis Mathematics
Computer programming languages Engineering & Materials Science
Acoustic waves Engineering & Materials Science
Program Analysis Mathematics
Fixpoint Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1972 2017

Finding All Potential Run-Time Errors and Data Races in Automotive Software

Kaestner, D., Miné, A., Schmidt, A., Hille, H., Mauborgne, L., Wilhelm, S., Rival, X., Feret, J., Cousot, P. & Ferdinand, C. Mar 28 2017 In : SAE Technical Papers. 2017-March, March

Research output: Contribution to journalArticle

Embedded software
Experiments

Ogre and pythia: An invariance proof method for weak consistency models

Alglave, J. & Cousot, P. Jan 1 2017 POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Association for Computing Machinery, Vol. Part F125683, p. 3-18 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Invariance
Semantics
Specifications

A binary decision tree abstract domain functor

Chen, J. & Cousot, P. 2015 Static Analysis- 22nd International Symposium, SAS 2015, Proceedings. Springer Verlag, Vol. 9291, p. 36-53 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9291)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decision trees
Decision tree
Functor
Binary
Leaves

Abstracting induction by extrapolation and interpolation

Cousot, P. 2015 Verification, Model Checking and Abstract Interpretation - 16th International Conference, VMCAI 2015, Proceedings. Springer Verlag, Vol. 8931, p. 19-42 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8931)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Extrapolation
Proof by induction
Interpolation
Static analysis
Static Analysis

On Various Abstract Understandings of Abstract Interpretation

Cousot, P. Oct 26 2015 Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 2-3 2 p. 7307726

Research output: Chapter in Book/Report/Conference proceedingConference contribution