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
Article: icfpws24erlangforeword-fm000-p doi:
Welcome from the Chairs
Article: icfpws24erlangforeword-fm001-p doi:

Keynote

Environmentally Sustainable Software and Data Architectures (Keynote)
Madeleine Malmsten
(Unaffiliated, Germany)
Publisher's Version Article: icfpws24erlangmain-key1-p doi:10.1145/3677995.3689456

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 Article: icfpws24erlangmain-p1-p doi:10.1145/3677995.3678189
Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations
Marian Hristov and Annette Bieniusa
(University of Kaiserslautern-Landau, Germany)
Publisher's Version Info Article: icfpws24erlangmain-p12-p doi:10.1145/3677995.3678190
Nominal Types for Erlang
Isabell Huang, John Högberg, Kiko Fernandez-Reyes, and Tobias Wrigstad
(Ericsson, Sweden; Uppsala University, Sweden)
Publisher's Version Article: icfpws24erlangmain-p16-p doi:10.1145/3677995.3678191
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 Article: icfpws24erlangmain-p22-p doi:10.1145/3677995.3678192
Modeling Erlang Compiler IR as SMT Formulas
John Högberg
(Ericsson, Sweden)
Publisher's Version Article: icfpws24erlangmain-p24-p doi:10.1145/3677995.3678193
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 Article: icfpws24erlangmain-p50-p doi:10.1145/3677995.3678194
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 Article: icfpws24erlangmain-p62-p doi:10.1145/3677995.3678195
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 Article: icfpws24erlangmain-p77-p doi:10.1145/3677995.3678196
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 Article: icfpws24erlangmain-p79-p doi:10.1145/3677995.3678197
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 Article: icfpws24erlangmain-p88n-p doi:10.1145/3677995.3680402

proc time: 0.02