Patrick Cousot

Silver Professor; Professor of Computer Science

1972 …2020

Research output per year

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

Research Output

A binary decision tree abstract domain functor

Chen, J. & Cousot, P., 2015, Static Analysis- 22nd International Symposium, SAS 2015, Proceedings. Blazy, S. & Jensen, T. (eds.). Springer Verlag, 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., 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

Abstract interpretation

Cousot, P., Jun 1996, In : ACM Computing Surveys. 28, 2, p. 324-328 5 p.

Research output: Contribution to journalArticle

Abstract interpretation: Theory and practice

Cousot, P., 2002, Model Checking Software - 9th International SPIN Workshop, Proceedings. Bosnacki, D. & Leue, S. (eds.). Springer Verlag, p. 2-5 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2318).

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

Abstract interpretation: Achievements and perspectives

Cousot, P., 2000, Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli, (Compact Disk Paper 224 and Electronic Proceedings).

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

Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints

Cousot, P. & Cousot, R., 1977, Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA. ACM, p. 238-252

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

Abstract interpretation: Past, present and future

Cousot, P. & Cousot, R., 2014, Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. Association for Computing Machinery, 2. (Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014).

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

Abstract interpretation and application to logic programs

Cousot, P. & Cousot, R., Jul 1992, In : The Journal of Logic Programming. 13, 2-3, p. 103-179 77 p.

Research output: Contribution to journalArticle

Abstract interpretation based formal methods and future challenges

Cousot, P., 2001, Informatics - 10 years back, 10 years ahead. Wilhelm, R. (ed.). Springer, p. 138-156 (LNCS; vol. 2000).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Abstract interpretation based program testing

Cousot, P. & Cousot, R., 2000, Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli, (Compact Disk Paper 248 and Electronic Proceedings).

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

Abstract interpretation based static analysis parameterized by semantics

Cousot, P., 1997, Static Analysis - 4th International Symposium, SAS 1997. Van Hentenryck, P. (ed.). Springer Verlag, p. 388-394 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1302 LNCS).

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

Abstract interpretation frameworks

Cousot, P. & Cousot, R., Aug 1992, In : Journal of Logic and Computation. 2, 4, p. 511-547 37 p.

Research output: Contribution to journalArticle

Abstract interpretation of algebraic polynomial systems

Cousot, P. & Cousot, R., 1997, Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings. Johnson, M. (ed.). Springer Verlag, p. 138-154 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1349).

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

Abstract interpretation of resolution-based semantics

Cousot, P., Cousot, R. & Giacobazzi, R., Nov 1 2009, In : Theoretical Computer Science. 410, 46, p. 4724-4746 23 p.

Research output: Contribution to journalArticle

Abstract Semantic Dependency

Cousot, P., 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer, p. 389-410 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

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

A case study in abstract interpretation based program transformation: Blocking command elimination

Cousot, P. & Cousot, R., Nov 2001, In : Electronic Notes in Theoretical Computer Science. 45, p. 41-64 24 p.

Research output: Contribution to journalConference article

A Galois connection calculus for abstract interpretation

Cousot, P. & Cousot, R., 2014, POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 3-4 2 p.

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

"A la Burstall" intermittent assertions induction principles for proving inevitability properties of programs

Cousot, P. & Cousot, R., Nov 8 1993, In : Theoretical Computer Science. 120, 1, p. 123-155 33 p.

Research output: Contribution to journalArticle

'A la Floyd' induction principles for proving inevitability properties of programs

Cousot, P. & Cousot, R., 1985, Algebraic methods in semantics. Nivat, M. & Reynolds, J. (eds.). Cambridge University Press, p. 277-312 Chapter 8

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

A language independent proof of the soundness and completeness of generalized Hoare logic

Cousot, P. & Cousot, R., Feb 1989, In : Information and Computation. 80, 2, p. 165-191 27 p.

Research output: Contribution to journalArticle

Algorithmique et programmation en Pascal (cours) (in French)

Cousot, P., 1992, Ellipses. 288 p. (Cours de l'Ecole Polytechnique)

Research output: Book/ReportBook

Algorithmique et programmation en Pascal (exercices et corriges) (in French)

Cousot, P., 1992, Ellipses. 271 p. (Cours de l'Ecole Polytechnique)

Research output: Book/ReportBook

An abstract domain to discover interval linear equalities

Chen, L., Miné, A., Wang, J. & Cousot, P., 2010, Verification, Model Checking, and Abstract Interpretation - 11th International Conference, VMCAI 2010, Proceedings. p. 112-128 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5944 LNCS).

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

An abstract interpretation-based framework for software watermarking

Cousot, P. & Cousot, R., 2004, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 31, p. 173-185 13 p.

Research output: Contribution to journalConference article

An abstract interpretation framework for refactoring with application to extract methods with contracts

Cousot, P., Cousot, R., Logozzo, F. & Barnett, M., Oct 2012, In : ACM SIGPLAN Notices. 47, 10, p. 213-232 20 p.

Research output: Contribution to journalArticle

An abstract interpretation framework for refactoring with application to extract methods with contracts

Cousot, P., Cousot, R., Logozzo, F. & Barnett, M., 2012, SPLASH 2012: OOPSLA'12 - Proceedings of the 2012 ACM International Conference on Object Oriented Programming SystemsLanguages and Applications. p. 213-232 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

An abstract interpretation framework for termination

Cousot, P. & Cousot, R., 2012, POPL'12 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 245-257 13 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

An abstract interpretation framework for termination

Cousot, P. & Cousot, R., Jan 2012, In : ACM SIGPLAN Notices. 47, 1, p. 245-257 13 p.

Research output: Contribution to journalArticle

Andromeda: Accurate and scalable security analysis of web applications

Tripp, O., Pistoia, M., Cousot, P., Cousot, R. & Guarnieri, S., 2013, Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proceedings. p. 210-225 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7793 LNCS).

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

