Presentations

  • 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


  • Tutorial: Learning Mocks with Meck
    2011-10-31 Erlang Central

    Presentations

    Meck is a mocking library for Erlang that enables you to easily mock Erlang modules during testing. You can create modules, add functions, specify return values and throw exceptions. You can also look at a history of the calls made to the module, and make assertions based on that history. Meck can be used for any kind of testing, but is particularly useful in unit or component testing where it is sometimes difficult to handle dependencies on external components or libraries. Meck has been used 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: Quickcheck for EUnit
    2011-10-31 Erlang Central

    Presentations

    Writing EUnit tests is more common than writing QuickCheck specifications, although QuickCheck specifications potentially explore far more scenarios than manually written unit tests. In particular for implementations that have side-effects, writing a good set of EUnit tests is often difficult and labour intensive. In this tutorial  we explain a mechanism to extract QuickCheck specifications from EUnit test suites. We use the QSM algorithm to infer state machines from sets of positive and neg ...


    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


  • VoIP applications and the Cloud – Where gen_fsm really shines
    2011-10-31 Erlang Central

    Presentations

    Aptela provides hosted communications services for small business. Our - entirely cloud based - platform includes complex call routing, messaging, web-portals, mobile apps, PSTN/SIP access, and a coffee-grinder attachment. At peak, we handle dozens of calls (and an infinity of HTTP requests) per second. These complex calling services work thanks to the magic of gen_fsm, a behaviour which is frequently overlooked at best, and ignored at worst. In the first part of the talk, I'll describ ...


    Read more


  • Tutorial: Log Analysis with Exago
    2011-10-31 Erlang Central

    Presentations

    As a developer or support engineer you have probably spent enormous energy and time manually analyzing log files, trying to find out what went wrong, when and why. Using Exago, now you can automatically parse and process log files, and check them against an abstract model of the system. In case of failure, it will report the abstract state where the error occurred, and the events that led to the point of failure. In this 60 minute tutorial we will cover, how to: specify relations between log ...


    Read more


  • Tutorial: Easy Cover and EUnit – testing with ErlIde
    2011-10-31 Erlang Central

    Presentations

    EUnit and Cover are popular testing tools used in day to day Erlang software development. They are the text tools that present results in an inflexible way. They also require one to put some effort on configuration prior to use. In this tutorial we will show how to simplify testing and coverage analysis with EUnit and Cover using a graphical plugin integrated into ErlIde, the Eclipse plugin for Erlang developers. Through a few exercises you will become familiar with its capabilities. ...


    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


  • Page 7 of 11« First...56789...Last »

Follow Erlang Central: