13 search results - page 1 / 3 » Accurate and efficient runtime detection of atomicity errors... |
PPOPP
2006
ACM
13 years 10 months ago
2006
ACM
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
ATVA
2004
Springer
13 years 10 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
PPOPP
2006
ACM
13 years 10 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...