Sixth ACM SIGPLAN Erlang Workshop


Freiburg, Germany, October 5, 2007

Satellite event of ACM SIGPLAN International Conference on Functional Programming, October 1-3, 2007


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.

Workshop Proceedings
  • Commercial Applications of Multi-core at Ericsson     (ppt)
    H. Nilsson (Ericsson)
  • Extended Process Registry for Erlang     (pdf)
    U. Wiger (Ericsson)
  • A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings     (pdf)
    M. Jiménez (Uppsala University), T. Lindahl (Uppsala University),
    K. Sagonas (Uppsala University)
  • Introducing Records by Refactoring     (pdf)
    L. Lövei (Eötvös Loránd University), Z. Horváth (Eötvös Loránd University),
    T. Kozsik (Eötvös Loránd University), R. Király (Eötvös Loránd University)
  • Towards Hard Real-Time Erlang     (pdf)
    V. Nicosia (University of Catania), C. Santoro (University of Catania)
  • Programming Distributed Erlang Applications: Pitfalls and Recipes     (ppt)
    H. Svensson (Chalmers University of Technology),
    L.-Ĺ. Fredlund (Universidad Politécnica de Madrid)
  • A More Accurate Semantics for Distributed Erlang     (ppt)
    H. Svensson (Chalmers University of Technology),
    L.-Ĺ. Fredlund (Universidad Politécnica de Madrid)
  • Verification of Erlang/OTP Components with the Process Algebra muCRL     (pdf)
    Q. Guo (University of Sheffield), J. Derrick (University of Sheffield)
  • Priority Messaging made Easy     (ppt)
    J. H. Nyström (Erlang Training and Consulting)
  • Optimising TCP/IP Connectivity     (pdf)
    O. Hellström (Erlang Training and Consulting)
  • An Erlang Framework for Autonomous Mobile Robots     (pdf)
    V. Nicosia (University of Catania), C. Santoro (University of Catania)
  • Learning Programming with Erlang     (pdf)
    F. Huch (Christian-Albrechts-University of Kiel)
  • Erlang and OCaml     (pdf)
    U. Wiger (Ericsson)
Workshop Chair
Program Chair
Program Committee
  • Joe Armstrong, Ericsson, Stockholm, Sweden
  • Francesco Cesarini, Erlang Training & Consulting, London, UK
  • Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary
  • John Hughes, Chalmers University of Technology, Gothenburg, Sweden
  • Rex Page, University of Oklahoma, Norman, Oklahoma, USA
  • Mickaël Rémond, Process-one, Paris, France
  • Kostis Sagonas, Uppsala University, Sweden
  • Erik Stenman, Kreditor AB, Stockholm, Sweden
Venue
  • Stadthotel Freiburg, Karlstrasse 7, Freiburg, Germany. Please see the local information web site
Relevant Links