Powered by
23rd ACM SIGPLAN International Workshop on Erlang (Erlang 2024), September 2, 2024,
Milan, Italy
23rd ACM SIGPLAN International Workshop on Erlang (Erlang 2024)
Frontmatter
Title Page
Article: icfpws24erlangforeword-fm000-p doi:
Keynote
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)
@InProceedings{Erlang24p13,
author = {Florian Berger and Albert Schimpf and Annette Bieniusa and Stefan Wehr},
title = {Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3677995.3678189},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p1-p doi:10.1145/3677995.3678189
Nominal Types for Erlang
Isabell Huang,
John Högberg,
Kiko Fernandez-Reyes, and
Tobias Wrigstad
(Ericsson, Sweden; Uppsala University, Sweden)
@InProceedings{Erlang24p37,
author = {Isabell Huang and John Högberg and Kiko Fernandez-Reyes and Tobias Wrigstad},
title = {Nominal Types for Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3677995.3678191},
year = {2024},
}
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)
@InProceedings{Erlang24p49,
author = {Jonah Pears and Laura Bocchi and Raymond Hu},
title = {Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3677995.3678192},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p22-p doi:10.1145/3677995.3678192
Modeling Erlang Compiler IR as SMT Formulas
John Högberg
(Ericsson, Sweden)
@InProceedings{Erlang24p61,
author = {John Högberg},
title = {Modeling Erlang Compiler IR as SMT Formulas},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3677995.3678193},
year = {2024},
}
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)
@InProceedings{Erlang24p73,
author = {Bendegúz Seres and Dániel Horpácsi and Simon Thompson},
title = {Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3677995.3678194},
year = {2024},
}
Publisher's Version
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)
@InProceedings{Erlang24p85,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Clara Benac Earle and Ángel Herranz and Julio Mariño},
title = {Controlled Scheduling of Concurrent Elixir Programs},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3677995.3678195},
year = {2024},
}
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)
@InProceedings{Erlang24p97,
author = {Lee Barney and Adolfo Neto},
title = {Unsafe Impedance: Safe Languages and Safe by Design Software},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {97-96},
doi = {10.1145/3677995.3678196},
year = {2024},
}
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)
@InProceedings{Erlang24p109,
author = {Solaris Li and Phil Trinder and Christophe De Troyer and Mart Lubbers and Adrian Ramsingh},
title = {The Benefits of Tierless Elixir/Potato for Engineering IoT Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3677995.3678197},
year = {2024},
}
Publisher's Version
Article: icfpws24erlangmain-p79-p doi:10.1145/3677995.3678197
proc time: 0.02