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.

Kostis Sagonas's talks: 2

Panel discussion on the trends in research

Some of the earliest Erlang adopters were Universities, using the language semantics to teach aspects of computer science. This resulted in research projects and collaboration focusing on type systems, tooling, static analysis, property based testing, all overlapping with classic themes such as VM enhancements, concurrency, distribution, scalability, reliability and multi-core. Whilst lots has been achieved, the challenges faced by the software industry keeps on evolving, as does the hardware and infrastructure they run our systems on. In this panel, Torben Hoffmann will be leading a discussion on how the Industry and Universities can work together to keep research thriving, accessible, cutting edge and relevant.

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.


All Media with Kostis Sagonas

Erlang Factory SF 2016 - A CutEr Tool

EUC 2016 - A CutEr Tool

EUC 2017 - Testing and Verifying Chain Repair Protocols using Concuerror

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

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


Testing Tools for the Erlang Ecosystem - Code BEAM SF 2018