Select Publications
Papers
muRelBench: MicroBenchmarking for Zonotope Domains
Short paper to be presented at the 1st International Conference on Software Engineering and Emerging Technologies.
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.
Elixir: Scalable and Efficient Application Development
Video course developed using the text of Learning Elixir.