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

Filter
Conference contribution
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

1977

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

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

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

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

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

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

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

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

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

Logical and operational methods in the analysis of programs and systems

Nielson, F., Cousot, P., Dam, M., Degano, P., Jouvelot, P., Mycroft, A. & Thomsen, B., 1997, Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers. p. 1-21 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1192 LNCS).

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

Parallel combination of abstract interpretation and model-based automatic analysis of software

Cousot, P. & Cousot, R., Jan 1997, Proceedings of the 1st ACM SIGPLAN Workshop on Automatic Analysis of Software, AAS '97, Paris, France. Cleaveland, R. & Jackson, D. (eds.). ACM, p. 91-98

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

2000

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

Partial completeness of abstract fixpoint checking

Cousot, P., 2000, Proceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation, SARA '2000, Horseshoe Bay, Texas, USA, July 26-29 2000. Choueiry, B. & Walsh, T. (eds.). Springer, p. 1-25 (Lecture Notes in Artificial Intelligence 1864).

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

2001

Compositional separate modular static analysis of programs by abstract interpretation

Cousot, P. & Cousot, R., 2001, Proceedings of the 2nd International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet, l'Aquila, Italy, August 6-12 2001. Scuola Superiore G. Reiss Romoli, (SSGRR 2001 Compact Disk).

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

Design of syntactic program transformations by abstract interpretation of semantic transformations

Cousot, P., 2001, Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Codognet, P. (ed.). Springer Verlag, p. 4-5 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2237).

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

Verification of embedded software: Problems and perspectives

Cousot, P. & Cousot, R., 2001, Embedded Software - 1st International Workshop, EMSOFT 2001, Proceedings. Henzinger, T. A. & Kirsch, C. M. (eds.). Springer Verlag, p. 97-113 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2211).

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

2002

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

Modular static program analysis

Cousot, P. & Cousot, R., 2002, Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. Nigel Horspool, R. (ed.). Springer Verlag, p. 159-179 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2304).

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

On abstraction in software verification

Cousot, P. & Cousot, R., 2002, Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. Brinksma, E. & Larsen, K. G. (eds.). Springer Verlag, p. 37-56 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2404).

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

2003

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

2004

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

2005

Integrating physical systems in the static analysis of embedded control software

Cousot, P., 2005, Programming Languages and Systems - Third Asian Symposium, APLAS 2005, Proceedings. p. 135-138 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3780 LNCS).

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

2007

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

Fixpoint-guided abstraction refinements

Cousot, P., Ganty, P. & Raskin, J. F., 2007, Static Analysis - 14th International Symposium, SAS 2007, Proceedings. Springer Verlag, p. 333-348 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4634 LNCS).

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

Grammar analysis and parsing by abstract interpretation

Cousot, P. & Cousot, R., 2007, Program Analysis and Compilation, Theory and Practice - Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Springer Verlag, p. 175-200 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4444 LNCS).

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

Proving the absence of run-time errors in safety-critical avionics code

Cousot, P., 2007, EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software. p. 7-9 3 p. (EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software).

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

The rôle of abstract interpretation in formal methods

Cousot, P., 2007, Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007. p. 135-137 3 p. 4343930. (Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007).

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

Varieties of static analyzers: A comparison with ASTRÉE

Cousot, P., Cousot, R., Feret, J., Miné, A., Mauborgne, L., Monniaux, D. & Rival, X., 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07. p. 3-17 15 p. 4239943. (First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07).

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

2008

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

The verification grand challenge and abstract interpretation

Cousot, P., 2008, Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. p. 189-201 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4171 LNCS).

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

2009

Interval polyhedra: An abstract domain to infer interval linear relationships

Chen, L., Miné, A., Wang, J. & Cousot, P., 2009, Static Analysis - 16th International Symposium, SAS 2009, Proceedings. p. 309-325 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5673 LNCS).

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

Space software validation using abstract interpretation

Bouissou, O., Conquet, E., Cousot, P., Cousot, R., Feret, J., Ghorbal, K., Goubault, E., Lesens, D., Mauborgne, L., Miné, A., Putot, S., Rival, X. & Turin, M., 2009, Proceedings of DASIA 2009 Conference on DAta Systems In Aerospace. (European Space Agency, (Special Publication) ESA SP; vol. 669 SP).

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

2010

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

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

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

Static analysis and verification of aerospace software by abstract interpretation

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A. & Rival, X., 2010, AIAA Infotech at Aerospace 2010. American Institute of Aeronautics and Astronautics Inc., 2010-3385. (AIAA Infotech at Aerospace 2010).

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

Static analysis by abstract interpretation of embedded critical software

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A. & Rival, X., 2010, Third IEEE International Workshop UML and Formal Methods, Shanghai, China, November 16 2010. IEEE

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

2011

Linear absolute value relation analysis

Chen, L., Miné, A., Wang, J. & Cousot, P., 2011, Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 156-175 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6602 LNCS).

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

Precondition inference from intermittent assertions and application to contracts on collections

Cousot, P., Cousot, R. & Logozzo, F., 2011, Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Proceedings. p. 150-168 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6538 LNCS).

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