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