Fourteenth ACM SIGPLAN
Vancouver, British Columbia, Canada, September 4, 2015
Satellite event of
the 20th ACM SIGPLAN
International Conference on Functional Programming (ICFP 2015),
August 31 - September 2, 2015
|09:00 - 09:10||Opening & Welcome|
|09:10 - 10:00||Invited Keynote: "Micro services in Erlang"||Eric Merritt|
|10:00 - 10:30||Coffee Break|
|10:30 - 11:30||SCALABILITY and DISTRIBUTION SESSION|
|The Implementation and Use of a Generic Dataflow Behaviour in Erlang||Christopher Meiklejohn and Peter Van Roy|
|Performance Portability through Semi-explicit Placement in Distributed Erlang||Kenneth MacKenzie, Natalia Chechina and Phil Trinder|
|11:30 – 11:50||Break|
|11:50 – 12:20||TESTING SESSION, part 1|
|Attribute Grammars in Erlang||Ulf Norell and Alex Gerdes|
|12:30 – 14:00||Lunch|
|14:00 – 15:00||TESTING SESSION, part 2|
|Smother - An MC/DC analysis tool for Erlang||Ramsay Taylor and John Derrick|
|Linking Unit Tests and Properties||Alex Gerdes, John Hughes, Nick Smallbone and Meng Wang|
|15:00 – 15:15||Break|
|15:15 – 16:00||"Discussion on Erlang, distribution, parallelism, and concurrency related research projects", part 1|
|16:00 – 16:30||Tea Break|
|16:30 – 17:00||"Discussion on Erlang, distribution, parallelism, and concurrency related research projects", part 2|
|17:00 – 17:20||ERLANG LATEST NEWS||--|
|17:20 – 17:30||Farewell & Closing|
Erlang is a concurrent, distributed functional programming language aimed at systems with requirements of massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for 16 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 types 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, and 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 includes a maximum of 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 "Erlang2015" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2015.
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 they are not accepted as full papers.
The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference.