OCaml 2024
Mon 2 - Sat 7 September 2024
Milan, Italy
co-located with
ICFP 2024
Toggle navigation
Attending
Venue: Allianz MiCo (Milano Convention Centre)
Program
Complete Program
Your Program
Mon 2 Sep
Tue 3 Sep
Wed 4 Sep
Thu 5 Sep
Fri 6 Sep
Sat 7 Sep
Track/Call
Organization
OCaml 2024 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
OCaml 2024
OCaml 2023
OCaml 2022
OCaml 2021
OCaml 2020
OCaml 2019
OCaml 2018
OCaml 2017
OCaml 2016
Sign in
Sign up
ICFP 2024
(
series
) /
OCaml 2024 (
series
) /
Allianz MiCo (Milano Convention Centre)
/
Room information: Orange 3
Venue
Allianz MiCo (Milano Convention Centre)
Room name
Orange 3
Capacity
90
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 & Keynote
Erlang
at
Orange 3
Chair(s):
Kiko Fernandez-Reyes
Ericsson, Sweden
,
Adriana Laura Voinea
09:00
15m
Talk
Welcome to the Erlang Workshop
Erlang
Adriana Laura Voinea
,
Kiko Fernandez-Reyes
Ericsson, Sweden
09:15
75m
Keynote
(Keynote) Environmentally sustainable software and data architectures
Erlang
Madeleine Malmsten
11:00 - 12:30
Types & Compilers
Erlang
at
Orange 3
11:00
22m
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:22
22m
Talk
Nominal Types for Erlang
Erlang
Isabell Huang
,
John Högberg
,
Tobias Wrigstad
Uppsala University
,
Kiko Fernandez-Reyes
Ericsson, Sweden
11:45
22m
Talk
Modeling Erlang Compiler IR as SMT Formulas
Erlang
John Högberg
12:07
22m
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
14:00 - 15:30
Testing & Verification
Erlang
at
Orange 3
14:00
22m
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
14:22
23m
Talk
Erla+: Translating TLA+ Models into Executable Actor-Based Implementations
Erlang
Marian Hristov
University of Kaiserslautern-Landau
,
Annette Bieniusa
University of Kaiserslautern-Landau
14:45
22m
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
15:07
22m
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 & Closing
Erlang
at
Orange 3
16:00
22m
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:22
22m
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
16:45
15m
Talk
Lightning Talk
Erlang
17:00
15m
Talk
Closing of the Erlang Workshop
Erlang
Adriana Laura Voinea
,
Kiko Fernandez-Reyes
Ericsson, Sweden
Mon 2 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Orange 3
Erlang
Welcome & Keynote
Erlang
Types & Compilers
Erlang
Testing & Verification
Erlang
Software Engineering & Closing
Mon 2 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Orange 3
Erlang
Welcome to the Erlang Workshop
09:00 - 09:15
Erlang
(Keynote) Environmentally sustainable software and data architectures
09:15 - 10:30
Erlang
Same same but different: A Comparative Analysis of Static Type Checkers ...
11:00 - 11:22
Erlang
Nominal Types for Erlang
11:22 - 11:45
Erlang
Modeling Erlang Compiler IR as SMT Formulas
11:45 - 12:07
Erlang
Unsafe Impedance: safe languages and safe by design software
12:07 - 12:30
Erlang
Controlled Scheduling of Concurrent Elixir Programs
14:00 - 14:22
Erla+: Translating TLA+ Models into Executable Actor-Based Implementations
14:22 - 14:45
Erlang
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
14:45 - 15:07
Erlang
Is this really a refactoring? Automated equivalence checking for Erlang ...
15:07 - 15:30
Erlang
Elixir-powered Low-income Animal Shelter Support: an Experience Report ...
16:00 - 16:22
Erlang
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
16:22 - 16:45
Erlang
Lightning Talk
16:45 - 17:00
Erlang
Closing of the Erlang Workshop
17:00 - 17:15
x
Wed 14 Aug 21:23