UP
|
HOME
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