Events
2008.04.22
Type-based tools for sustainable development of Erlang programs (Stockholm, Sweden)
We kick off the first Stockholm Erlang User Group meetig with a talk by Prof. Kostis Sagonas about the ongoing research of the HIPE team from Uppsala University. The presentation will start at 18.30 in Kreditor's new offices on S:t Eriksgatan 117 in Stockholm. The doors will be open from 18.00 onwards. To join the Erlang Stockholm User Group mailing list and receive future updates and events, join in the Erlang Stockholm User Group page...
If you are interested in attending this free event, you have to register here ... By registering, you will enable us to plan room size and refreshments accordingly, provide Security with the name list of participants, and in those extreme cases where the number of places are limited, close registration as soon as we have reached the maximum room capacity or find a larger room.
Type-based tools for sustainable development of Erlang programs
Abstract:In this talk/demo combination we will review how three different type-based tools can be used to detect bugs in Erlang programs, document data structures and application interfaces, (in)validate hidden programming assumptions, and retrofit Erlang applications. In the process, we will also discuss the associated Erlang Enhancement Proposal (EEP8) which aims to add a type and specification language on top of Erlang. Two of the tools that will be reviewed (dialyzer & typer) are already part of the Erlang distribution. The third is yet to be named but is slowly maturing nonetheless.
Biography:Kostis Sagonas is a travelling scientist interested in programming languages and software development. He an Associate Professor at the National Technical University of Athens, where the students occasionally allow him to work. He is also a Docent at Uppsala University leading the HiPE group where he has occasionally managed to convince its members to do what he thinks it's best for the project and for Erlang. In the last two years he has been obsessed with enriching Erlang with success (typings, that is) and contracts.
If you are interested in attending this free event, you have to register here ... By registering, you will enable us to plan room size and refreshments accordingly, provide Security with the name list of participants, and in those extreme cases where the number of places are limited, close registration as soon as we have reached the maximum room capacity or find a larger room.
Type-based tools for sustainable development of Erlang programs
Abstract:In this talk/demo combination we will review how three different type-based tools can be used to detect bugs in Erlang programs, document data structures and application interfaces, (in)validate hidden programming assumptions, and retrofit Erlang applications. In the process, we will also discuss the associated Erlang Enhancement Proposal (EEP8) which aims to add a type and specification language on top of Erlang. Two of the tools that will be reviewed (dialyzer & typer) are already part of the Erlang distribution. The third is yet to be named but is slowly maturing nonetheless.
Biography:Kostis Sagonas is a travelling scientist interested in programming languages and software development. He an Associate Professor at the National Technical University of Athens, where the students occasionally allow him to work. He is also a Docent at Uppsala University leading the HiPE group where he has occasionally managed to convince its members to do what he thinks it's best for the project and for Erlang. In the last two years he has been obsessed with enriching Erlang with success (typings, that is) and contracts.
Back to the Events
