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