71 search results - page 7 / 15 » Revocation techniques for Java concurrency |
ATVA
2004
Springer
14 years 4 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...
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
SCAM
2007
IEEE
14 years 5 months ago
2007
IEEE
Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential progra...
JAVA
2001
Springer
14 years 3 months ago
2001
Springer
Many concurrent garbage collection (GC) algorithms have been devised, but few have been implemented and evaluated, particularly for the Java programming language. Sapphire is an a...
ICSE
2008
IEEE-ACM
14 years 11 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...