Patrick Cousot
Abstract interpretation
on Wikipedia (
.bib
)
Biography
(
wikipedia
)
Publications (with slides of conferences)
Slides of talks