Conference paper

LETKO Zdeněk. Dynamic Detection and Healing of Low Level Data Races. In: Proceedings of the 13th Conference STUDENT EEICT 2007. Brno: Brno University of Technology, 2007, pp. 257-259. ISBN 978-80-214-3408-0.
Publication language:english
Original title:Dynamic Detection and Healing of Low Level Data Races.
Title (cs):Dynamická detekce a léčení nízkoúrovňových časově závislých chyb v prostředí Java
Pages:257-259
Proceedings:Proceedings of the 13th Conference STUDENT EEICT 2007
Conference:Student EEICT 2007
Series:Volume 2
Place:Brno, CZ
Year:2007
ISBN:978-80-214-3408-0
Publisher:Brno University of Technology
Keywords
data race, dynamic, software testing, formal verification, Java, healing
Annotation
Data races are a common problem in concurrent programming. This article describes a tool which is able to detect low level data races in Java programs and heal them -- all at run-time. This tool is build on top of IBM ConTest, a concurrency testing software. The tool uses a modification of the Eraser algorithm to detect data races and implements two techniques of data race healing.
BibTeX:
@INPROCEEDINGS{
   author = {Zden{\v{e}}k Letko},
   title = {Dynamic Detection and Healing of Low Level Data Races.},
   pages = {257--259},
   booktitle = {Proceedings of the 13th Conference STUDENT EEICT 2007},
   series = {Volume 2},
   year = {2007},
   location = {Brno, CZ},
   publisher = {Brno University of Technology},
   ISBN = {978-80-214-3408-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=8537}
}

Your IPv4 address: 23.22.136.56
Switch to IPv6 connection

DNSSEC [dnssec]