Christakis, Maria, Sagonas, Konstantinos (2010) Static Detection of Race Conditions in Erlang. In: Practical Aspects of Declarative Languages. Lecture Notes in Computer Science . pp. 119-133. ISBN 978-3-642-11502-8. E-ISBN 978-3-642-11503-5. (doi:10.1007/978-3-642-11503-5_11) (KAR id:58951)
|
PDF
Author's Accepted Manuscript
Language: English |
|
|
Download this file (PDF/197kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
| Official URL: http://doi.org/10.1007/978-3-642-11503-5_11 |
|
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.
| Item Type: | Conference or workshop item (Paper) |
|---|---|
| DOI/Identification number: | 10.1007/978-3-642-11503-5_11 |
| Subjects: | Q Science > QA Mathematics (inc Computing science) |
| Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | M. Christaki |
| Date Deposited: | 23 Nov 2016 14:30 UTC |
| Last Modified: | 05 Nov 2024 10:50 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/58951 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
