Kostis Sagonas

Creator of PropEr, CutEr and Concuerror

Kostis Sagonas is an academic who has been heavily involved in the development of Erlang and its implementation since 1999. At Uppsala University, he led the development team of the HiPE native code compiler that nowadays is part of Erlang/OTP. Together with his students, first at Uppsala University and more recently at the National Technical University of Athens, he has proposed various changes and additions to the language (most notably: bit-level pattern matching and bit-stream comprehensions, and the language of type and spec declarations) and has contributed to its compiler and runtime system. Besides HiPE, he has designed and implemented software development tools for Erlang (dialyzer, typer, tidier, proper, ...) and has contributed bug fixes to many open-source Erlang projects.

Past Activities

Torben Hoffmann / Kostis Sagonas / Kevin Hammond / Simon Thompson
Code BEAM STO 2018
31 May 2018
17.45 - 18.30
Kostis Sagonas
Code BEAM SF 2018
15 Mar 2018
09.15 - 10.00

Testing Tools for the Erlang Ecosystem

In this talk we will present two testing tools for Erlang, focusing on recent additions to their features and capabilities that were developed and motivated by industrial case studies and applications.

The first tool, Proper (http://proper.softlab.ntua.gr/), has been extended to support targeted property-based testing, a powerful extension of property-based testing (PBT) that adds a search-based component to input generation.  We will present how targeted PBT can be made automatic and how it can be applied to application areas such as sensor networks and security.

The second tool, Concuerror (http://concuerror.com/), has recently seen significant improvements to its underlying technology that allowed it to test and verify protocols for chain repair for CORFU, a distributed shared log which aims to be scalable and reliable in the presence of failures and asynchrony.