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

1972

Un analyseur syntaxique pour grammaires hors-contexte ascendant selectif et general (in French)

Cousot, P., Nov 1972, Les Techniques de l'Informatique, Grenoble, France. p. 391-405 (Congres AFCET 72, Brochure 1).

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

1976

Static determination of dynamic properties of programs

Cousot, P. & Cousot, R., 1976, Proceedings of the 2nd International Symposium on Programming, Paris, France. Dunod, p. 106-130

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

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

Static determination of dynamic properties of generalized type unions: Mathematical foundations

Cousot, P. & Cousot, R., 1977, ACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina. ACM, p. 77-94 (ACM SIGPLAN Notices; vol. 12, no. 3).

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

Static determination of dynamic properties of generalized type unions

Cousot, P. & Cousot, R., Mar 1 1977, p. 77-94. 18 p.

Research output: Contribution to conferencePaper

Static determination of dynamic properties of generalized type unions

Cousot, P. & Cousot, R., Mar 1 1977, In : ACM SIGPLAN Notices. 12, 3, p. 77-94 18 p.

Research output: Contribution to journalArticle

Static determination of dynamic properties of recursive procedures

Cousot, P. & Cousot, R., 1977, IFIP Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada. Neuhold, E. (ed.). North-Holland Publishing Company, p. 237-277

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

1978

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

Constructive versions of tarski's fixed point theorems

Cousot, P. & Cousot, R., May 1979, In : Pacific Journal of Mathematics. 82, 1, p. 43-57 15 p.

Research output: Contribution to journalArticle

Open Access

Systematic design of program analysis frameworks

Cousot, P. & Cousot, R., 1979, Conference Record of the 6th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), San Antonio, Texas. ACM, p. 269-282 42 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1980

Constructing program invariance proof methods

Cousot, P. & Cousot, R., 1980, International Workshop on Program Construction, Chateau de Bonas, France, Castera-Verduzan, France, September 8-12, 1980. Vol. 13. p. 8-12

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

Semantic analysis of communicating sequential processes

Cousot, P. & Cousot, R., Jul 1980, 7th International Colloquium on Automata, Languages and Programming. de Bakker, J. & van Leeuwen, J. (eds.). Springer, p. 119-133 (LNCS 85).

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

1981

Semantic foundations of program analysis

Cousot, P., 1981, Program flow analysis: Theory and applications. Muchnick, S. & Jones, N. (eds.). Prentice Hall, p. 303-342 Chapter 10

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

1982

Induction principles for proving invariance properties of programs

Cousot, P. & Cousot, R., 1982, Tools & notions for program construction. Neel, D. (ed.). Cambridge University Press, p. 43-119

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

1984

Invariance proof methods and analysis techniques for parallel programs

Cousot, P. & Cousot, R., 1984, Automatic program construction techniques. Biermann, A., Guiho, G. & Kodratoff, Y. (eds.). Macmillan, p. 243-271 Chapter 12

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

1985

'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)

Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French)

Cousot, P. & Cousot, R., 1985, Parallelisme, communication et synchronisation. Verjus, J-P. & Roucairol, G. (eds.). Editions du CNRS, p. 129-149

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

1988
1989

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

1990

Methods and logics for proving programs

Cousot, P., 1990, Formal models and semantics. van Leeuwen, J. (ed.). Elsevier, p. 843-993 Chapter 15. (Handbook of Theoretical Computer Science; vol. B).

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

1991

Comparison of the Galois connection and widening/narrowing approaches to abstract interpretation

Cousot, P. & Cousot, R., Oct 1991, Actes JTASPEFL '91, Bordeaux, France. BIGRE. Billaud, M., Casteran, P., Corsini, M-M., Musumbu, K. & Rauzy, A. (eds.). Rennes, France: IRISA, Vol. 74. p. 107-110

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

Premieres lecons de programmation en Turbo Pascal (in French)

Cousot, L., Cousot, P., Cousot, R. & Cousot, T., 1991, Paris, France: McGraw-Hill. 297 p.

Research output: Book/ReportBook

Relational abstract interpretation of higher-order functional programs

Cousot, P. & Cousot, R., Oct 1991, Actes JTASPEFL '91, Bordeaux, France. BIGRE. Billaud, M., Casteran, P., Corsini, M-M., Musumbu, K. & Rauzy, A. (eds.). Rennes, France: IRISA, Vol. 74. p. 33-36

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

1992

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 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

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

Comparing the galois connection and widening/narrowing approaches to abstract interpretation

Cousot, P. & Cousot, R., 1992, Programming Language Implementation and Logic Programming - 4th International Symposium, PLILP 1992, Proceedings. Bruynooghe, M. & Wirsing, M. (eds.). Springer Verlag, p. 269-295 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 631 LNCS).

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

Inductive definitions, semantics and abstract interpretation

Cousot, P. & Cousot, R., 1992, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Anon (ed.). Publ by ACM, p. 83-94 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

1993

"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

Foreword

Cousot, P., Falaschi, M., Filè, G. & Rauzy, A., 1993, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 724 LNCS

Research output: Contribution to journalEditorial

Galois connection based abstract interpretations for strictness analysis

Cousot, P. & Cousot, R., 1993, Formal Methods in Programming and Their Applications - International Conference, Proceedings. Bjorner, D., Broy, M. & Pottosin, I. V. (eds.). Springer Verlag, p. 98-127 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 735 LNCS).

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

Proceedings of the 3rd international workshop on static analysis, WSA '93, Padova, Italy, September 22-24 1993

Cousot, P. (ed.), Falaschi, M. (ed.), File, G. (ed.) & Rauzy, A. (ed.), 1993, Springer. 293 p. (LNCS 724)

Research output: Book/ReportBook

1994

Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages)

Cousot, P. & Cousot, R., 1994, IEEE International Conference on Computer Languages. Publ by IEEE, p. 95-112 18 p. (IEEE International Conference on Computer Languages).

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

1995

Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form

Cousot, P. & Cousot, R., 1995, Computer Aided Verification - 7th International Conference, CAV 1995, Proceedings. Wolper, P. (ed.). Springer Verlag, p. 293-308 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 939).

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

Formal language, grammar and set-constraint-based program analysis by abstract interpretation

Cousot, P. & Cousot, R., 1995, p. 170-181. 12 p.

Research output: Contribution to conferencePaper

1996

Abstract interpretation

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

Research output: Contribution to journalArticle

Program analysis: The abstract interpretation perspective

Cousot, P., Dec 1996, In : ACM Computing Surveys. 28A, 4es, p. 165-es

Research output: Contribution to journalArticle

Program Analysis: The Abstract Interpretation Perspective

Cousot, P., Dec 1 1996, In : ACM Computing Surveys. 28, 4, p. 1-5 5 p.

Research output: Contribution to journalArticle

1997

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 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