Tag Archives: Erlang User Conference – Stockholm 2011

  • 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


  • Tutorial: Automated inference of state machines with Statechum
    2011-10-31 Erlang Central

    Presentations

    Statechum is a general-purpose tool for state machine inference and test generation. It comes with Erlang front-end to make it possible to "learn" state-transition diagrams from Erlang software, using both exported functions and OTP calls. Given a series of traces (such as those obtained from logs), Statechum attempts to infer a state machine compatible with those traces. This amounts to finding out where loops are but is heuristical in nature because there is usually not enough traces to ...


    Read more


  • A Practical Application of Load-Regulation in Erlang
    2011-10-31 Erlang Central

    Videos



    Load-regulation as a layer of defense against failure and mechanism for performance management is not a commonly used technique in modern software development. This talk will explore the application of a load-regulation framework (JOBS) to an Erlang-based datastore (Riak) and discuss the resulting performance and robustness improvements. Critically, we will also demonstrate that adding load-regulation can be done efficiently and without impacting the low-latency requirements of a datastore like ...


    Read more


  • Refactoring and testing ejabberd XMPP server
    2011-10-31 Erlang Central

    Videos



    ejabberd is an open source, scalable, extendible, cross-platform Jabber/XMPP server written in Erlang. During the last few years we have been involved in building and optimizing a number of projects integrating ejabberd server with various subsystems; starting from regular IMs, going through social networks, banking, online gaming and finishing with mobile applications. Basing on that experience we introduced a set of refactorings applied to ejabberd sources, as well as code optimizations ...


    Read more


  • Investigating Hashes/Frames/Structs as a new built-in datatype in Erlang
    2011-10-31 Erlang Central

    Presentations Videos

    During the fall the Erlang/OTP team has prototyped and investigated alternative solutions for the introduction of a new built in datatype with characteristics like Hashmaps, hashes etc. There are several alternative ways to go, for example an efficient implementation of property lists or just a better record datatype. The talk will present the findings so far with a discussion of pros and cons, performance measurements etc. ...


    Read more


  • Organizing Erlang Deployments
    2011-10-31 Erlang Central

    Presentations

    When it comes to deploying Erlang applications deployment, opinions divide. Different solutions exist, of which an overview will be given. A more interesting question is "how can we improve what we have right now?", though. Some new ideas and developments to be presented (in development at the time of writing this abstract)Audience: Erlang developers who are not afraid of Erlang releases and understand their potential.Talk Objective: to give a perspective on how Erlang releases can be organized ...


    Read more


  • Change impact analysis
    2011-10-31 Erlang Central

    Videos



    Program slicing is a well-known technique that utilizes dependency graphs and static program analysis. Our goal is to perform change impact analysis of Erlang programs based on the resulted program slices, that is we want to measure the impact of any change made on the source code: especially we want to select a subset of test cases which must be rerun after the modification. The change can be performed manually by the programmer or using a refactoring tool, such as RefactorErl. However r ...


    Read more


  • Tutorial: QuickCheck Mini
    2011-10-31 Erlang Central

    Presentations

    QuickCheck support property based development. Instead of writing test cases for your applications, you write a one-pager with a QuickCheck property from which hundreds of test cases are generated automatically. QuickCheck simplifies failing cases to a minimal example on a test failure (so that fault diagnosis is quick and easy). QuickCheck enables developers to dramatically improve test coverage, and find obscure errors at an earlier stage, lowering costs and improving quality as a result. I ...


    Read more


  • Tutorial: McErlang
    2011-10-31 Erlang Central

    Presentations

    Developing reliable concurrent software is a hard task given the inherent non-deterministic nature of concurrent systems. A technique which is often used to check that a concurrent program fulfils a set of desirable properties is model checking. In model checking, all the states of a concurrent system are systematically explored. McErlang is a tool which helps finding bugs in concurrent Erlang programs using model checking. In this tutorial we will illustrate the use of McErlang through simp ...


    Read more


  • From 0 to 1,000,000 daily users with Erlang
    2011-10-31 Erlang Central

    Presentations

    This talk wants to sum up the experience about building and maintaining live our first social game server completely written in erlang.The game has been now published and it’s time to think about the results achieved. In this talk we’ll describe details of our architecture, principles that drove its design and considerations about hosting the infrastructure.We’ll go in detail through what worked well and what needs to be improved, all backed by data coming from our live system.Come and fol ...


    Read more


  • Tutorial: Erlang QuickCheck and Java
    2011-10-31 Erlang Central

    Presentations

    In this tutorial we show how Java libraries can be debugged using Erlang QuickCheck. To avoid having to write a lot of boilerplate code when calling Java methods from Erlang, we use a new library implemented on top  of Jinterface. The approach will be illustrated by testing a Java library using a QuickCheck state machine (eqc_statem) specification. ...


    Read more


  • Page 1 of 3123