We just have received notification that Tobias Lindhal, one of the
driving forces behind the Dialyzer will be in London next week. He has
kindly agreed to hold a talk for the user group. The talk will be held
in our office meeting rooms between 18.30 and 19.30, including a Q&A
session. If you are planning on attending, please send an email to
alison@... so we can plan accordingly. Sorry for the
late notice, but we just found out.

Abstract: Dialyzer (Discrepancy analyzer of Erlang programs) first saw
the light in 2004 and has since then been used to uncover software
defects in Erlang programs. It has been used both by open source users
and in industrial projects where it has found bugs that has gone
unnoticed for years in well-tested production code. The subject of this
talk is the fundamentals of the underlying analysis, what kind of
defects Dialyzer can find and how this knowledge can be used to program
in a more Dialyzer-friendly way. Also, the new experimental type
specifications available in Erlang/OTP R12B will be discussed.

Biography: Tobias Lindahl is a last-year PhD student at Uppsala
University where he is a member of the HiPE research group. After
spending a year of his studies writing low level analyses and
optimisations in the HiPE compiler, he has spent his time researching in
program analysis for defect detection, and being the main developer of
the static analysis tool Dialyzer. Another focus of his research is to
make type information explicitly visible for programmers. This effort
has led to the type annotation tool Typer and the (inofficial)
introduction of type specifications in Erlang. More info, publications
and a very ugly picture (His words!)can be found at
http://www.it.uu.se/katalog/tobiasl

More information on the Dialyzer is available here:
http://www.it.uu.se/research/group/hipe/dialyzer

The Dialyzer is by far one of the best tools which has come out from the
research on Erlang Type Systems, and a must for any Erlang developers.
If you have the time, you are very welcome to join us.

Best regards,
Francesco
--
http://www.erlang-consulting.com