Powered by
22nd ACM SIGPLAN International Workshop on Erlang (Erlang 2023), September 4, 2023,
Seattle, WA, USA
22nd ACM SIGPLAN International Workshop on Erlang (Erlang 2023)
Frontmatter
Title Page
Article: icfpws23erlangforeword-fm000-p doi:
Keynote
Code Analysis at WhatsApp (Keynote)
Ke Mao
(Meta, UK)
@InProceedings{Erlang23p1,
author = {Ke Mao},
title = {Code Analysis at WhatsApp (Keynote)},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3609022.3615585},
year = {2023},
}
Publisher's Version
Article: icfpws23erlangmain-key1-p doi:10.1145/3609022.3615585
Papers
TLS the Erlang/OTP Way (Experience Report)
Ingela Anderton Andin,
Raimo Niskanen,
Péter Dimitrov, and
Kiko Fernandez-Reyes
(Ericsson, Sweden)
@InProceedings{Erlang23p13,
author = {Ingela Anderton Andin and Raimo Niskanen and Péter Dimitrov and Kiko Fernandez-Reyes},
title = {TLS the Erlang/OTP Way (Experience Report)},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3609022.3609414},
year = {2023},
}
Publisher's Version
Article: icfpws23erlangmain-p24-p doi:10.1145/3609022.3609414
Generation and Refinement of Testing Models
Luis Eduardo Bueso de Barrio,
Lars-Åke Fredlund,
Clara Benac Earle,
Ángel Herranz, and
Julio Mariño
(Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang23p25,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Clara Benac Earle and Ángel Herranz and Julio Mariño},
title = {Generation and Refinement of Testing Models},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3609022.3609415},
year = {2023},
}
Publisher's Version
Article: icfpws23erlangmain-p28-p doi:10.1145/3609022.3609415
Mria: An Eventually Consistent Mnesia
Dmitrii Fedoseev,
Serhii Tupchii,
Thales Macedo Garitezi, and
Zaiming Shi
(EMQ Technologies, Sweden; EMQ Technologies, Ukraine; EMQ Technologies, Brazil)
@InProceedings{Erlang23p37,
author = {Dmitrii Fedoseev and Serhii Tupchii and Thales Macedo Garitezi and Zaiming Shi},
title = {Mria: An Eventually Consistent Mnesia},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3609022.3609416},
year = {2023},
}
Publisher's Version
Article: icfpws23erlangmain-p33-p doi:10.1145/3609022.3609416
A Semantics of Core Erlang with Handling of Signals
Aurélie Kong Win Chang,
Jérôme Feret, and
Gregor Gössler
(Inria, France; University Grenoble Alpes, France; CNRS, France; Grenoble INP, France; LIG, France; ENS, France; PSL University, France)
@InProceedings{Erlang23p49,
author = {Aurélie Kong Win Chang and Jérôme Feret and Gregor Gössler},
title = {A Semantics of Core Erlang with Handling of Signals},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3609022.3609417},
year = {2023},
}
Publisher's Version
Article: icfpws23erlangmain-p52-p doi:10.1145/3609022.3609417
proc time: 0.01