Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/erlang/AndinNDF23,
  author       = {Ingela Anderton Andin and
                  Raimo Niskanen and
                  Peter Dimitrov and
                  Kiko Fernandez{-}Reyes},
  editor       = {Burcu Kulahcioglu Ozkan and
                  Kiko Fernandez{-}Reyes},
  title        = {{TLS} the Erlang/OTP Way (Experience Report)},
  booktitle    = {Proceedings of the 22nd {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023},
  pages        = {2--13},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609022.3609414},
  doi          = {10.1145/3609022.3609414},
  timestamp    = {Sun, 12 Nov 2023 02:14:43 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/AndinNDF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/BarrioFEHM23,
  author       = {Luis Eduardo Bueso de Barrio and
                  Lars{-}{\AA}ke Fredlund and
                  Clara Benac Earle and
                  {\'{A}}ngel Herranz and
                  Julio Mari{\~{n}}o},
  editor       = {Burcu Kulahcioglu Ozkan and
                  Kiko Fernandez{-}Reyes},
  title        = {Generation and Refinement of Testing Models},
  booktitle    = {Proceedings of the 22nd {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023},
  pages        = {14--23},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609022.3609415},
  doi          = {10.1145/3609022.3609415},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/BarrioFEHM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/ChangFG23,
  author       = {Aur{\'{e}}lie Kong Win Chang and
                  J{\'{e}}r{\^{o}}me Feret and
                  Gregor G{\"{o}}ssler},
  editor       = {Burcu Kulahcioglu Ozkan and
                  Kiko Fernandez{-}Reyes},
  title        = {A Semantics of Core Erlang with Handling of Signals},
  booktitle    = {Proceedings of the 22nd {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023},
  pages        = {31--38},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609022.3609417},
  doi          = {10.1145/3609022.3609417},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/ChangFG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/FedoseevTGS23,
  author       = {Dmitrii Fedoseev and
                  Serhii Tupchii and
                  Thales Macedo Garitezi and
                  Zaiming Shi},
  editor       = {Burcu Kulahcioglu Ozkan and
                  Kiko Fernandez{-}Reyes},
  title        = {Mria: An Eventually Consistent Mnesia},
  booktitle    = {Proceedings of the 22nd {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023},
  pages        = {24--30},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609022.3609416},
  doi          = {10.1145/3609022.3609416},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/FedoseevTGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/Mao23,
  author       = {Ke Mao},
  editor       = {Burcu Kulahcioglu Ozkan and
                  Kiko Fernandez{-}Reyes},
  title        = {Code Analysis at WhatsApp (Keynote)},
  booktitle    = {Proceedings of the 22nd {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609022.3615585},
  doi          = {10.1145/3609022.3615585},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/Mao23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/erlang/2023,
  editor       = {Burcu Kulahcioglu Ozkan and
                  Kiko Fernandez{-}Reyes},
  title        = {Proceedings of the 22nd {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609022},
  doi          = {10.1145/3609022},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}