Tag Archives: Stavros Aronis

  • EUC 2014 – Stavros Aronis – Concuerror: Into Real Code
    2014-08-05 Erlang Central

    Videos



    Debugging race conditions in concurrent programs is sometimes a sad story. There is lament about how difficult it is to reproduce the bug, a lot of guessing about the causes and maybe even some proposed fixes that "may or may not completely solve the problem". Concuerror is a tool whose vision is to make the process of isolating such problems easy: simply specify the entry point of your test and let the tool automatically instrument all the code and explore all interleavings of the processes, fo ...


    Read more


  • 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