FHPNC 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
co-located with ICFP 2023
VenueThe Westin Seattle
Room nameAdams
Floor2
Capacity50
Room InformationNo extra information available
Program

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

Mon 4 Sep

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
Erlang Workshop: KeynoteErlang at Adams
Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden
09:00
15m
Day opening
Welcome to the Erlang Workshop
Erlang
Kiko Fernandez-Reyes Ericsson, Sweden, Burcu Kulahcioglu Ozkan Delft University of Technology
09:15
75m
Keynote
Keynote: Code Analysis at WhatsApp
Erlang
Ke Mao Meta
11:00 - 12:30
Erlang Workshop: Session 1Erlang at Adams
Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden
11:00
45m
Talk
Invited Talk: A Type System for Elixir
Erlang
Giuseppe Castagna CNRS; Université Paris Cité, Guillaume Duboc ENS Lyon, José Valim Dashbit
Pre-print
11:45
30m
Talk
A semantics of Core Erlang with handling of signals
Erlang
Aurélie Kong Win Chang Univ. Grenoble Alpes, Inria, Jerome Feret INRIA Paris, Gregor Goessler INRIA
12:15
15m
Talk
Lightning Talk: How To Add Dialyzer To An Existing Elixir Project Without Your Colleagues Hating You
Erlang
Noah Betzen Lightning Talk Speaker
14:00 - 15:30
Erlang Workshop: Session 2Erlang at Adams
Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden
14:00
45m
Talk
Invited Talk: Set-theoretic Types for Erlang
Erlang
Albert Schimpf University of Kaiserslautern-Landau, Stefan Wehr Offenburg University of Applied Sciences, Annette Bieniusa University of Kaiserslautern-Landau
Link to publication DOI Authorizer link Pre-print
14:45
30m
Talk
Mria: an eventually consistent MnesiaRemote
Erlang
Dmitrii Fedoseev , Serhii Tupchii EMQ Technologies, Thales Macedo Garitezi EMQ Technologies, Zaiming Shi EMQ Technologies
15:15
15m
Talk
Lightning Talk: Towards Mailbox Typing for Erlang
Erlang
Simon Fowler University of Glasgow
16:00 - 17:30
Erlang Workshop: Session 3Erlang at Adams
Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden
16:00
30m
Talk
Generation and Refinement of Testing Models
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
16:30
30m
Talk
TLS the Erlang/OTP way (Experience Report)
Erlang
Ingela A. Andin Ericsson, SE, Raimo Niskanen Ericsson, SE, Peter Dimitrov Ericsson, SE, Kiko Fernandez-Reyes Ericsson, Sweden
17:00
15m
Day closing
Closing of the Erlang Workshop
Erlang
Kiko Fernandez-Reyes Ericsson, Sweden, Burcu Kulahcioglu Ozkan Delft University of Technology

Mon 4 Sep

Displayed time zone: Pacific Time (US & Canada) change