| |
Ballesteros, Ignacio
|
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
Article: icfpws22erlangmain-p7-p (type: Full Paper) doi:10.1145/3546186.3549930
|
| |
De Barrio, Luis Eduardo Bueso
|
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
Article: icfpws22erlangmain-p7-p (type: Full Paper) doi:10.1145/3546186.3549930
|
| |
Distefano, Dino |
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
Article: icfpws22erlangmain-p4-p (type: Full Paper) doi:10.1145/3546186.3549929
|
| |
Earle, Clara Benac
|
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
Article: icfpws22erlangmain-p7-p (type: Full Paper) doi:10.1145/3546186.3549930
|
| |
Fredlund, Lars-Åke
|
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
Article: icfpws22erlangmain-p7-p (type: Full Paper) doi:10.1145/3546186.3549930
|
| |
Grigore, Radu
|
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
Article: icfpws22erlangmain-p4-p (type: Full Paper) doi:10.1145/3546186.3549929
|
| |
Gustafsson, Per |
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
Article: icfpws22erlangmain-p4-p (type: Full Paper) doi:10.1145/3546186.3549929
|
| |
Hajdu, Ákos
|
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
Article: icfpws22erlangmain-p4-p (type: Full Paper) doi:10.1145/3546186.3549929
|
| |
Herranz, Ángel |
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
Article: icfpws22erlangmain-p7-p (type: Full Paper) doi:10.1145/3546186.3549930
|
| |
Klyuchnikov, Ilya
|
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
Article: icfpws22erlangmain-k1-p (type: Invited Talk Abstract) doi:10.1145/3546186.3552537
|
| |
Mao, Ke
|
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
Article: icfpws22erlangmain-p4-p (type: Full Paper) doi:10.1145/3546186.3549929
|
| |
Marescotti, Matteo |
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
Article: icfpws22erlangmain-p4-p (type: Full Paper) doi:10.1145/3546186.3549929
|
| |
Mariño, Julio |
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
Article: icfpws22erlangmain-p7-p (type: Full Paper) doi:10.1145/3546186.3549930
|
| |
Michala, Anna Lito |
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
Article: icfpws22erlangmain-p2-p (type: Full Paper) doi:10.1145/3546186.3549927
|
| |
Pérez, Sergio
|
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
Article: icfpws22erlangmain-p7-p (type: Full Paper) doi:10.1145/3546186.3549930
|
| |
Randtoul, Aidan
|
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
Article: icfpws22erlangmain-p3-p (type: Full Paper) doi:10.1145/3546186.3549928
|
| |
Sugiyama, Marc
|
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
Article: icfpws22erlangmain-p1-p (type: Full Paper) doi:10.1145/3546186.3549926
|
| |
Suzanne, Thibault |
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
Article: icfpws22erlangmain-p4-p (type: Full Paper) doi:10.1145/3546186.3549929
|
| |
Trinder, Phil
|
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
Article: icfpws22erlangmain-p2-p (type: Full Paper) doi:10.1145/3546186.3549927
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
Article: icfpws22erlangmain-p3-p (type: Full Paper) doi:10.1145/3546186.3549928
|
| |
Tsikoudis, Nikos |
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
Article: icfpws22erlangmain-p1-p (type: Full Paper) doi:10.1145/3546186.3549926
|
| |
Xu, Ruomeng (Cocoa)
|
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
Article: icfpws22erlangmain-p2-p (type: Full Paper) doi:10.1145/3546186.3549927
|