CALL FOR PAPERS

Eleventh ACM SIGPLAN Erlang Workshop

Copenhagen, Denmark
Friday, September 14, 2012

A satellite event of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012).

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 over a decade, 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, databases, and computer telephony and messaging.

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.

We invite three sorts of submissions.

  • Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). The maximum length for technical papers is restricted to 12 pages.
  • Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages. Note that this is a maximum length: we welcome shorter papers also; the program committee will evaluate all papers on an equal basis independent of their lengths.
  • Poster presentations describing topics related to the workshop goals. Each of them includes max 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time.

    Workshop Chair

    Program Chair

    Program Committee

    (Note: the Workshop and Program Chairs are also committee members)

    Important Dates

    Instructions to authors

    Papers must be submitted online via EasyChair (via the "Erlang2012" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2012.

    Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines.

    Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library.

    Paper submissions will be considered for poster submission in the case that they are not accepted as full papers.

    Venue & Registration Details

    For registration, please see the ICFP 2012 web site.

    Programme

    Keynote Session chair: Scott Lystig Fritchie (Basho Technologies)
    0900 Keynote speaker: Kresten Krab Thorup (Trifork A/S)
    Session 1 Intelligent Agents. Session Chair: Erik Stenman (Klarna AB)
    1000 Erlang as an Implementation Platform for BDI Languages
    Alvaro Fernandez Díaz, Clara Benac Earle and Lars-Åke Fredlund.
    Session 2 Implementation. Session Chair: Kenneth Lundin (Ericsson AB)
    1100 On Preserving Term Sharing in the Erlang Virtual Machine
    Nikolaos Papaspyrou and Konstantinos Sagonas
    1130 ErLLVM: An LLVM Backend for Erlang
    Kostis Sagonas, Chris Stavrakakis and Yiannis Tsiouris.
    1200 A Scalability Benchmark Suite for Erlang/OTP
    Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris and Ioannis Venetis.
    Session 3 Distribution. Session Chair: Steve Vinoski (Basho Technologies)
    1400 Distributed Computation on Dynamo-style Distributed Storage: Riak Pipe
    Bryan Fink.
    1430 Failover and takeover contingency mechanisms for netsplits and node fall down
    Macías López, Laura M. Castro and David Cabrero
    Session 4 Poster session. Session Chair: Tamas Kozsik (ELTE)
    1500 Co-ops: Concurrent Algorithmic Skeletons for Erlang
    Jay Nelson
    1500 Towards Automatic Actor Pinning on Multi-Core Architectures
    Emilio Francesquini, Alfredo Goldman and Jean-François Méhaut.
    1500 ooErlang: Another Object Oriented Extension to Erlang
    Jucimar Silva Jr and Rafael Lins
    Session 5 Randomness and Random Testing
    Session Chair: Kostis Sagonas (Uppsala University)
    1600 TinyMT Pseudo Random Number Generator for Erlang
    Kenji Rikitake
    1630 Concurrent Property-based Testing: From Prototype to Final Implementation
    Joseph Blomstedt
    Session 6
    1700     		Panel discussion: Scaling Erlang to 1000s of cores
    Jay Nelson, DuoMark International
    Patrik Nyblom, Ericsson AB
    Kostis Sagonas, Uppsala University

    Related Links