Selected Publications


Minimally Comparing Relational Abstract Domains

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

Identifying Minimal Changes in the Zones Abstract Domain

Full paper presented 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.