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.
Kostis Sagonas is Giving the Following Talks
An Erlang-Based Framework for the Automatic Testing of Web Services
Web Services are an essential part of modern web systems, yet their testing is an extremely slow and painful process. In this talk we will present a testing framework based on PropEr, xmerl, and the SOAP library of Yaws that aims for automatic property-based testing of Web Services. We will show how one can use this framework to perform fully automatic response testing of Web Services, how given a WSDL specification of a Web Service the tool can generate structurally valid test cases, and, if time permits, how RESTful and stateful Web Services could be tested.
Target audience: Testing conscious web server developers.
ErLLVM
This talk will describe the architecture, design decisions, and the current implementation and performance of ErLLVM. ErLLVM is an extension of the HiPE native code compiler of Erlang/OTP that uses the Low Level Virtual Machine (LLVM) compiler infrastructure as a back-end. As such, it benefits from the set of existing components and low-level optimizations that LLVM provides. More importantly, it is in principle readily available on all platforms that LLVM supports.
ErLLVM is a full system currently available as open-source and has been tested on x86 and x86_64 based machines running Linux. It supports the complete Erlang language and to the best of our knowledge is robust enough for others to try. We are also currently working on an ARM backend. We welcome user feedback, experiences and support!
Talk objectives: Introduce ErLLVM and present its salient features and current performance.
Target audience: Erlang programmers in need for speed.
BoF - Erlang in Teaching and Research
A discussion group on Erlang in Teaching and Research