Workshop Erlang 2023 – Author Index

A B D F G H K M N S T

	Andin, Ingela Anderton	Erlang '23: "TLS the Erlang/OTP Way (Experience ..." 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
	Benac Earle, Clara	Erlang '23: "Generation and Refinement ..." 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
	Bueso de Barrio, Luis Eduardo	Erlang '23: "Generation and Refinement ..." 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
	Dimitrov, Péter	Erlang '23: "TLS the Erlang/OTP Way (Experience ..." 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
	Fedoseev, Dmitrii	Erlang '23: "Mria: An Eventually Consistent ..." 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
	Feret, Jérôme	Erlang '23: "A Semantics of Core Erlang ..." 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
	Fernandez-Reyes, Kiko	Erlang '23: "TLS the Erlang/OTP Way (Experience ..." 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
	Fredlund, Lars-Åke	Erlang '23: "Generation and Refinement ..." 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
	Garitezi, Thales Macedo	Erlang '23: "Mria: An Eventually Consistent ..." 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
	Gössler, Gregor	Erlang '23: "A Semantics of Core Erlang ..." 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
	Herranz, Ángel	Erlang '23: "Generation and Refinement ..." 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
	Kong Win Chang, Aurélie	Erlang '23: "A Semantics of Core Erlang ..." 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
	Mao, Ke	Erlang '23: "Code Analysis at WhatsApp ..." 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
	Mariño, Julio	Erlang '23: "Generation and Refinement ..." 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
	Niskanen, Raimo	Erlang '23: "TLS the Erlang/OTP Way (Experience ..." 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
	Shi, Zaiming	Erlang '23: "Mria: An Eventually Consistent ..." 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
	Tupchii, Serhii	Erlang '23: "Mria: An Eventually Consistent ..." 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

17 authors

proc time: 0.01