Talks and Presentations

Minimally Comparing Relational Abstract Domains

Identifying Mininmal Changes in the Zones Abstract Domain

Introduction to Static Program Analysis with Numerical Abstract Interpretation

Incremental Transitive Closure for Zonal Abstract Domain

Elixir Hot Swapping Code

Git in Reverse