Selected Publications
Papers
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.