Erlang 2024 – Proceedings

23rd ACM SIGPLAN International Workshop on Erlang (Erlang 2024)

Frontmatter

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: 1.95