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
Keynote
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
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
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
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
proc time: 0.72