Static detection of race conditions in Erlang

Christakis, M; Sagonas, K

dc.contributor.author	Christakis, M	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:47:00Z
dc.date.available	2014-03-01T02:47:00Z
dc.date.issued	2010	en
dc.identifier.issn	03029743	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/32982
dc.subject	Open Source	en
dc.subject	Race Condition	en
dc.subject	Static Analysis	en
dc.subject.other	Erlang programs	en
dc.subject.other	False alarms	en
dc.subject.other	Open-source program	en
dc.subject.other	Race condition	en
dc.subject.other	Software defects	en
dc.subject.other	Linguistics	en
dc.subject.other	Query languages	en
dc.subject.other	Textiles	en
dc.subject.other	Hazards and race conditions	en
dc.title	Static detection of race conditions in Erlang	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1007/978-3-642-11503-5_11	en
heal.identifier.secondary	http://dx.doi.org/10.1007/978-3-642-11503-5_11	en
heal.publicationDate	2010	en
heal.abstract	We address the problem of detecting 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 which is part of Erlang/OTP, and evaluate its effectiveness and performance on a suite of widely used industrial and open source programs of considerable size. The analysis has detected a significant number of previously unknown race conditions. © 2010 Springer-Verlag.	en
heal.journalName	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	en
dc.identifier.doi	10.1007/978-3-642-11503-5_11	en
dc.identifier.volume	5937 LNCS	en
dc.identifier.spage	119	en
dc.identifier.epage	133	en