Radhia Cousot
Affiliations:- ENS Paris, France
According to our database1,
Radhia Cousot
authored at least 60 papers
between 1977 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on viaf.org
-
on id.loc.gov
-
on di.ens.fr
-
on dl.acm.org
On csauthors.net:
Bibliography
2015
Found. Trends Program. Lang., 2015
2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
Proceedings of the Verification, 2013
Proceedings of the Fundamental Approaches to Software Engineering, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
An abstract interpretation framework for refactoring with application to extract methods with contracts.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012
2011
Theor. Comput. Sci., 2011
ACM SIGSOFT Softw. Eng. Notes, 2011
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
A parametric segmentation functor for fully automatic and scalable array content analysis.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the Foundations of Software Science and Computational Structures, 2011
2010
A gentle introduction to formal verification of computer systems by abstract interpretation.
Proceedings of the Logics and Languages for Reliability and Security, 2010
Proceedings of the Future of Software Engineering., 2010
Proceedings of the Time for Verification, 2010
2009
2008
Proceedings of the Verification, 2008
2007
Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007
2006
Proceedings of the Program Analysis and Compilation, 2006
Proceedings of the Advances in Computer Science, 2006
2005
2004
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004
Proceedings of the Building the Information Society, 2004
2003
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003
2002
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002
Proceedings of the Compiler Construction, 11th International Conference, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002
2001
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination.
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
Proceedings of the Embedded Software, First International Workshop, 2001
2000
1999
1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
1995
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.
Proceedings of the Computer Aided Verification, 1995
1994
Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis.
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994
1993
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs.
Theor. Comput. Sci., 1993
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993
1992
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
Proceedings of the Programming Language Implementation and Logic Programming, 1992
1991
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract).
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
1989
A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic
Inf. Comput., February, 1989
1987
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs.
Acta Informatica, 1987
1980
Proceedings of the Automata, 1980
1979
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979
1977
Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.
Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977
Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977
Static Determination of Dynamic Properties of Recursive Procedures.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977