Patrick Cousot

Abstract interpretation on Wikipedia (.bib)

Biography (wikipedia)

Publications (with slides of conferences)

Slides of talks