ICFP Workshops 2024
29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024)
Powered by
Conference Publishing Consulting
23rd ACM SIGPLAN International Workshop on Erlang (Erlang 2024)
,
September 2, 2024
,
Milan, Italy
Erlang 2024 – Proceedings
Contents
-
Abstracts
-
Authors
23rd ACM SIGPLAN International Workshop on Erlang (Erlang 2024)
Frontmatter
Title Page
Welcome from the Chairs
Keynote
Environmentally Sustainable Software and Data Architectures (Keynote)
Madeleine Malmsten
(Unaffiliated, Germany)
Publisher's Version
Papers
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang
Florian Berger
,
Albert Schimpf
,
Annette Bieniusa
, and
Stefan Wehr
(University of Kaiserslautern-Landau, Germany; Offenburg University of Applied Sciences, Germany)
Publisher's Version
Info
Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations
Marian Hristov
and
Annette Bieniusa
(University of Kaiserslautern-Landau, Germany)
Publisher's Version
Info
Nominal Types for Erlang
Isabell Huang
,
John Högberg
,
Kiko Fernandez-Reyes
, and
Tobias Wrigstad
(Ericsson, Sweden; Uppsala University, Sweden)
Publisher's Version
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Jonah Pears
,
Laura Bocchi
, and
Raymond Hu
(University of Kent, United Kingdom; Queen Mary University of London, United Kingdom)
Publisher's Version
Modeling Erlang Compiler IR as SMT Formulas
John Högberg
(Ericsson, Sweden)
Publisher's Version
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects
Bendegúz Seres
,
Dániel Horpácsi
, and
Simon Thompson
(Eötvös Loránd University, Hungary; University of Kent, United Kingdom)
Publisher's Version
Info
Controlled Scheduling of Concurrent Elixir Programs
Luis Eduardo Bueso de Barrio
,
Lars-Åke Fredlund
,
Clara Benac Earle
,
Ángel Herranz
, and
Julio Mariño
(Universidad Politécnica de Madrid, Spain)
Publisher's Version
Unsafe Impedance: Safe Languages and Safe by Design Software
Lee Barney
and
Adolfo Neto
(Brigham Young University-Idaho, USA; Federal University of Technology Paraná, Brazil)
Publisher's Version
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Solaris Li
,
Phil Trinder
,
Christophe De Troyer
,
Mart Lubbers
, and
Adrian Ramsingh
(University of Glasgow, United Kingdom; Vrije Universiteit Brussel, Belgium; Radboud University Nijmegen, Netherlands; Sia Fusion, United Kingdom)
Publisher's Version
Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production
Carla Rodríguez Estévez
and
Laura M. Castro
(Universidade da Coruña, Spain)
Publisher's Version
proc time: 2.2