A parametric segmentation functor for fully automatic and scalable array content analysis

Cousot, P., Cousot, R. & Logozzo, F., Jan 2011, In : ACM SIGPLAN Notices. 46, 1, p. 105-118 14 p.

Research output: Contribution to journalArticle

A Parametric segmentation functor for fully automatic and scalable array content analysis

Cousot, P., Cousot, R. & Logozzo, F., 2010, POPL'11 - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 105-118 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

A scalable introduction to formal verification of computer systems by abstract interpretation

Cousot, P. & Cousot, R., 2010, Logics and languages for reliability and security. Esparza, J., Spanfelner, B. & Grumberg, O. (eds.). IOS Press, p. 1-29 (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 25).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

A scalable segmented decision tree abstract domain

Cousot, P., Cousot, R. & Mauborgne, L., 2010, Time for Verification - Essays in Memory of Amir Pnueli. Manna, Z. & Peled, D. A. (eds.). p. 72-95 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6200 LNCS).

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

A semantic integrated development environment

Logozzo, F., Barnett, M., Fandrich, M., Cousot, P. & Cousot, R., 2012, SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity. p. 15-16 2 p. (SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity).

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

A sound floating-point polyhedra abstract domain

Chen, L., Miné, A. & Cousot, P., 2008, Programming Languages and Systems - 6th Asian Symposium, APLAS 2008, Proceedings. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5356 LNCS).

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

A static analyzer for large safety-critical software

Blanchet, B., Mauborgne, L., Cousot, P., Miné, A., Cousot, R., Monniaux, D., Feret, J. & Rival, X., 2003, ACM Sigplan Notices. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). p. 196-207 12 p.

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

ASTREE: Proving the absence of runtime errors

Kastner, D., Wilhelm, S., Nenova, S., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A. & Rival, X., 2010, Embedded real time software and systems (ERTS2 2010), Toulouse, France, May 19-21 2010.

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

Automatic discovery of linear restraints among variables of a program

Cousot, P. & Halbwachs, N., 1978, Conference Record of the 5th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Program Languages (POPL), Tuscon, Arizona. ACM, p. 84-97

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

Automatic inference of necessary preconditions

Cousot, P., Cousot, R., Fähndrich, M. & Logozzo, F., 2013, Verification, Model Checking, and Abstract Interpretation - 14th International Conference, VMCAI 2013, Proceedings. Springer Verlag, p. 128-148 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7737 LNCS).

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

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Cousot, P. & Cousot, R., 1977, ACM Symposium on Artificial Intelligence & Programming Languages, Rochester, NY, USA. ACM, p. 1-12 (ACM SIGPLAN Notices; vol. 12, no. 8).

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

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Cousot, P. & Cousot, R., Aug 1 1977, In : ACM SIGPLAN Notices. 12, 8, p. 1-12 12 p.

Research output: Contribution to journalArticle

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Cousot, P. & Cousot, R., Aug 15 1977, p. 1-12. 12 p.

Research output: Contribution to conferencePaper

Automatic verification by abstract interpretation (invited tutorial)

Cousot, P., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Zuck, L. D., Attie, P. C., Cortesi, A. & Mukhopadhyay, S. (eds.). Springer Verlag, p. 20-24 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2575).

Research output: Chapter in Book/Report/Conference proceedingChapter

Basic concepts of Abstract Interpretation

Cousot, P. & Cousot, R., 2004, Building the Information Society - IFIP 18th World Computer Congress Topical Sessions. Springer New York LLC, p. 359-366 8 p. (IFIP Advances in Information and Communication Technology; vol. 156).

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

Bi-inductive structural semantics

Cousot, P. & Cousot, R., Feb 2009, In : Information and Computation. 207, 2, p. 258-283 26 p.

Research output: Contribution to journalArticle

Bi-inductive Structural Semantics. (Extended Abstract)

Cousot, P. & Cousot, R., Oct 24 2007, In : Electronic Notes in Theoretical Computer Science. 192, 1 SPEC. ISS., p. 29-44 16 p.

Research output: Contribution to journalArticle

Calculational Design of a Regular Model Checker by Abstract Interpretation

Cousot, P., 2019, Theoretical Aspects of Computing – ICTAC 2019 - 16th International Colloquium, Proceedings. Hierons, R. M. & Mosbah, M. (eds.). Springer, p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11884 LNCS).

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

Combination of abstractions in the ASTRÉE static analyzer

Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D. & Rival, X., 2007, Advances in Computer Science - ASIAN 2006: Secure Software and Related Issues - 11th Asian Computing Science Conference, Revised Selected Papers. p. 272-300 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4435 LNCS).

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