| |
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
Article: icfpws23erlangmain-p24-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609414
|
| |
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
Article: icfpws23erlangmain-p28-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609415
|
| |
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
Article: icfpws23erlangmain-p28-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609415
|
| |
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
Article: icfpws23erlangmain-p24-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609414
|
| |
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
Article: icfpws23erlangmain-p33-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609416
|
| |
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
Article: icfpws23erlangmain-p52-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609417
|
| |
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
Article: icfpws23erlangmain-p24-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609414
|
| |
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
Article: icfpws23erlangmain-p28-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609415
|
| |
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
Article: icfpws23erlangmain-p33-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609416
|
| |
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
Article: icfpws23erlangmain-p52-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609417
|
| |
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
Article: icfpws23erlangmain-p28-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609415
|
| |
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
Article: icfpws23erlangmain-p52-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609417
|
| |
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
Article: icfpws23erlangmain-key1-p (type: Invited Talk Abstract) doi:10.1145/3609022.3615585
|
| |
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
Article: icfpws23erlangmain-p28-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609415
|
| |
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
Article: icfpws23erlangmain-p24-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609414
|
| |
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
Article: icfpws23erlangmain-p33-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609416
|
| |
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
Article: icfpws23erlangmain-p33-p (type: Full Paper (12 pages)) doi:10.1145/3609022.3609416
|