Patrick Cousot

Silver Professor; Professor of Computer Science

1972 …2018
If you made any changes in Pure, your changes 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
Program Analysis Mathematics
Acoustic waves Engineering & Materials Science
Fixpoint Mathematics

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

Research Output 1972 2018

Program analysis is harder than verification: A computability perspective

Cousot, P., Giacobazzi, R. & Ranzato, F., Jan 1 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer-Verlag, p. 75-95 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10982 LNCS).

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

Program Analysis
Computability
Assertion
Program Verification
Static Analysis

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