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.
Media
Articles: 1
Testing Tools for the Erlang Ecosystem - SLIDES - Code BEAM SF 2018
Article by Kostis Sagonas
Slides from Kostis Sagonas's keynote talk "Testing Tools for the Erlang Ecosystem" - Code BEAM SF 2018
READ MORE