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 conferences

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.



Articles: 1

Testing Tools for the Erlang Ecosystem - SLIDES - Code BEAM SF 2018

Kostis Sagonas

Slides from Kostis Sagonas's keynote talk "Testing Tools for the Erlang Ecosystem" - Code BEAM SF 2018


Videos: 5

Testing Tools for the Erlang Ecosystem - Code BEAM SF 2018 /// Kostis Sagonas

Erlang Factory SF Bay Area 2012 - A Scalability Study of Erlang/OTP /// Kostis Sagonas

EUC 2016 - A CutEr Tool /// Kostis Sagonas

Erlang Factory SF 2016 - A CutEr Tool /// Kostis Sagonas

EUC 2017 - Testing and Verifying Chain Repair Protocols using Concuerror /// Kostis Sagonas