Presentations

  • Erlang e-learning: automatic assessment of Erlang code
    2011-10-31 Erlang Central

    Presentations

    The recent growth of the Erlang language and community convinced Erlang Solutions to scale its training offering by developing an Erlang e-learning platform. This has been done in collaboration with the University of Kent though a Knowledge Transfer Partnership, a UK government funded project.The key challenge was to develop a system that delivered at a distance the same high-quality interactive experience that is delivered face-to-face. In this talk we present an innovative, modular tool, which ...


    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


  • 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


  • 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: