Searching for "High-Level Data Races." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
High-Level Data Races
- …High-Level Data Races Cyrille Artho , Klaus Havelund 2, and Annin Biere Computer Systems…
- Cited by 36 (10 self) – Add To MetaCart
-
Using block-local atomicity to detect stale-value concurrency errors
- … and high-level data race algorithms. Stale values denote copies of shared data where the copy is no longer…
- Cited by 8 (6 self) – Add To MetaCart
-
Static Detection of Atomic-Set-Serializability Violations ⋆
- … to cover low-level and high-level data races. A low-level data race describes the classical notion of a…
- Cited by 1 (1 self) – Add To MetaCart
-
JNuke: Efficient Dynamic Analysis for Java
- … implement any run-time verification algorithm, including Eraser [14] and detection of high-level data races…
- Cited by 15 (12 self) – Add To MetaCart
-
Static Detection of Atomicity Violations in Object-Oriented Programs
- …-style synchronization. A common observation in programs that exhibit high-level data races or atomicity violations…
- Cited by 13 (0 self) – Add To MetaCart
-
RV’03 Preliminary Version Run-Time Analysis for Atomicity 1
- …, absence of high-level data races seems similar to atomicity. They introduce a concept of view consistency…
- Add To MetaCart
-
An Overview of the Runtime Verification Tool Java PathExplorer
- … races, and a new algorithm for detecting high-level data races (Artho et al., 2003b). These algorithms…
- Cited by 28 (1 self) – Add To MetaCart
-
JVM Independent Replay in Java
- … algorithm [27] is used to check for data races. An algorithm to dectect high-level data races [1] has…
- Cited by 5 (2 self) – Add To MetaCart
-
Verifying correct usage of atomic blocks and typestate: Technical companion
- … conditions at the level of program logic, or “high-level data races,” (Artho et al. 2003) can still occur…
- Cited by 7 (5 self) – Add To MetaCart
-
Fault detection in multi-threaded C++ server applications
- … an inconsistent state for the data. In [1] this is called a high-level data race, because the notion of a data…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
