Thirteenth ACM SIGPLAN
Göteborg, Sweden, September 5, 2014, 9am - 6pm
Satellite event of
the 19th ACM SIGPLAN
International Conference on Functional Programming (ICFP 2014),
September 1-3, 2014
|09:00 - 09:10||Opening & Welcome|
|09:10 - 10:00||Invited Keynote: "Functional Programming and the 'Megacore' Era"||Kevin Hammond|
|10:00 - 10:30||Coffee Break|
|10:30 - 11:20||CONCURRENCY and PARALLELISM SESSION|
|More Scalable Ordered Set for ETS Using Adaptation||Konstantinos Sagonas and Kjell Winblad|
|Discovering Parallel Pattern Candidates in Erlang||Melinda Tóth, István Bozó, Viktória Fördős, Zoltán Horváth, Dániel Horpácsi, Judit Kőszegi, Tamás Kozsik, Chris Brown, Adam Barwell, Kevin Hammond|
|11:20 – 11:40||Break|
|11:40 – 12:30||TESTING SESSION|
|On Shrinking Randomly Generated Load Tests||Thomas Arts|
|Jsongen: a QuickCheck Based Library for Testing JSON Web Services||Clara Benac Earle, Lars-Ake Fredlund, Angel Herranz and Julio Mariño|
|12:30 – 14:00||Lunch|
|14:00 – 14:50||DISTRIBUTION SESSION|
|Investigating the Scalability Limits of Distributed Erlang||Amir Ghaffari|
|Derflow: Distributed deterministic dataflow programming for Erlang||Manuel Bravo, Zhongmiao Li, Peter Van Roy and Christopher Meiklejohn|
|14:50 – 15:10||Break|
|15:10 – 16:00||RUNTIME SESSION|
|BEAMJIT -- A Just-in-Time Compiling Runtime for Erlang||Frej Drejhammar and Lars Rasmusson|
|Synapse: automatic behaviour inference and implementation comparison||Pablo Lamela Seijas, Ramsay Taylor, Kirill Bogdanov, Simon Thompson and John Derrick|
|Faulterl: precise fault injection for Erlang NIFs and linked-in drivers||Scott Fritchie|
|16:00 – 16:30||Tea break|
|16:30 – 17:00||ERLANG LATEST NEWS||Kenneth Lundin|
|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 15 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 "Erlang2014" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2014.
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.