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 talk:

KEYNOTE

TBC

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