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 – Preliminary Table of Contents

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs
Committees

Papers

Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang
Florian Berger ORCID logo, Albert Schimpf ORCID logo, Annette Bieniusa ORCID logo, and Stefan Wehr ORCID logo
(University of Kaiserslautern-Landau, Germany; Offenburg University of Applied Sciences, Germany)
Article Search Info
Erla+: Translating TLA+ Models into Executable Actor-Based Implementations
Marian Hristov ORCID logo and Annette Bieniusa ORCID logo
(University of Kaiserslautern-Landau, Germany)
Article Search Info
Nominal Types for Erlang
Isabell Huang ORCID logo, John Högberg ORCID logo, Kiko Fernandez-Reyes ORCID logo, and Tobias Wrigstad ORCID logo
(Ericsson, Sweden; Uppsala University, Sweden)
Article Search
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Jonah Pears ORCID logo, Laura Bocchi ORCID logo, and Raymond HuORCID logo
(University of Kent, United Kingdom; Queen Mary University of London, United Kingdom)
Article Search
Modeling Erlang Compiler IR as SMT Formulas
John Högberg ORCID logo
(Ericsson, Sweden)
Article Search
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects
Bendegúz Seres ORCID logo, Dániel Horpácsi ORCID logo, and Simon Thompson ORCID logo
(Eötvös Loránd University, Hungary; University of Kent, United Kingdom)
Article Search Info
Controlled Scheduling of Concurrent Elixir Programs
Luis Eduardo Bueso de Barrio ORCID logo, Lars-Åke Fredlund ORCID logo, Clara Benac Earle ORCID logo, Ángel Herranz ORCID logo, and Julio Mariño ORCID logo
(Universidad Politécnica de Madrid, Spain)
Article Search
Unsafe Impedance: Safe Languages and Safe by Design Software
Lee BarneyORCID logo and Adolfo Neto ORCID logo
(Brigham Young University-Idaho, USA; Federal University of Technology Paraná, Brazil)
Article Search
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Solaris Li, Phil Trinder ORCID logo, Christophe De Troyer, Mart Lubbers ORCID logo, and Adrian Ramsingh
(University of Glasgow, United Kingdom; Vrije Universiteit Brussel, Belgium; Radboud University Nijmegen, Netherlands; Sia Fusion, n.n.)
Article Search
Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production
Carla Rodríguez Estévez ORCID logo and Laura M. CastroORCID logo
(Universidade da Coruña, Spain)
Article Search

proc time: 3.2