ACM SIGPLAN Erlang Workshop 2018, St. Louis, Missouri, United States

Seventeenth ACM SIGPLAN
Erlang Workshop

St. Louis, Missouri, United States, September 29, 2018

Satellite event of
the 23nd ACM SIGPLAN
International Conference on Functional Programming (ICFP 2018),
September 23 - 29, 2018

Venue & Registration Details

For registration, please see the ICFP 2018 web site at: http://icfp18.sigplan.org/

Workshop Schedule

Time	Talk	Author(s)
09:00 – 9:10	Opening & Welcome	Adrian Francalanza
09:10 – 10:00	Invited Keynote: "Distributed Erlang: From Datacenter Applications to Planetary Scale Applications."	Christopher Meiklejohn

10:00 – 10:20	Coffee Break

10:20 – 11:00	Erlang Latest News	Kenneth Lundin

11:00 – 11:20	Coffee Break

11:20 – 11:45	Understanding Formal Specifications through Good Examples	Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, and Meng Wang
11:45 – 12:00	Towards Secure Erlang Systems	Alexandre Jorge Barbosa Rodrigues, and Viktória Fördős

12:00 – 13:30	Lunch

13:30 – 13:55	IDEA: An Immersive Debugger for Actors	Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, and Rupak Majumdar
13:55 – 14:20	Automatic Detection of Core Erlang Message Passing Errors	Joseph Harrison

14:20 – 14:30	Coffee Break

14:30 – 14:55	Modelling Distributed Erlang within a Single Node	Stavros Aronis, Viktória Fördős, and Dániel Szoboszlay
14:55 – 15:10	Modeling Erlang Processes as Petri Nets	Jörgen Brandt and Wolfgang Reisig

15:10 – 15:30	Coffee Break

15:30 – 15:55	Typing the Wild in Erlang	Nachiappan Valliappan and John Hughes
15:55 – 16:10	Farewell & Closing	Adrian Francalanza
TBC	StrangLoop Keynote

Workshop Objectives

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.

We invite three types of submissions.

Technical papers describing interesting contributions either in theoretical work or real world applications. Submission related to Erlang, Elixir, 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.
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.
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 that the above are maximum lengths; we welcome shorter papers also, and the program committee will evaluate all papers on an equal basis independent of their lengths.

Workshop Co-Chairs

Natalia Chechina, Bournemouth University, UK
Adrian Francalanza, University of Malta, Malta

Program Committee

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

Scott Lystig Fritchie, Wallaroo, USA
James S. Larson, Google, USA
Richard Carlsson, Klarna, Sweden
Laura M. Castro, University of A Coruña
Viktória Fördős, Klarna, Sweden
Laura Bocchi, University of Kent, UK
Rumyana Neykova, Imperial College, UK
Roland Kuhn, Actyx, Germany
Rocco De Nicola, IMT Lucca, Italy
Emanuele D’Osulado, Imperial College, UK
Mark Sheldon, Tufts Univesrity, USA
James Fish, Pinterest, USA
Tamás Kozsik, Eötvös Loránd University, Hungary

Important Dates

~~Submission deadline: Fri June 15, 2018~~
Submission deadline: Wed June 20, 2018
Author notification: Fri July 13, 2018
Final submission for the publisher: Sat August 5, 2018
Workshop date: Sat September 29, 2018

Instructions to authors

Papers must be submitted online via EasyChair (via the "Erlang2018" 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 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.

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.