Program - ICFP 2024

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 2 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Welcome & KeynoteErlang at Meeting 4 Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea

09:00 5m Talk		Welcome to the Erlang Workshop Erlang Adriana Laura Voinea , Kiko Fernandez-Reyes Ericsson, Sweden
09:05 55m Keynote		(Keynote) Environmentally sustainable software and data architectures Erlang Madeleine Malmsten
10:00 30m Talk		Unsafe Impedance: safe languages and safe by design software Erlang Lee Barney Brigham Young University-Idaho, Adolfo Neto Federal University of Technology - Paraná Pre-print

11:00 - 12:30	Types & CompilersErlang at Meeting 4

11:00 30m Talk		Same same but different: A Comparative Analysis of Static Type Checkers in Erlang Erlang Florian Berger University of Kaiserslautern-Landau, Albert Schimpf University of Kaiserslautern-Landau, Annette Bieniusa University of Kaiserslautern-Landau, Stefan Wehr Offenburg University of Applied Sciences
11:30 30m Talk		Nominal Types for Erlang Erlang Isabell Huang , John Högberg , Tobias Wrigstad Uppsala University, Kiko Fernandez-Reyes Ericsson, Sweden
12:00 30m Talk		Modeling Erlang Compiler IR as SMT Formulas Erlang John Högberg

14:00 - 15:30	Testing & VerificationErlang at Meeting 4

14:00 30m Talk		Erla+: Translating TLA+ Models into Executable Actor-Based Implementations Erlang Marian Hristov University of Kaiserslautern-Landau, Annette Bieniusa University of Kaiserslautern-Landau DOI
14:30 30m Talk		Controlled Scheduling of Concurrent Elixir Programs Erlang Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Lars-Åke Fredlund Universidad Politécnica de Madrid, Clara Benac Earle Universidad Politécnica de Madrid, Ángel Herranz Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
15:00 30m Talk		Is this really a refactoring? Automated equivalence checking for Erlang projects Erlang Bendegúz Seres Eötvös Loránd University, Dániel Horpácsi Eötvös Loránd University, Simon Thompson IOHK, University of Kent, and ELTE

16:00 - 17:30	Software Engineering & ClosingErlang at Meeting 4

16:00 30m Talk		Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception to Production Erlang Carla Rodríguez Estévez Universidade da Coruña, Spain, Laura M. Castro University of A Coruña
16:30 30m Talk		The Benefits of Tierless Elixir/Potato for Engineering IoT Systems Erlang Solaris Li University of Glasgow, Phil Trinder University of Glasgow, Christophe De Troyer Vrije Universiteit Brussel, Mart Lubbers Radboud University Nijmegen, Adrian Ramsingh Sia Fusion Ltd
17:00 30m Talk		Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors Erlang Jonah Pears , Laura Bocchi University of Kent, Raymond Hu Queen Mary University of London

Erlang 2024 Program

Mon 2 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Symposia

Erlang 2024 Program

Switch Program View

Program Display Configuration

Mon 2 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Mon 2 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change