Tag Archives: Dialyzer

  • Parallel Erlang – Speed beyond Concurrency
    2013-06-13 Erlang Central

    Videos



    One of the highlighted features of Erlang/OTP R15B02, released on September 2012, was a parallel version of Dialyzer, the standard static analysis tool for Erlang developers, which is now shown to scale almost linearly at least up to twelve cores. Together with other improvements also included in that release, the parallel Dialyzer is able to analyze the entire Erlang/OTP codebase in just 6 minutes. In this talk I will describe the patterns that were used to parallelize this sequential tool and ...


    Read more


  • Tutorial: How to start using Dialyzer in your project
    2011-10-31 Erlang Central

    Presentations

    Dialyzer is a static analysis tool that identifies software discrepancies such as definite type errors, code which has become dead or unreachable due to some programming error, unnecessary tests, etc. in single Erlang modules, applications or whole systems. Even though it is one of the oldest tools available to Erlang developers, it lacks a proper user manual since its release, due to the self-explanatory nature of its warnings. This talk presents a small practical guide to the tool, asse ...


    Read more


  • Lessons learned – how we use Erlang to analyze millions of messages per day
    2011-09-25 Erlang Central

    Presentations

    At Semiocast, a start-up founded in 2009, we use Erlang since day one to fetch and process millions of tweets and social media conversations. In this talk, we will present lessons we have learned in terms of code deployment, architectural design, Erlang technologies used and integration with native code. In particular, we will cover how we use OTP and code change, the various kinds of drivers (NIF, Linked-In, External, C-node), our usage of HiPE and dialyzer, and a few things we wish we k ...


    Read more