Patrick Cousot

Silver Professor; Professor of Computer Science

1972 …2018

Research output per year

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

Fingerprint Weighted list of dominant concepts in the researcher's publications (titles and abstracts).

  • 2 Similar Profiles

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

Research Output

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

  • 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

  • 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

  • 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

  • Abstracting induction by extrapolation and interpolation

    Cousot, P., Jan 1 2015, Verification, Model Checking and Abstract Interpretation - 16th International Conference, VMCAI 2015, Proceedings. D’Souza, D., Lal, A. & Larsen, K. G. (eds.). Springer Verlag, 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