ICFP 2021
Sun 22 - Sat 28 August 2021
ICFP 2021 (series) / Virtual /

Room information: Erlang

VenueVirtual
Room nameErlang
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 26 Aug

Displayed time zone: Seoul change

20:00 - 21:30
Session 1Erlang at Erlang
20:00
10m
Day opening
Welcome
Erlang
Stavros Aronis Erlang Solutions, Sweden, Annette Bieniusa Technische Universität Kaiserslautern
20:10
30m
Talk
Graft: General Purpose Raft Consensus in Elixir
Erlang
Matthew Alan Le Brun University of Malta, Duncan Paul Attard University of Malta, Adrian Francalanza University of Malta
DOI
20:40
30m
Talk
Makina: A New QuickCheck State Machine Library
Erlang
Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Lars-Åke Fredlund Universidad Politécnica de Madrid, Ángel Herranz Universidad Politécnica de Madrid, Clara Benac Earle Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
DOI
21:10
10m
Vision and Emerging Results
Lightning Talk: Expected Application of BeamAsm
Erlang
Susumu Yamazaki Univ. of Kitakyushu
21:20
10m
Vision and Emerging Results
Lightning Talk: QuadBlockQuiz – Supply Chain Edition
Erlang
Duncan Sparrell sFractal Consulting
22:00 - 23:30
KeynoteErlang at Erlang
22:00
60m
Keynote
Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote)
Erlang
Konstantinos (Kostis) Sagonas Uppsala University, Sweden
23:00
10m
Vision and Emerging Results
Lightning Talk: Using Regular Expressions in Erlang
Erlang
Kosorukov Anatolii
23:10
10m
Vision and Emerging Results
Lightning Talk: eigr.io — A Serverless Runtime on the BEAM
Erlang
Marcel Lanz eigr.io – Member
23:30 - 01:00
Session 2Erlang at Erlang
23:30
30m
Talk
Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
Erlang
Brujo Benavides Erlang Ecosystem Foundation, Laura M. Castro University of A Coruña
DOI
00:00
30m
Talk
Bidirectional Typing for Erlang
Erlang
Nithin Vadukkumchery Rajendrakumar TU Kaiserslautern, Annette Bieniusa Technische Universität Kaiserslautern
DOI
00:30
10m
Vision and Emerging Results
Lightning Talk: Experience teaching Erlang/Elixir on YouTube
Erlang
Adolfo Neto Federal University of Technology - Paraná
00:40
10m
Vision and Emerging Results
Lightning Talk: AtomVM: A flyweight BEAM for microcontrollers
Erlang
Fred Dushin

Fri 27 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Session 3Erlang at Erlang
01:30
30m
Talk
What Are the Critical Security Flaws in My System?
Erlang
Viktória Fördős Cisco Systems
DOI
02:00
30m
Talk
The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network
Erlang
Sébastien Kalbusch Université Catholique de Louvain, Vincent Verpoten Université Catholique de Louvain, Peter Van Roy Université catholique de Louvain
DOI
02:30
10m
Vision and Emerging Results
Lightning Talk: The debugging tool that comes with Erlang/OTP I just learned exists after many years of using Erlang
Erlang
Peer Stritzinger Peer Stritzinger GmbH
02:40
10m
Vision and Emerging Results
More lightning talks
Erlang

Thu 26 Aug

Displayed time zone: Seoul change

Room20:003021:003022:003023:00300:0030
Erlang

Erlang

Session 1

Erlang

Keynote

Erlang

Session 2

Fri 27 Aug

Displayed time zone: Seoul change

Room1:00302:0030
Erlang

Erlang

Session 3

Thu 26 Aug

Displayed time zone: Seoul change

Room20:0015304521:0015304522:0015304523:00153045
Erlang
Erlang
Welcome
20:00 - 20:10
Erlang
Graft: General Purpose Raft Consensus in Elixir
20:10 - 20:40
Erlang
Makina: A New QuickCheck State Machine Library
20:40 - 21:10
Erlang
Lightning Talk: Expected Application of BeamAsm
21:10 - 21:20
Erlang
Lightning Talk: QuadBlockQuiz – Supply Chain Edition
21:20 - 21:30
Erlang
Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote)
22:00 - 23:00
Erlang
Lightning Talk: Using Regular Expressions in Erlang
23:00 - 23:10
Erlang
Lightning Talk: eigr.io — A Serverless Runtime on the BEAM
23:10 - 23:20
Erlang
Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Cer ...
23:30 - 00:00

Fri 27 Aug

Displayed time zone: Seoul change

Room0:001530451:001530452:00153045
Erlang
Erlang
Bidirectional Typing for Erlang
00:00 - 00:30
Erlang
Lightning Talk: Experience teaching Erlang/Elixir on YouTube
00:30 - 00:40
Erlang
Lightning Talk: AtomVM: A flyweight BEAM for microcontrollers
00:40 - 00:50
Erlang
What Are the Critical Security Flaws in My System?
01:30 - 02:00
Erlang
The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRi ...
02:00 - 02:30
Erlang
Lightning Talk: The debugging tool that comes with Erlang/OTP I just le ...
02:30 - 02:40
Erlang
More lightning talks
02:40 - 02:50