Tag Archives: Erlang user conference

  • EUC 2014 – Zachary Kessin – Using Logic Programming Tools to Drive Property-based Testing
    2014-08-26 Erlang Central

    Videos



    PBT with tools like QuickCheck and Proper are quite powerful, but building the models to test against is still probably the hardest part. I aim to use a Logic Programming tool (Kanrem or Prolog) to create the model and validate the results. Talk objectives: To show how to use the powerful tools of logic programming and to how to build models to test Erlang code. Target audience: This will appeal to those who really enjoy programming languages and new tools. ...


    Read more


  • EUC 2014 – Laura M. Castro – Erlang as Supporting Technology for teaching Software Architecture
    2014-08-25 Erlang Central

    Videos



    At university, it is usually the case that students are introduced to programming languages to the extent in which they serve a teaching purpose usually related to acquiring some paradigm-bounded programming skills. Thus, they (we) learn to code our first source lines using PASCAL, are introduced to C programming to handle memory and threads, enter the Java world hand-in-hand with UML and object-orientation. However, Erlang is seldom the choice for learning about the declarative paradigm, for wh ...


    Read more


  • EUC 2014 – Wojciech Turek – Agent-based Evolutionary Computing
    2014-08-21 Erlang Central

    Videos



    The Evolutionary Multi-Agent System (eMAS) is a meta-heuristic which combines concepts from evolutionary algorithms and multi-agents systems. It has proven usability and efficiency in many real-life optimization problems. The idea introduces algorithms more similar to biological evolution than classical evolutionary methods. However, existing implementations of the eMAS suffer from limitations imposed by the features of underlying technologies, making it impossible to create fully asynchronous p ...


    Read more


  • EUC 2014 – Marc Sugiyama – Weaving OpenFlow Together with LOOM
    2014-08-20 Erlang Central

    Videos



    LINC and LOOM are an open source OpenFlow software switch and controller. This talk focuses on LOOM, the controller. We'll start with where LOOM fits into the network architecture, the goals of the project, and its design direction. Then we'll dive into the details of how to use the LOOM libraries to write your own OpenFlow controllers. Talk objectives: - Introduce LOOM and the LOOM libraries. Target audience: - Anyone interested in experimenting with the OpenFlow protocol to control ...


    Read more


  • EUC 2014 – Property-based Testing for Non-functional Requirements – Macías López
    2014-08-19 Erlang Central

    Videos



    This talk is a demonstration of how to test your Erlang systems for non-functional (or, as some we rather call them, extra-functional) properties such as responsiveness, using property-based testing. Talk objectives: Property-based testing is an already known testing methodology for the Erlang community, with tools such as QuickCheck and PropEr being highly popular among Erlang developers in the last few years. However, they are commonly used for functional testing... Which are the challenge ...


    Read more


  • EUC 2014 – Fredrik Linder – Real-Time Performance at Massive Scale
    2014-08-18 Erlang Central

    Videos



    Social Applications have been growing at an exponential rate and the nature of engagement and retention required for mobile makes engineering a game for this level of scale a particularly challenging proposition. In this presentation, I will discuss the aspects of Social Gaming 2.0 that present new challenges for massive scalability at real-time speed. I will describe the core architectural components and design principles of Machine Zone's real-time Platform which can be used to address these c ...


    Read more


  • EUC 2014 – Andreas Löscher, Kostis Sagonas – A Nifty Tool to Call Hell from Heaven
    2014-08-12 Erlang Central

    Videos



    The Erlang/OTP system, for better or worse, comes with a native interface that allows execution of C code in Erlang applications in the form of NIFs. However, the translation of C data structures to Erlang ones and vice versa has to be implemented manually. Nifty is an automatic Erlang Native Interface generator that connects Erlang with an existing C library and allows calling its functions. The talk will show how using nifty one can build Erlang modules from regular C header files automaticall ...


    Read more


  • EUC 2014 – Richard Croucher – Go Big
    2014-08-11 Erlang Central

    Videos



    With over an Exabyte of new data created daily on the Internet, wouldn't it be great if we could utilize Erlang to make sense of it? Erlang has great concurrency and built in MapReduce should this be a better fit than Hadoop? Unfortunately, today Erlang doesn't scale well enough and it doesn't have the I/O handling capabilities to match what the Hadoop and Grid computing communities can achieve. We'll talk about how they scale to thousands of servers in a cluster and handle gigabytes of I/O ...


    Read more


  • EUC 2014 – Malcolm Matalka – NoDB: A Database For Lightspeed
    2014-08-08 Erlang Central

    Videos



    While strong consistency has its strengths, it just doesn't cut it for starships replicating their databases while traveling near the speed of light, here latencies can be astronomical. NoDB is a database overlay that allows synchronization between multiple systems which assumes latencies can be large and the order of operations is undefined. This talk will describe Klarna's experience using eventual consistency with a focus on how to go from a strongly consistent database to a hybrid environmen ...


    Read more


  • EUC 2014 – Tamás Kozsik – Where Shall I Parallelize?
    2014-08-07 Erlang Central

    Videos



    Due to the traditional, sequential view of program execution that many programmers have, code is often written in a style that hinders effective parallelization. This is an obstacle for deploying existing software or components on the multi- and manycore hardware of the near future. By restructuring the code it might be possible to eliminate unnecessary dependencies in the control flow, and thus make the code eligible for parallelization. If we replace certain sequentially designed constructs wi ...


    Read more


  • EUC 2014 – Jesper Louis Andersen – Fuse – Let it Crash & Handle with Grace!
    2014-08-06 Erlang Central

    Videos



    Fuse - Let it Crash & Handle with Grace! Fuse is an Erlang implementation of the Circuit Breaker pattern. It is a small tool which can sit between your Erlang system and dependent systems which exhibit cascading failures. The purpose of fuse is to improve your systems handling of failures with more grace than normal. We present an overview of why and how to use the tool, and we present the internal workings and design considerations. Furthermore we touch on how Erlang Quickcheck was us ...


    Read more


  • 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


  • Page 4 of 11« First...23456...10...Last »