ICFP 2021
Sun 22 - Sat 28 August 2021
Thu 26 Aug 2021 20:40 - 21:10 at Erlang - Session 1

This article presents Makina, a new library and a domain specific language for writing property-based testing models for \textit{stateful} programs. Models written in the new domain specific language are, using Elixir macros, rewritten into normal QuickCheck state machines. Our main goals with Makina are to facilitate the task of developing correct and maintainable models, and to encourage model reuse. To meet these goals, Makina provides a declarative syntax for defining model states and model commands. In particular, Makina encourages the typing of specifications, and ensures through its rewrite rules that such type information can be used by, e.g.,\ the Dialyzer tool, to effectively typecheck models. Moreover, to promote model reuse, the domain specific language provides constructs to permit models to be defined in terms of collections of previously defined models.

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