Date of the WorkshopSaturday, 29 September 2018
Venue & Registration Details
For registration, please see the ICFP 2018 web site at: https://conf.researchr.org/home/icfp-2018
The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elixir. Therefore we would like to broaden the scope of the workshop to include systems like those mentioned above.
The workshop will enable participants to familiarize themselves with recent developments on new techniques and tools, novel applications, draw lessons from users’ experiences and identify research problems and common areas relevant to the practice of Erlang, Erlang-like languages, functional programming, distribution, concurrency etc.
Sat 29 Sep Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
|09:00 - 09:10|
|09:10 - 10:00|
|Invited Keynote -- Distributed Erlang: From Datacenter Applications to Planetary Scale Applications|
K: Christopher MeiklejohnCarnegie Mellon University
|10:20 - 11:00|
|Latest News from the OTP Team|
|11:20 - 11:45|
|Understanding Formal Specifications through Good Examples|
A: Alex GerdesUniversity of Gothenburg, Sweden, A: John HughesChalmers University of Technology, Sweden, A: Nicholas SmallboneChalmers University of Technology, Sweden, A: Stefan HanenbergUniversity of Duisburg-Essen, Germany, A: Sebastian IvarssonChalmers University of Technology, Sweden, A: Meng WangUniversity of Bristol, UKDOI
|11:45 - 12:00|
|Towards Secure Erlang Systems|
|13:30 - 13:55|
|iDeA: An Immersive Debugger for Actors|
A: Aman Shankar MathurMPI-SWS, Germany, A: Burcu Kulahcioglu OzkanMPI-SWS, Germany, A: Rupak MajumdarMPI-SWS, GermanyDOI
|13:55 - 14:20|
|Automatic Detection of Core Erlang Message Passing Errors|
A: Joseph HarrisonUniversity of Kent, UKDOI
|14:20 - 14:30|
|10 min Coffee break|
|14:30 - 14:55|
|Modelling Distributed Erlang within a Single Node|
A: Stavros AronisErlang Solutions, Sweden, A: Viktória FördősKlarna Bank, Sweden, A: Dániel SzoboszlayKlarna Bank, SwedenDOI
|14:55 - 15:10|
|Modeling Erlang Processes as Petri Nets|
A: Jörgen BrandtHumboldt-Universität zu Berlin, Germany, A: Wolfgang ReisigHumboldt-Universität zu Berlin, GermanyDOI
|15:30 - 15:55|
|Typing the Wild in Erlang|
A: Nachiappan ValliappanChalmers University of Technology, Sweden, A: John HughesChalmers University of Technology, SwedenDOI
|15:55 - 16:10|
|Farewell & Closing|
Call for Papers
We invite three types of submissions:
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.
Technical papers describing interesting contributions either in theoretical work or real world applications. Submission related to Erlang, Elixir, Scala/Akka, CloudHaskell, Lisp Flavored Erlang, OCaml, and functional programming are welcome and encouraged. Topics of interest include (but are not limited to):
- virtual machine extensions and compilation techniques
- implementations and interfaces of Erlang in/with other languages
- new tools (profilers, tracers, debuggers, testing frameworks etc.)
- language extensions
- formal semantics, correctness and verification
- testing Erlang programs
- program analysis and transformation
- Erlang-like languages and technologies
- functional languages and multi-processing
- concurrency in functional languages
- functional languages and distributed computing
- parallel programming
- pattern based programming
- Erlang in education
The maximum length for technical papers is restricted to 12 pages.
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.
Instructions to authors
Papers must be submitted online via EasyChair (via the “Erlang2017” event). The submission page is https://easychair.org/conferences/?conf=erlang18.
Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines http://sigplan.org/Resources/Author/#acmart-format.
Each submission must adhere to SIGPLAN’s publication 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 submissions 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.
AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.
- ICFP 2018 web site: https://icfp18.sigplan.org/
- Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/
- Open Source Erlang: http://www.erlang.org/
- EasyChair submission site: https://easychair.org/conferences/?conf=erlang18
- ACM template: http://sigplan.org/Resources/Author/#acmart-format
- Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm
- Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/CodeOfConduct/
Submission deadline: Fri June 15, 2018
- Submission deadline: Wed June 20, 2018
- Author notification: Fri July 13, 2018
- Final submission for the publisher: Sat Aug 5, 2018
- Workshop date: Sat, 29 September 2018