| |
Attard, Duncan Paul
|
Erlang '21: "Graft: General Purpose Raft ..."
Graft: General Purpose Raft Consensus in Elixir
Matthew Alan Le Brun, Duncan Paul Attard, and Adrian Francalanza
(University of Malta, Malta)
@InProceedings{Erlang21p2,
author = {Matthew Alan Le Brun and Duncan Paul Attard and Adrian Francalanza},
title = {Graft: General Purpose Raft Consensus in Elixir},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3471871.3472963},
year = {2021},
}
 Publisher's Version
Article: icfpws21erlangmain-p5-p (type: Full Paper) doi:10.1145/3471871.3472963
|
| |
Bieniusa, Annette
|
Erlang '21: "Bidirectional Typing for Erlang ..."
Bidirectional Typing for Erlang
Nithin Vadukkumchery Rajendrakumar and Annette Bieniusa
(TU Kaiserslautern, Germany)
@InProceedings{Erlang21p54,
author = {Nithin Vadukkumchery Rajendrakumar and Annette Bieniusa},
title = {Bidirectional Typing for Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {54-53},
doi = {10.1145/3471871.3472966},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p9-p (type: Full Paper) doi:10.1145/3471871.3472966
|
| |
Castro, Laura M.
|
Erlang '21: "Detecting Oxbow Code in Erlang ..."
Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
Fernando Benavides Rodríguez and Laura M. Castro
(NextRoll, Spain; Universidade da Coruña, Spain)
@InProceedings{Erlang21p28,
author = {Fernando Benavides Rodríguez and Laura M. Castro},
title = {Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {28-27},
doi = {10.1145/3471871.3472961},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p1-p (type: Full Paper) doi:10.1145/3471871.3472961
|
| |
De Barrio, Luis Eduardo Bueso
|
Erlang '21: "Makina: A New QuickCheck State ..."
Makina: A New QuickCheck State Machine Library
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang21p41,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Ángel Herranz and Clara Benac Earle and Julio Mariño},
title = {Makina: A New QuickCheck State Machine Library},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3471871.3472964},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p6-p (type: Full Paper) doi:10.1145/3471871.3472964
|
| |
Earle, Clara Benac
|
Erlang '21: "Makina: A New QuickCheck State ..."
Makina: A New QuickCheck State Machine Library
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang21p41,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Ángel Herranz and Clara Benac Earle and Julio Mariño},
title = {Makina: A New QuickCheck State Machine Library},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3471871.3472964},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p6-p (type: Full Paper) doi:10.1145/3471871.3472964
|
| |
Fördős, Viktória
|
Erlang '21: "What Are the Critical Security ..."
What Are the Critical Security Flaws in My System?
Viktória Fördős
(Cisco Systems, Sweden; Eötvös Loránd University, Hungary)
@InProceedings{Erlang21p67,
author = {Viktória Fördős},
title = {What Are the Critical Security Flaws in My System?},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3471871.3472965},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p8-p (type: Full Paper) doi:10.1145/3471871.3472965
|
| |
Francalanza, Adrian |
Erlang '21: "Graft: General Purpose Raft ..."
Graft: General Purpose Raft Consensus in Elixir
Matthew Alan Le Brun, Duncan Paul Attard, and Adrian Francalanza
(University of Malta, Malta)
@InProceedings{Erlang21p2,
author = {Matthew Alan Le Brun and Duncan Paul Attard and Adrian Francalanza},
title = {Graft: General Purpose Raft Consensus in Elixir},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3471871.3472963},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p5-p (type: Full Paper) doi:10.1145/3471871.3472963
|
| |
Fredlund, Lars-Åke |
Erlang '21: "Makina: A New QuickCheck State ..."
Makina: A New QuickCheck State Machine Library
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang21p41,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Ángel Herranz and Clara Benac Earle and Julio Mariño},
title = {Makina: A New QuickCheck State Machine Library},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3471871.3472964},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p6-p (type: Full Paper) doi:10.1145/3471871.3472964
|
| |
Herranz, Ángel
|
Erlang '21: "Makina: A New QuickCheck State ..."
Makina: A New QuickCheck State Machine Library
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang21p41,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Ángel Herranz and Clara Benac Earle and Julio Mariño},
title = {Makina: A New QuickCheck State Machine Library},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3471871.3472964},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p6-p (type: Full Paper) doi:10.1145/3471871.3472964
|
| |
Kalbusch, Sébastien
|
Erlang '21: "The Hera Framework for Fault-Tolerant ..."
The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network
Sébastien Kalbusch, Vincent Verpoten, and Peter Van Roy
(Université Catholique de Louvain, Belgium)
@InProceedings{Erlang21p15,
author = {Sébastien Kalbusch and Vincent Verpoten and Peter Van Roy},
title = {The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3471871.3472962},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p2-p (type: Full Paper) doi:10.1145/3471871.3472962
|
| |
Le Brun, Matthew Alan
|
Erlang '21: "Graft: General Purpose Raft ..."
Graft: General Purpose Raft Consensus in Elixir
Matthew Alan Le Brun, Duncan Paul Attard, and Adrian Francalanza
(University of Malta, Malta)
@InProceedings{Erlang21p2,
author = {Matthew Alan Le Brun and Duncan Paul Attard and Adrian Francalanza},
title = {Graft: General Purpose Raft Consensus in Elixir},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3471871.3472963},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p5-p (type: Full Paper) doi:10.1145/3471871.3472963
|
| |
Mariño, Julio
|
Erlang '21: "Makina: A New QuickCheck State ..."
Makina: A New QuickCheck State Machine Library
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
@InProceedings{Erlang21p41,
author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Ángel Herranz and Clara Benac Earle and Julio Mariño},
title = {Makina: A New QuickCheck State Machine Library},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3471871.3472964},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p6-p (type: Full Paper) doi:10.1145/3471871.3472964
|
| |
Rajendrakumar, Nithin Vadukkumchery
|
Erlang '21: "Bidirectional Typing for Erlang ..."
Bidirectional Typing for Erlang
Nithin Vadukkumchery Rajendrakumar and Annette Bieniusa
(TU Kaiserslautern, Germany)
@InProceedings{Erlang21p54,
author = {Nithin Vadukkumchery Rajendrakumar and Annette Bieniusa},
title = {Bidirectional Typing for Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {54-53},
doi = {10.1145/3471871.3472966},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p9-p (type: Full Paper) doi:10.1145/3471871.3472966
|
| |
Rodríguez, Fernando Benavides |
Erlang '21: "Detecting Oxbow Code in Erlang ..."
Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
Fernando Benavides Rodríguez and Laura M. Castro
(NextRoll, Spain; Universidade da Coruña, Spain)
@InProceedings{Erlang21p28,
author = {Fernando Benavides Rodríguez and Laura M. Castro},
title = {Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {28-27},
doi = {10.1145/3471871.3472961},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p1-p (type: Full Paper) doi:10.1145/3471871.3472961
|
| |
Sagonas, Konstantinos
|
Erlang '21: "Fifteen Years of Successfully ..."
Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Invited Talk)
Konstantinos Sagonas
(Uppsala University, Sweden; National Technical University of Athens, Greece)
@InProceedings{Erlang21p1,
author = {Konstantinos Sagonas},
title = {Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Invited Talk)},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3471871.3480952},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-inv1-p (type: Abstract) doi:10.1145/3471871.3480952
|
| |
Van Roy, Peter
|
Erlang '21: "The Hera Framework for Fault-Tolerant ..."
The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network
Sébastien Kalbusch, Vincent Verpoten, and Peter Van Roy
(Université Catholique de Louvain, Belgium)
@InProceedings{Erlang21p15,
author = {Sébastien Kalbusch and Vincent Verpoten and Peter Van Roy},
title = {The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3471871.3472962},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p2-p (type: Full Paper) doi:10.1145/3471871.3472962
|
| |
Verpoten, Vincent |
Erlang '21: "The Hera Framework for Fault-Tolerant ..."
The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network
Sébastien Kalbusch, Vincent Verpoten, and Peter Van Roy
(Université Catholique de Louvain, Belgium)
@InProceedings{Erlang21p15,
author = {Sébastien Kalbusch and Vincent Verpoten and Peter Van Roy},
title = {The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3471871.3472962},
year = {2021},
}
Publisher's Version
Article: icfpws21erlangmain-p2-p (type: Full Paper) doi:10.1145/3471871.3472962
|