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 Weighted list of dominant concepts in the person's research.

  • 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