Selected Publications


Minimally Comparing Relational Abstract Domains

Full paper to appear at the 21st International Symposium on Automated Technology for Verification and Analysis.

Identifying Minimal Changes in the Zones Abstract Domain

Full paper to appear at Theoretical Aspects of Software Engineering 2023.

Incremental Transitive Closure for Zonal Abstract Domain

Short paper accepted at NASA Formal Methods 2022.

Books and Such

Learning Elixir

Introductory text into Elixir/OTP Application Development.