Eighth ACM SIGPLAN
Erlang Workshop

Edinburgh, Scotland, September 5, 2009
Satellite event of the 14th ACM SIGPLAN International
Conference on Functional Programming, August 31 - September 2 , 2009

Workshop Program

    9:00 - 10:00 Keynote Address
    Session Chair: Clara Benac Earle
    Invited Talk: Jan Lehnardt, CouchDB
    10:00 - 10:30 Coffee break
    10:30 - 12:00 Software Engineering for Erlang
    Session Chair: Kenneth Lundin, Ericsson, Stockholm, Sweden.
    • Cleaning up Erlang code is a dirty job but somebody's gotta do it. Thanassis Avgerinos and Konstantinos Sagonas
    • Automated Module Interface Upgrade. László Lövei
    • Automatic Assessment of Failure Recovery in Erlang Applications. Jan Henry Nystrom

    12:00 - 13:30 Lunch
    13:30 - 15:00 Teaching Erlang and OO extensions
    Session Chair: Zoltán Horváth
    • Teaching Erlang using Robotics and Player/Stage. Sten Grüner and Thomas Lorentsen
    • Development of a Distributed System Applied to Teaching and Learning. Manuel Hernandez et al.
    • ETC: an Object-Oriented Extension to Erlang. András György Békés and Gábor Fehér

    15:00 - 15:30 Coffee break
    15:30 - 17:30 Testing and Model Checking.
    Session Chair: Simon Thompson
    • Implementing an LTL-to-Büchi translator in Erlang. Hans Svensson
    • Model Based Testing of Data Constraints: Testing the Business Logic of a Mnesia Database Application with Quviq QuickCheck. Nicolae Paladi
    • Automatic Testing of TCP/IP Implementations Using Quickcheck. Javier Paris and Thomas Arts
    • Recent Improvements to the McErlang model checker. Clara Benac Earle and Lars-Åke Fredlund

    17:30 Kenneth Lundin on Latest news from the Erlang/OTP team at Ericsson

Erlang is a concurrent, distributed functional programming language aimed at systems with requirements on massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for several years creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, and computer telephony.

Erlang programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve.

This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming.


Workshop Chair
Program Chair
Invited Speaker
  • Jan Lehnardt, CouchDB, Berlin, Germany.
Program Committee
Venue
  • The workshop will take place at the Royal College of Physicians, a historic building in the centre of Edinburgh.
Registration Details
  • For registration, please see the ICFP web site.
Related Links