30 years ago, in March 1978,
Patrick Cousot defended his Docteur es Sciences Mathématiques
thesis, which together with the pioneering paper appeared in POPL'77 and
POPL'79 jointly with Radhia Cousot, started the era of abstract
interpretation.
30YAI celebrates this event by inviting some of the most representative scientists in the field, showing the relevance,
perspectives and challenges of abstract interpretation in programming
languages and systems.
Abstract
interpretation is a theory of sound approximation of mathematical
structures, in particular those involved in the behavior of computer
systems. It allows the systematic derivation of sound methods and algorithms for approximating undecidable or highly complex problems in
various areas of computer science like for instance in static program analysis, system verification, model
checking, program transformation, process calculi, security, software
watermarking, type inference, theorem proving, constraint solving,
parsing and comparative semantics, systems biology.