Recherche sur l'interprétation abstraite /
Research on Abstract Interpretation :

Introduction :    

• Introductions à l'interprétation abstraite sur la toile / Introductions to abstract interpretation on the web

Thèmes de recherche / Research Interests 

Membres de l'équipe / Members of the group

Participation à des projets de recherche et rapports correspondants (projets terminés)/ Participation to research projects and corresponding research reports (terminated projects)

Publications :

• Publications de P. Cousot / Papers of P. Cousot
• Exposés de P. Cousot / Talks of P. Cousot
• Écoles de chercheurs / Summer schools
• Publications des membres de l'équipe (papers of the group members)
• Autres publications (related papers)
• Serveurs bibliographiques / Bibliography Servers :
  • QuadSearch
  • BibFinder
  • CCS Bibliographies
  • DBLP
  • CCS Bibliographies
  • CiteSeer Research Index
  • Google (CiteSeer)
  • ACM
  • CSL
  • CompuScience
  • HP search
  • Hypatia
  • LIDOS
• H-number/H-index (what?)

Most cited authors in Computer Science

Editorial boards and steering committees

Rapport d'activité / Quadriennal activity report

Logiciels d'interprétation abstraite / Abstract Interpretation Software Packages

Industrialisation de l'interprétation abstraite / Industrialization of abstract interpretation

Séminaire "Sémantique et Interprétation Abstraite" / Seminar "Semantics and Abstract Interpretation"

Groupe de travail "Sémantique et Interprétation Abstraite" / Working group "Semantics and Abstract Interpretation"

IFIP Working Group 2.3 (Programming Methodology)

Visites / Visits

Cours d'interprétation abstraite / Abstract interpretation courses

Participation à des jurys de théses et d'habilitation à diriger des recherches / Participation to Ph.D. committees

Distinctions / Honors