Department of Information Technology

Static Detection of Race Conditions in Erlang

Speaker

Konstantinos Sagonas

Date and Time

Thursday, October 8th, 2009 at 13.30

Location

Polacksbaken, room 1146

Abstract

This talk will address the problem of finding some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast and scalable, and avoids false alarms by taking language characteristics into account.

We have integrated our analysis in Dialyzer, a commonly used tool for detecting software defects in Erlang programs, and have evaluated its effectiveness and performance on a suite of widely used industrial and open source programs of considerable size. The number of previously unknown race conditions that we have detected in them is significant.

Back to the seminar page

Updated  2009-10-05 16:25:08 by Martin Stigge.