List of Talks


Program Verification by Abstract Interpretation

A quick introduction to abstract interpretation

Sharing Ghost Variables in a Collection of Abstract Domains


Verification of Programs by Abstract Interpretation

Abstract interpretation: how to trick computers to make proofs

Proving the Security of an Embedded Operating System Using Abstract Interpretation

Low-level source code is hard