List of Talks

2020

Program Verification by Abstract Interpretation

A quick introduction to abstract interpretation

Sharing Ghost Variables in a Collection of Abstract Domains

2019

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

2018