Selected Publications
Papers
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.
Elixir: Scalable and Efficient Application Development
Video course developed using the text of Learning Elixir.