Events

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 analysis and optimizations 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 (unofficial) 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. 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, as we are sure you will find the talk interesting. If you are planning on attending, the talk will start at 18.30 in our office meeting rooms. Please email alison _at_ erlang-consulting.com to notify us of your plans so we can ensure we have booked a room large enough to hold everyone.