Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Sun 23 Aug 2020 11:30 - 12:00 at Erlang - Session 2 Chair(s): Annette Bieniusa

The development of new features and approaches in programming languages is a
continuous and never-ending task, as languages are ultimately tools for
expressing and solving problems. The past decade has seen a surge in languages
implemented for the BEAM as part of a search to combine the fault-tolerance and
scalability of the BEAM with a set of desired language features.

In this paper we present Clojerl, an implementation of the Clojure language with
a rich set of data processing capabilities and the expressive power of Lisp for
the BEAM. The main design principles of Clojerl are to provide (1) seamless
interoperability with the BEAM to enable frictionless interaction with other
BEAM languages and (2) portability with Clojure to enable existing Clojure code
to run on the BEAM with little or no modifications. We evaluate Clojerl by
running a set of experiments that analyse the performance of eight most widely
used expressions. While the results of complex expressions show that Clojerl
requires further optimisations, Clojerl significantly outperforms Clojure in a
set of basic expressions, confirming that Clojerl has the potential to provide a
competitive performance while offering a rich set of programming language
features.

Sun 23 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: Session 2Erlang at Erlang
Chair(s): Annette BieniusaTechnische Universität Kaiserslautern
10:30 - 11:00
Full-paper
Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
Erlang
Simon ThompsonUniversity of Kent, Dániel HorpácsiEötvös Loránd University, Péter BereczkyEötvös Loránd University
DOI
11:00 - 11:30
Full-paper
Secure Design and Verification of Erlang Systems
Erlang
Viktória FördősCisco Systems
DOI
11:30 - 12:00
Full-paper
Clojerl: The Expressive Power of Clojure on the BEAM
Erlang
Juan Facorro, Natalia ChechinaBournemouth University
DOI