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.