Tenth ACM SIGPLAN
Tokyo, Japan, September 23, 2011
Satellite event of
the 16th ACM SIGPLAN
International Conference on Functional Programming,
September 19-21, 2011
(Photo credit: Joi Ito)
(Last updated: 20-SEP-2011)
Date: Friday, September 23, 2011
(25 minutes assigned for each session talk, including Q&A)
Chair: Kenji Rikitake (Kyoto University, Japan)
Chair: Erik Stenman (Klarna AB, Sweden)
Title: A Decade of Yaws
Speaker: Steve Vinoski (Basho Technologies, USA)
10:30-11:45 Session 1: Language Extensions
Chair: Simon Thompson (University of Kent, UK)
Title: Erlang ETS Tables and Software Transactional Memory
Author: Patrik Nyblom (Ericsson AB, Sweden)
Title: Accelerating Race Condition Detection through Procrastination
Authors: Thomas Arts, John Hughes, Ulf Norrel, Nicholas Smallbone, Hans Svensson (Chalmers University of Technology, Sweden)
Title: Typed Callbacks for More Robust Behaviours
Authors: Stavros Aronis, Konstantinos Sagonas (National Technical University of Athens, Greece / Uppsala University, Sweden)
13:30-14:45 Session 2: Testing and Development
Chair: John Hughes (Chalmers University of Technology / Quviq AB, Sweden)
Title: Model-based Testing of Data Types with Side Effects
Authors: Thomas Arts (Chalmers University of Technology / Quvik AB, Sweden), Laura M. Castro (University of A Coruña, Spain)
Title: A PropEr Integration of Types and Function Specifications with Property-Based Testing
Authors: Manolis Papadakis, Konstatinos Sagonas (National Technical University of Athens, Greece / Uppsala University, Sweden)
Title: Test-driven Development of Concurrent Programs using Concuerror
Authors: Alkis Gotovos, Maria Christakis, Konstantinos Sagonas (National Technical University of Athens, Greece / Uppsala University, Sweden)
14:45-15:30 Poster Session / Tea Break (45 minutes)
Title: Implementation of Sequence BDDs in Erlang
Authors: Shuhei Denzumi, Hiroki Arimura (Hokkaido University, Japan), Shin-Ichi Minato (Hokkaido University / JST ERATO, Japan)
Title: Interfacing Dynamically Typed Languages and Why: Reasoning about Lists and Tuples
Authors: Cláudio Amaral (Chalmers University of Technology, Sweden / University of Porto, Portugal), Mário Florido (University of Porto, Portugal), Patrik Jansson (Chalmers University of Technology, Sweden)
Title: Modeling Growth and Dynamics of Neural Networks via Message Passing in Erlang
Authors: Trevor Bain, Partick Campbell, Jonas Karlsson (University of Minnesota, USA)
15:30-16:20 Session 3: Testing with QuickCheck
Chair: Konstantinos Sagonas (National Technical University of Athens, Greece / Uppsala University, Sweden)
Title: Extracting QuickCheck Specifications from EUnit Test Cases
Authors: Thomas Arts (Chalmers University of Technology / Quviq AB, Sweden), Pablo Lamela Seijas (Chalmers University of Technology, Sweden), Simon Thompson (University of Kent, UK)
Title: Testing A Database for Race Conditions with Quickcheck
Authors: John Hughes (Chalmers University of Technology / Quviq AB, Sweden), Hans Bolinder (Ericsson AB, Sweden)
16:35-17:25 Session 4: Implementation and Practice
Chair: Scott Lystig Fritchie (Basho Technologies, USA)
Title: SFMT Pseudo Random Number Generator for Erlang
Author: Kenji Rikitake (Kyoto University, Japan)
Title: Disco: A Computing Platform for Large-scale Data Analytics
Authors: Prashanth Mundkur, Ville Tuulos, Jared Flatow (Nokia, USA)
17:25-17:35 Lightning talks / What's new on Erlang (TBD)
Chair: Kenji Rikitake (Kyoto University, Japan)
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 10 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, 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 6 pages. Papers in this category may be allocated less time for their talk and instead be given the opportunity for the poster presentations during the workshop.
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.
(Note: the Workshop and Program Chairs are also committee members)
Papers must be submitted online via EasyChair (via the "Erlang2011" event).
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.