Thomas Davies

Programming Languages Enthusiast

Tom is a software engineer with experience in the F# and Elm compilers and has recently started working on improving Erlang tooling, with a particular interest in static analysis and fast feedback.

Past Activities

Thomas Davies
Code BEAM Europe 2022
19 May 2022
17.15 - 17.40

Incremental Dialyzer - How we made Dialyzer 3x Faster

Dialyzer is really powerful, but sometimes it can be hard to get the most out of it because the analyses can be quite slow. This talk introduces an incremental mode for Dialyzer that can significantly improve its performance by avoiding redundant work.


Introduce a new "incremental" mode for Dialyzer, and explain how it differs from the classic model of building a PLT and checking it.


Erlang & Elixir users of Dialyzer