Kostis Sagonas
Leader of the HiPE team and Erlang tool developer
Uppsala University and National Technical University of Athens
Kostis Sagonas is an academic who has been heavily involved in the development of Erlang and its implementation since 1999. At Uppsala University, he has 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.
PropEr
PropEr
Kostis Sagonas is Giving the Following Talks
A PropEr Creation
After the PropEr Talk at the London Factory in June, a small brouhaha took place on the Erlang-questions mailing list. Did the PropEr team have access to QuviQ QuickCheck code? Did they found one at PirateBay? Does Kostis have a powerful beam disassembler that generates (commented) Erlang source code from .beam files? Or is it simply that the PropEr team has super powers?
This talk may possibly provide answers to some of these questions by describing how PropEr was created, or it may just give some more information about PropEr, its uses and what it can do to your Erlang code base. It may even have reflections on the OSS vs closed-source model of developing software tools for Erlang programmers. We'll see!
This talk may possibly provide answers to some of these questions by describing how PropEr was created, or it may just give some more information about PropEr, its uses and what it can do to your Erlang code base. It may even have reflections on the OSS vs closed-source model of developing software tools for Erlang programmers. We'll see!
