Erlang '22: "Executable Contracts for Elixir ..."
Executable Contracts for Elixir
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, and Lars-Åke Fredlund
(Universitat Politècnica de València, Spain; Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang22p61,
author = {Sergio Pérez and Luis Eduardo Bueso de Barrio and Ignacio Ballesteros and Ángel Herranz and Julio Mariño and Clara Benac Earle and Lars-Åke Fredlund},
title = {Executable Contracts for Elixir},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546186.3549930},
year = {2022},
}
Publisher's Version
Erlang '22: "Executable Contracts for Elixir ..."
Executable Contracts for Elixir
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, and Lars-Åke Fredlund
(Universitat Politècnica de València, Spain; Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang22p61,
author = {Sergio Pérez and Luis Eduardo Bueso de Barrio and Ignacio Ballesteros and Ángel Herranz and Julio Mariño and Clara Benac Earle and Lars-Åke Fredlund},
title = {Executable Contracts for Elixir},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546186.3549930},
year = {2022},
}
Publisher's Version
Erlang '22: "InfERL: Scalable and Extensible ..."
InfERL: Scalable and Extensible Erlang Static Analysis
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, and Dino Distefano
(Meta, UK)
@InProceedings{Erlang22p49,
author = {Ákos Hajdu and Matteo Marescotti and Thibault Suzanne and Ke Mao and Radu Grigore and Per Gustafsson and Dino Distefano},
title = {InfERL: Scalable and Extensible Erlang Static Analysis},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3546186.3549929},
year = {2022},
}
Publisher's Version
Erlang '22: "Executable Contracts for Elixir ..."
Executable Contracts for Elixir
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, and Lars-Åke Fredlund
(Universitat Politècnica de València, Spain; Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang22p61,
author = {Sergio Pérez and Luis Eduardo Bueso de Barrio and Ignacio Ballesteros and Ángel Herranz and Julio Mariño and Clara Benac Earle and Lars-Åke Fredlund},
title = {Executable Contracts for Elixir},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546186.3549930},
year = {2022},
}
Publisher's Version
Erlang '22: "Executable Contracts for Elixir ..."
Executable Contracts for Elixir
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, and Lars-Åke Fredlund
(Universitat Politècnica de València, Spain; Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang22p61,
author = {Sergio Pérez and Luis Eduardo Bueso de Barrio and Ignacio Ballesteros and Ángel Herranz and Julio Mariño and Clara Benac Earle and Lars-Åke Fredlund},
title = {Executable Contracts for Elixir},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546186.3549930},
year = {2022},
}
Publisher's Version
Erlang '22: "InfERL: Scalable and Extensible ..."
InfERL: Scalable and Extensible Erlang Static Analysis
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, and Dino Distefano
(Meta, UK)
@InProceedings{Erlang22p49,
author = {Ákos Hajdu and Matteo Marescotti and Thibault Suzanne and Ke Mao and Radu Grigore and Per Gustafsson and Dino Distefano},
title = {InfERL: Scalable and Extensible Erlang Static Analysis},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3546186.3549929},
year = {2022},
}
Publisher's Version
Erlang '22: "InfERL: Scalable and Extensible ..."
InfERL: Scalable and Extensible Erlang Static Analysis
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, and Dino Distefano
(Meta, UK)
@InProceedings{Erlang22p49,
author = {Ákos Hajdu and Matteo Marescotti and Thibault Suzanne and Ke Mao and Radu Grigore and Per Gustafsson and Dino Distefano},
title = {InfERL: Scalable and Extensible Erlang Static Analysis},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3546186.3549929},
year = {2022},
}
Publisher's Version
Erlang '22: "InfERL: Scalable and Extensible ..."
InfERL: Scalable and Extensible Erlang Static Analysis
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, and Dino Distefano
(Meta, UK)
@InProceedings{Erlang22p49,
author = {Ákos Hajdu and Matteo Marescotti and Thibault Suzanne and Ke Mao and Radu Grigore and Per Gustafsson and Dino Distefano},
title = {InfERL: Scalable and Extensible Erlang Static Analysis},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3546186.3549929},
year = {2022},
}
Publisher's Version
Erlang '22: "Executable Contracts for Elixir ..."
Executable Contracts for Elixir
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, and Lars-Åke Fredlund
(Universitat Politècnica de València, Spain; Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang22p61,
author = {Sergio Pérez and Luis Eduardo Bueso de Barrio and Ignacio Ballesteros and Ángel Herranz and Julio Mariño and Clara Benac Earle and Lars-Åke Fredlund},
title = {Executable Contracts for Elixir},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546186.3549930},
year = {2022},
}
Publisher's Version
Erlang '22: "eqWAlizer: Scaling Erlang ..."
eqWAlizer: Scaling Erlang Development at WhatsApp with Static Typing (Keynote)
Ilya Klyuchnikov
(Meta Platforms, USA)
@InProceedings{Erlang22p1,
author = {Ilya Klyuchnikov},
title = {eqWAlizer: Scaling Erlang Development at WhatsApp with Static Typing (Keynote)},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3546186.3552537},
year = {2022},
}
Publisher's Version
Erlang '22: "InfERL: Scalable and Extensible ..."
InfERL: Scalable and Extensible Erlang Static Analysis
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, and Dino Distefano
(Meta, UK)
@InProceedings{Erlang22p49,
author = {Ákos Hajdu and Matteo Marescotti and Thibault Suzanne and Ke Mao and Radu Grigore and Per Gustafsson and Dino Distefano},
title = {InfERL: Scalable and Extensible Erlang Static Analysis},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3546186.3549929},
year = {2022},
}
Publisher's Version
Erlang '22: "InfERL: Scalable and Extensible ..."
InfERL: Scalable and Extensible Erlang Static Analysis
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, and Dino Distefano
(Meta, UK)
@InProceedings{Erlang22p49,
author = {Ákos Hajdu and Matteo Marescotti and Thibault Suzanne and Ke Mao and Radu Grigore and Per Gustafsson and Dino Distefano},
title = {InfERL: Scalable and Extensible Erlang Static Analysis},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3546186.3549929},
year = {2022},
}
Publisher's Version
Erlang '22: "Executable Contracts for Elixir ..."
Executable Contracts for Elixir
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, and Lars-Åke Fredlund
(Universitat Politècnica de València, Spain; Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang22p61,
author = {Sergio Pérez and Luis Eduardo Bueso de Barrio and Ignacio Ballesteros and Ángel Herranz and Julio Mariño and Clara Benac Earle and Lars-Åke Fredlund},
title = {Executable Contracts for Elixir},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546186.3549930},
year = {2022},
}
Publisher's Version
Erlang '22: "CAEFL: Composable and Environment ..."
CAEFL: Composable and Environment Aware Federated Learning Models
Ruomeng (Cocoa) Xu, Anna Lito Michala, and Phil Trinder
(University of Glasgow, UK)
@InProceedings{Erlang22p25,
author = {Ruomeng (Cocoa) Xu and Anna Lito Michala and Phil Trinder},
title = {CAEFL: Composable and Environment Aware Federated Learning Models},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3546186.3549927},
year = {2022},
}
Publisher's Version
Erlang '22: "Executable Contracts for Elixir ..."
Executable Contracts for Elixir
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, and Lars-Åke Fredlund
(Universitat Politècnica de València, Spain; Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang22p61,
author = {Sergio Pérez and Luis Eduardo Bueso de Barrio and Ignacio Ballesteros and Ángel Herranz and Julio Mariño and Clara Benac Earle and Lars-Åke Fredlund},
title = {Executable Contracts for Elixir},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546186.3549930},
year = {2022},
}
Publisher's Version
Erlang '22: "A Reliability Benchmark for ..."
A Reliability Benchmark for Actor-Based Server Languages
Aidan Randtoul and Phil Trinder
(University of Glasgow, UK)
@InProceedings{Erlang22p37,
author = {Aidan Randtoul and Phil Trinder},
title = {A Reliability Benchmark for Actor-Based Server Languages},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3546186.3549928},
year = {2022},
}
Publisher's Version
Erlang '22: "Troubleshooting the Performance ..."
Troubleshooting the Performance of a Large Erlang System
Nikos Tsikoudis and Marc Sugiyama
(Datometry, USA; Nova Labs, USA)
@InProceedings{Erlang22p13,
author = {Nikos Tsikoudis and Marc Sugiyama},
title = {Troubleshooting the Performance of a Large Erlang System},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3546186.3549926},
year = {2022},
}
Publisher's Version
Erlang '22: "InfERL: Scalable and Extensible ..."
InfERL: Scalable and Extensible Erlang Static Analysis
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, and Dino Distefano
(Meta, UK)
@InProceedings{Erlang22p49,
author = {Ákos Hajdu and Matteo Marescotti and Thibault Suzanne and Ke Mao and Radu Grigore and Per Gustafsson and Dino Distefano},
title = {InfERL: Scalable and Extensible Erlang Static Analysis},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3546186.3549929},
year = {2022},
}
Publisher's Version
Erlang '22: "CAEFL: Composable and Environment ..."
CAEFL: Composable and Environment Aware Federated Learning Models
Ruomeng (Cocoa) Xu, Anna Lito Michala, and Phil Trinder
(University of Glasgow, UK)
@InProceedings{Erlang22p25,
author = {Ruomeng (Cocoa) Xu and Anna Lito Michala and Phil Trinder},
title = {CAEFL: Composable and Environment Aware Federated Learning Models},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3546186.3549927},
year = {2022},
}
Publisher's Version
Erlang '22: "A Reliability Benchmark for ..."
A Reliability Benchmark for Actor-Based Server Languages
Aidan Randtoul and Phil Trinder
(University of Glasgow, UK)
@InProceedings{Erlang22p37,
author = {Aidan Randtoul and Phil Trinder},
title = {A Reliability Benchmark for Actor-Based Server Languages},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3546186.3549928},
year = {2022},
}
Publisher's Version
Erlang '22: "Troubleshooting the Performance ..."
Troubleshooting the Performance of a Large Erlang System
Nikos Tsikoudis and Marc Sugiyama
(Datometry, USA; Nova Labs, USA)
@InProceedings{Erlang22p13,
author = {Nikos Tsikoudis and Marc Sugiyama},
title = {Troubleshooting the Performance of a Large Erlang System},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3546186.3549926},
year = {2022},
}
Publisher's Version
Erlang '22: "CAEFL: Composable and Environment ..."
CAEFL: Composable and Environment Aware Federated Learning Models
Ruomeng (Cocoa) Xu, Anna Lito Michala, and Phil Trinder
(University of Glasgow, UK)
@InProceedings{Erlang22p25,
author = {Ruomeng (Cocoa) Xu and Anna Lito Michala and Phil Trinder},
title = {CAEFL: Composable and Environment Aware Federated Learning Models},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3546186.3549927},
year = {2022},
}
Publisher's Version